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

(∞,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

Brown-Grossman homotopy group

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

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

fundamental ∞-groupoid

fundamental groupoid

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

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

fundamental (∞,1)-category

Basic facts

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

A square matrix is called a permutation matrix if every row and every column has all entries 0 except for precisely one entry, which has value 1 (a special case of monomial matrices).

Permutation matrices represent linear permutation representations in their canonical linear basis.

permutation

triangular matrix

diagonal matrix

inverse matrix

binary linear code

See also