nLab H-magmoid


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



Paths and cylinders

Homotopy groups

Basic facts


Higher algebra



The oidification of an “H-magma”, which is to magmas what H-spaces are to unital magmas.



A H-magmoid is a magmoid internal to the classical homotopy category of topological spaces Ho(Top), or in the homotopy category Ho(Top) *Ho(Top)_* of pointed topological spaces, which has a unit up to homotopy.

In homotopy type theory

In homotopy type theory, an H-magmoid AA consists of the following.

  • A type A 0A_0, whose elements are called objects. Typically AA is coerced to A 0A_0 in order to write x:Ax:A for x:A 0x:A_0.

  • For each a,b:Aa,b:A, a type hom A(a,b)hom_A(a,b), whose elements are called arrows or morphisms.

  • For each a,b,c:Aa,b,c:A, a function

    hom A(b,c)hom A(a,b)hom A(a,c)hom_A(b,c) \to hom_A(a,b) \to hom_A(a,c)

    called composition, and denoted infix by gfgfg \mapsto f \mapsto g \circ f, or sometimes gfgf.

See also

Last revised on June 7, 2022 at 21:41:28. See the history of this page for a list of all contributions to it.