homotopy product in nLab

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

• Introduction to Basic Homotopy Theory

• Introduction to Abstract Homotopy Theory

• geometry of physics – homotopy types

Definitions

• homotopy, higher homotopy

• homotopy type

• Pi-algebra, spherical object and Pi(A)-algebra

• homotopy coherent category theory

  • homotopical category

    • model category

    • category of fibrant objects, cofibration category

    • Waldhausen category

  • homotopy category

    • Ho(Top)

• (∞,1)-category

  • homotopy category of an (∞,1)-category

Paths and cylinders

• left homotopy

  • cylinder object

  • mapping cone

• right homotopy

  • path object

  • mapping cocone

  • universal bundle

• interval object

  • homotopy localization

  • infinitesimal interval object

Homotopy groups

• homotopy group

  • fundamental group

    • fundamental group of a topos

  • Brown-Grossman homotopy group

  • categorical homotopy groups in an (∞,1)-topos

  • geometric homotopy groups in an (∞,1)-topos

• fundamental ∞-groupoid

  • fundamental groupoid

    • path groupoid

  • fundamental ∞-groupoid in a locally ∞-connected (∞,1)-topos

  • fundamental ∞-groupoid of a locally ∞-connected (∞,1)-topos

• fundamental (∞,1)-category

  • fundamental category

Basic facts

• fundamental group of the circle is the integers

Theorems

• fundamental theorem of covering spaces

• Freudenthal suspension theorem

• Blakers-Massey theorem

• higher homotopy van Kampen theorem

• nerve theorem

• Whitehead's theorem

• Hurewicz theorem

• Galois theory

• homotopy hypothesis-theorem

limits and colimits

1-Categorical

• limit and colimit

  • limits and colimits by example

  • commutativity of limits and colimits

  • small limit

  • filtered colimit

    • directed colimit

      • sequential colimit

  • sifted colimit

  • connected limit, wide pullback

  • preserved limit, reflected limit, created limit

  • product, fiber product, base change, coproduct, pullback, pushout, cobase change, equalizer, coequalizer, join, meet, terminal object, initial object, direct product, direct sum

  • finite limit

    • exact functor

• Kan extension

  • Yoneda extension

• weighted limit

• end and coend

• fibered limit

2-Categorical

• 2-limit

  • inserter

  • isoinserter

  • equifier

  • inverter

  • PIE-limit

• 2-pullback, comma object

(∞,1)-Categorical

• (∞,1)-limit

  • (∞,1)-pullback

    • fiber sequence

Model-categorical

• homotopy Kan extension

• homotopy limit

  • homotopy product

  • homotopy equalizer

  • homotopy fiber

  • mapping cone

  • homotopy pullback

  • homotopy totalization

  • homotopy end

• homotopy colimit

  • homotopy coproduct

  • homotopy coequalizer

  • homotopy cofiber

  • mapping cocone

  • homotopy pushout

  • homotopy realization

  • homotopy coend