REVIEW 2 cited by
Fibered Categories a la Jean Benabou
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
read the original abstract
These are notes about the theory of Fibred Categories as I have learned it from Jean Benabou. I also have used results from the Thesis of Jean-Luc Moens from 1982 in those sections where I discuss the fibered view of geometric morphisms. Thus, almost all of the contents is not due to me but most of it cannot be found in the literature since Benabou has given many talks on it but most of his work on fibered categories is unpublished. But I am solely responsible for the mistakes and for misrepresentations of his views. And certainly these notes do not cover all the work he has done on fibered categories. I just try to explain the most important notions he has come up with in a way trying to be as close as possible to his intentions and intuitions. I started these notes in 1999 when I gave a course on some of the material at a workshop in Munich. They have developed quite a lot over the years and I have tried to include most of the things I want to remember.
Forward citations
Cited by 2 Pith papers
-
Internal Algebraic Type Theory
Maps that are exponentiable with respect to a family of maps give polynomial functors and an algebraic model of directed type theory in the category of categories with hom-types.
-
Guarded Realization Semantics: Occurrence-Sensitive Certificates and Behavior-Dependent Lower Bounds
Under stated guards, every realization satisfies Q(O(Err(r))) ≤ A(Err(r)) ≤ U(r), with U from occurrence-sensitive certificates and Q from behavior-fiber or quotient-norm reflection.
Discussion (0). Continue with ORCID to comment.