Splitting idempotents in a fibered setting
DOI10.1007/S00153-018-0616-5zbMATH Open1404.18001OpenAlexW2785889787MaRDI QIDQ1756501FDOQ1756501
Authors: 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
Recommendations
Definitions and generalizations in theory of categories (18A05) Special categories (18B99) Foundations, relations to logic and deductive systems (18A15) Research exposition (monographs, survey articles) pertaining to category theory (18-02)
Cites Work
- Title not available (Why is that?)
- Categorical logic and type theory
- Regular and exact completions
- Title not available (Why is that?)
- Title not available (Why is that?)
- Some properties of Fib as a fibred \(2\)-category
- Title not available (Why is that?)
- Some free constructions in realizability and proof theory
- Title not available (Why is that?)
- Fibered categories and the foundations of naive category theory
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A remark on the theory of semi-functors
- Fibrations and calculi of fractions
Cited In (5)
This page was built for publication: Splitting idempotents in a fibered setting
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1756501)