nLab
primary homotopy operation

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.)

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