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 into an algebraic structure akin to models for a Lawvere theory. (This is discussed more fully in the entry on Pi-algebras.)

Last revised on November 6, 2010 at 16:51:08. See the history of this page for a list of all contributions to it.