In mathematics, especially homotopy theory, a minimal fibration is used to approximate fibrations between presheaves. A minimal fibration has a defining property that an equivalence between them (in some sense) is an isomorphism. Thus, minimal fibrations can be used to study some coherence questions up to equivalences.

Perhaps the most basic example is a minimal Kan fibration, which is a Kan fibration such that for each pair of n-simplexes ${\displaystyle \sigma ,\tau }$ with the same boundary, if ${\displaystyle \sigma ,\tau }$ are fiberwise homotopic to each other relative to the boundary, then they are equal: ${\displaystyle \sigma =\tau }$.^[1] In particular, a fiber homotopy equivalence between minimal Kan fibrations is an isomorphism.^[2] A minimal Kan fibration is a fiber bundle (in the simplicial sense).^[3] Quillen's original approach to establishing the standard model category structure on the category of simplicial sets (as well as more recent accounts) uses minimal Kan fibrations.^[4]

• Cisinski, Denis-Charles (2023). Higher Categories and Homotopical Algebra (PDF). Cambridge University Press. ISBN 978-1108473200.
• Quillen, Daniel G. (1967), Homotopical algebra, Lecture Notes in Mathematics, No. 43, vol. 43, Berlin, New York: Springer-Verlag, doi:10.1007/BFb0097438, ISBN 978-3-540-03914-3, MR 0223432
• Joyal, André; Tierney, Myles (2008). "Notes on simplicial homotopy theory" (PDF).
• Barratt, Michael G., and J. C. Moore. "On semisimplicial fibre-bundles." American Journal of Mathematics 81.3 (1959): 639–657.

• https://ncatlab.org/nlab/show/minimal+fibration
• https://ncatlab.org/nlab/show/minimal+Kan+fibration

This topology-related article is a stub. You can help Wikipedia by adding missing information.

• v
• t
• e