H-object

In mathematics, specifically homotopical algebra, an H-object is a categorical generalization of an H-space, which can be defined in any category with a product and an initial object . 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. rdf:langString