primary homotopy operation

**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**

The *primary homotopy operations* are the operations generated by

- the Whitehead products;

and

- the composition operations.

The primary homotopy operations encode via Pi-algebras into an algebraic structure akin to models for a Lawvere theory. (This is discussed more fully in the entry on Pi-algebras.)

Revised on November 6, 2010 16:51:08
by Tim Porter
(95.147.237.13)