In mathematics, specifically homotopical algebra, an H-object is a categorical generalization of an H-space, which can be defined in any category C {\displaystyle {\mathcal {C}}} with a product × {\displaystyle \times } and an initial object ∗ {\displaystyle *} . These are useful constructions because they help export some of the ideas from algebraic topology and homotopy theory into other domains, such as in commutative algebra and algebraic geometry.
Definition In a category C {\displaystyle {\mathcal {C}}} with a product × {\displaystyle \times } and initial object ∗ {\displaystyle *} , an H-object is an object X ∈ Ob ( C ) {\displaystyle X\in {\text{Ob}}({\mathcal {C}})} together with an operation called multiplication together with a two sided identity. If we denote u X : X → ∗ {\displaystyle u_{X}:X\to *} , the structure of an H-object implies there are maps ε : ∗ → X μ : X × X → X {\displaystyle {\begin{aligned}\varepsilon &:*\to X\\\mu &:X\times X\to X\end{aligned}}} which have the commutation relations μ ( ε ∘ u X , i d X ) = μ ( i d X , ε ∘ u X ) = i d X {\displaystyle \mu (\varepsilon \circ u_{X},id_{X})=\mu (id_{X},\varepsilon \circ u_{X})=id_{X}}
Examples
Magmas All magmas with units are H-objects in the category Set {\displaystyle {\textbf {Set}}} .
H-spaces Another example of H-objects are H-spaces in the homotopy category of topological spaces Ho ( Top ) {\displaystyle {\text{Ho}}({\textbf {Top}})} .
… excerpt ends here. Continue reading the full article.
