Limits and exponentiable functors in simplicial homotopy type theory
From MaRDI portal
Publication:6392103
arXiv2202.12386MaRDI QIDQ6392103
Publication date: 24 February 2022
Theories (e.g., algebraic theories), structure, and semantics (18C10) ((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60) Categories of fibrations, relations to (K)-theory, relations to type theory (18N45) Profunctors (= correspondences, distributors, modules) (18D60)
This page was built for publication: Limits and exponentiable functors in simplicial homotopy type theory
