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

VersionDateStatusFileRevision note
v0.4.02026-08-01public technical noteOpen record