Splitting idempotents in a fibered setting

DOI10.1007/s00153-018-0616-5zbMath1404.18001OpenAlexW2785889787MaRDI QIDQ1756501

Ruggero Pagnan

Publication date: 14 January 2019

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-018-0616-5

zbMATH Keywords

idempotentcategoryfibrationCauchy completion

Mathematics Subject Classification ID

Special categories (18B99) Definitions and generalizations in theory of categories (18A05) Research exposition (monographs, survey articles) pertaining to category theory (18-02) Foundations, relations to logic and deductive systems (18A15)

Cites Work

• Categorical logic and type theory
• Some properties of Fib as a fibred \(2\)-category
• Regular and exact completions
• Some free constructions in realizability and proof theory
• Fibrations and calculi of fractions
• Fibered categories and the foundations of naive category theory
• A remark on the theory of semi-functors
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Splitting idempotents in a fibered setting