homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
Given a category , by a localizer in (or on ) is often meant to be a class of morphisms in such that is a category with weak equivalences, intended as the input datum for the (simplicial) localization of at . Typically there are some extra conditions imposed on what constitutes a localizer in a given context.
The term appears for instance in the discussion of Cisinski model structures, see that Cisinski model structure – Localizers.
It also appears as the notion of basic localizers on Cat.
Last revised on August 7, 2013 at 17:00:47. See the history of this page for a list of all contributions to it.