Kan complex

simplicial set such that the map to the singleton is a Kan fibration; model for ∞-groupoids

en-US/ˈkæn ˈkɑmplɛks/

Kategori:

∞-groupoidfibrant objectquasi-category