Splitting idempotents in a fibered setting
type: Item
instance of: scholarly article
title: Splitting idempotents in a fibered setting
zbMATH Open document ID: 1404.18001
author: Ruggero Pagnan
published in: Archive for Mathematical Logic
publication date: 2019-01-14T00:00:00Z
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.
reviewed by: Hirokazu Nishimura
Mathematics Subject Classification ID: 18-02
Mathematics Subject Classification ID: 18A15
Mathematics Subject Classification ID: 18A05
Mathematics Subject Classification ID: 18B99
zbMATH DE Number: 7001425
zbMATH Keywords: category
zbMATH Keywords: idempotent
zbMATH Keywords: Cauchy completion
zbMATH Keywords: fibration
MaRDI profile type: Publication
full work available at URL: s00153-018-0616-5
OpenAlex ID: W2785889787
cites work: Fibered categories and the foundations of naive category theory
cites work: Q3726315
cites work: Some free constructions in realizability and proof theory
cites work: Q4740070
cites work: Regular and exact completions
cites work: Q4444124
cites work: Q3995720
cites work: Some properties of Fib as a fibred \(2\)-category
cites work: A remark on the theory of semi-functors
cites work: Categorical logic and type theory
cites work: Q4828514
cites work: Q3978980
cites work: Q4215784
cites work: Q4003736
cites work: Fibrations and calculi of fractions
DOI: 10.1007/S00153-018-0616-5
description: scientific article; zbMATH DE number 7001425