Background
Basic concepts
equivalences in/of -categories
Universal constructions
Local presentation
Theorems
Extra stuff, structure, properties
Models
Let be an (∞,1)-category. An object in is said to be -initial if it defines an initial object in the homotopy category .
Dually, an object is called -terminal if it defines a terminal object in .
To be distinguished from the concept of initial object in an (∞,1)-category and terminal object in an (∞,1)-category.
Last revised on April 11, 2025 at 10:09:25. See the history of this page for a list of all contributions to it.