homotopy product

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 Homotopy products are Cartesian products in homotopy theory, hence are a special case of homotopy limits for the case that the the indexing diagram is a discrete category. In any model category,...