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

Given a (not necessarily unital) ring $R$, a left $R$-module $(N,\nu)$, is finitely generated if there exist a finite set $S\subset N$ such that the canonical morphism from the free module $F(S) \longrightarrow N$ is a surjection.

generators and relations

finitely generated object

finitely generated algebra

finitely generated group

finitely presented module?

free module

Smith normal form

Last revised on April 17, 2021 at 10:32:07. See the history of this page for a list of all contributions to it.