Fibred Fibration Categories
From MaRDI portal
Publication:5144630
zbMath1452.18026arXiv1602.08206MaRDI QIDQ5144630
Publication date: 19 January 2021
Full work available at URL: https://arxiv.org/abs/1602.08206
Abstract and axiomatic homotopy theory in algebraic topology (55U35) Homotopical algebra, Quillen model categories, derivators (18N40) Foundations, relations to logic and deductive systems (18A15) Type theory (03B38) Categories of fibrations, relations to (K)-theory, relations to type theory (18N45)
Related Items (2)
This page was built for publication: Fibred Fibration Categories
