nLab primary homotopy operation

Contents

Context

Homotopy theory

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

Contents

Definition

The primary homotopy operations are the operations generated by

and

Properties

The primary homotopy operations encode via Pi-algebras (see there for more) into an algebraic structure akin to models for a Lawvere theory.

References

Last revised on November 30, 2025 at 19:47:00. See the history of this page for a list of all contributions to it.