paper · PAPER-AI-FIBERED-CALCULUS
A Fibered Calculus of Recognition Judgments
technical-note ai-philosophy recognition fibered-calculus judgments formal-supplement
Read supplement →
Paper at a glance
What this paper is doing
Formal supplement to Respect Begins Where Access Ends. Recognition judgments are indexed by dependent recognition contexts, forming an indexed category whose total category is a split fibration over recognition contexts.
Read the paper →
Established here
What it actually establishes
No source-verified relation recorded yet.
Program position
What it uses or packages
No source-verified relation recorded yet.
Open exits
What remains conjectural or open
No source-verified relation recorded yet.
Claim discipline
Nearest claim boundaries
No source-verified relation recorded yet.
Overview
Formal supplement to Respect Begins Where Access Ends. Recognition judgments are indexed by dependent recognition contexts, forming an indexed category whose total category is a split fibration over recognition contexts.
Archive note
This page is generated from the typed archive record. A fuller public body can be promoted from the research vault without changing the page template.
Graphical dependency view
Mathematical neighborhood
No source-verified mathematical edges are available yet, so no diagram is inferred.
Typed research graph
What this paper does in the archive
Generated from source-governed graph relations. Empty panels are left explicit rather than inferred from prose.
Open full research graph →Defines
No source-verified relation recorded yet.
Proves
No source-verified relation recorded yet.
Conjectures
No source-verified relation recorded yet.
Uses
No source-verified relation recorded yet.
Opens
No source-verified relation recorded yet.
Closes
No source-verified relation recorded yet.
Claim Boundaries
No source-verified relation recorded yet.
Version manifest
Public versions