Splitting idempotents in a fibered setting

DOI10.1007/S00153-018-0616-5MaRDI QIDQ1756501zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

categoryCauchy completionfibrationidempotent

Mathematics Subject Classification ID

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

Review text

Constructions producing a Cauchy complete category with respect to a class of idempotents from any category are well-known [\textit{P. Freyd}, Repr. Theory Appl. Categ. 2003, No. 3, xxiii, 1--164 (2003; Zbl 1041.18001); Abelian categories. An introduction to the theory of functors. New York-Evanston-London: Harper and Row, Publishers (1964; Zbl 0121.02103); \textit{P. J. Freyd} and \textit{A. Scedrov}, Categories, allegories. Amsterdam etc.: North-Holland (1990; Zbl 0698.18002)]. Assuming that the reader is already familiar with the basics of ordinary and fibered category theory, this paper provides an explicit elementary description of the Cauchy completion of the category \(\mathbf{Fib}(\mathbb{B})\) of fibrations with a fixed base category \(\mathbb{B}\) and of the category \(\mathbf{Fib}\) of fibrations with any base category. The author gives two universal constructions: The first arises by splitting reindexing stable vertical idempotent morphisms in the total category of fibrations, while the second arises by simultaneously splitting idempotents in the total and base categories of fibrations.

Recommendations

• scientific article; zbMATH DE number 3957387
• Cauchy completeness, lax epimorphisms and effective descent for split fibrations
• Publication:4942097
• Idempotent splittings, colimit completion, and weak aspects of the theory of monads
• When do completion processes give rise to extensive categories?

Cites work

• A remark on the theory of semi-functors
• Categorical logic and type theory
• Fibered categories and the foundations of naive category theory
• Fibrations and calculi of fractions
• scientific article; zbMATH DE number 3957387 (Why is no real title available?)
• scientific article; zbMATH DE number 19493 (Why is no real title available?)
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 53544 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 2028925 (Why is no real title available?)
• scientific article; zbMATH DE number 3794304 (Why is no real title available?)
• scientific article; zbMATH DE number 2117177 (Why is no real title available?)
• Regular and exact completions
• Some free constructions in realizability and proof theory
• Some properties of Fib as a fibred \(2\)-category

Cited in

(5)

• On splitting idempotents in pre-triangulated categories
• scientific article; zbMATH DE number 3957387 (Why is no real title available?)
• Homotopy theory of cofibration categories
• Idempotent splittings, colimit completion, and weak aspects of the theory of monads
• Splitting homotopy idempotents. II

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)