Some properties of Fib as a fibred \(2\)-category
type: Item
instance of: scholarly article
title: Some properties of Fib as a fibred \(2\)-category
zbMATH Open document ID: 0935.18007
DOI: 10.1016/S0022-4049(97)00129-1
author: Claudio Hermida
published in: Journal of Pure and Applied Algebra
publication date: 2000-05-09T00:00:00Z
review text: Not only does this paper analyse the particular example \({\mathcal F}ib\) as the title implies, but it also defines (for the first time, I believe) what it means for a 2-functor to be a fibration. Here \({\mathcal F}ib\) denotes the 2-category whose objects are functors \(E\to B\) which are fibrations. The 2-functor \({\mathcal F}ib \to{\mathcal C}at\), taking each fibration to its codomain, is a fibration. Writing \({\mathcal K}_{\text{ladj}}\) for the sub-2-category of the 2-category \({\mathcal K}\) obtained by restricting to the 1-cells with right adjoints, the author proves that the 2-functor \({\mathcal F}ib_{\text{ladj}}\to{\mathcal C}at_{\text{ladj}}\) is a subfibration of \({\mathcal F}ib \to{\mathcal C}at\). Results about the completeness and Cartesian closedness of \(E\), for an object \(E\to B\) of \({\mathcal F}ib\), are simply deduced. The paper also discusses comma objects in \({\mathcal F}ib\) and \({\mathcal F}ib(B)\), fibrations in \({\mathcal F}ib(B)\), and the Kleisli construction for comonads in \({\mathcal F}ib\).
Mathematics Subject Classification ID: 18D20
Mathematics Subject Classification ID: 18A15
Mathematics Subject Classification ID: 18C20
Mathematics Subject Classification ID: 18D30
Mathematics Subject Classification ID: 18A40
Mathematics Subject Classification ID: 18A25
zbMATH DE Number: 1308286
zbMATH Keywords: fibred category
zbMATH Keywords: fibration
zbMATH Keywords: 2-category
zbMATH Keywords: Kleisli construction
reviewed by: Ross H. Street
MaRDI profile type: Publication
cites work: Fibered categories and the foundations of naive category theory
cites work: Q5586462
cites work: Formal category theory: Adjointness for 2-categories
cites work: Q4474856
cites work: Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi
cites work: Structural induction and coinduction in a fibrational setting
cites work: Fibrations and partial products in a 2-category
cites work: Q5288474
cites work: Elementary observations on 2-categorical limits
cites work: Q4100671
cites work: Q3786612
cites work: The formal theory of monads
cites work: Q5665322
cites work: Q4092156
full work available at URL: s0022-4049(97)00129-1
OpenAlex ID: W1964572513
description: scientific article; zbMATH DE number 1308286