About Grothendieck fibrations

DOI10.1007/978-3-031-68934-5_8MaRDI QIDQ6911860zbMATH OpenFDO

Authors Giuseppe Rosolini

Publication date 24 October 2025

Full work available at URL https://doi.org/10.1007/978-3-031-68934-5_8

zbMATH Keywords

categorical logiccategoryGrothendieck fibration

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Foundations, relations to logic and deductive systems (18A15) Fibered categories (18D30)

Cites work

• A characterization of the left exact categories whose exact completions are toposes
• Adjointness in Foundations
• An Intuitionistic Axiomatisation of Real Closed Fields
• Aspects of topoi
• Categorical logic and type theory
• Die Vollständigkeit der Axiome des logischen Funktionenkalküls.
• Fibered categories and the foundations of naive category theory
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 3544242 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 2117177 (Why is no real title available?)
• scientific article; zbMATH DE number 937370 (Why is no real title available?)
• scientific article; zbMATH DE number 3342819 (Why is no real title available?)
• scientific article; zbMATH DE number 3363718 (Why is no real title available?)
• scientific article; zbMATH DE number 3370546 (Why is no real title available?)
• Introduction to bicategories
• Läuchli's completeness theorem from a topos-theoretic perspective
• The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 1
• The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 2
• The shuffle Hopf algebra and noncommutative full completeness

This page was built for publication: About Grothendieck fibrations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6911860)