Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 58, Number 2 (2017), 179-204.
As far as we know, no notion of concrete fibration is available. We provide one such notion in adherence to the foundational attitude that characterizes the adoption of the fibrational perspective in approaching fundamental subjects in category theory and discuss it in connection with the notion of concrete category and the notions of locally small and small fibrations. We also discuss the appropriateness of our notion of concrete fibration for fibrations of small maps, which is relevant to algebraic set theory.
Notre Dame J. Formal Logic, Volume 58, Number 2 (2017), 179-204.
Received: 30 June 2014
Accepted: 15 August 2014
First available in Project Euclid: 21 February 2017
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Pagnan, Ruggero. Concrete Fibrations. Notre Dame J. Formal Logic 58 (2017), no. 2, 179--204. doi:10.1215/00294527-3817788. https://projecteuclid.org/euclid.ndjfl/1487646412