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.
Last revised on March 8, 2018 at 09:27:16. See the history of this page for a list of all contributions to it.