Category of polygroup objects.

Publication date 2002

Published in Bulletin of the Iranian Mathematical Society (Search for Journal in Brave)

categories faithful functors morphisms polygroups quasicanonical hypergroups

Definitions and generalizations in theory of categories (18A05) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40) Hypergroups (20N20)

Review text

In this paper a generalization of the notion of a polygroup (i.e. a quasicanonical hypergroup) by categorical methods is given. The authors define the category of polygroup objects \(\text{PGrp}({\mathcal E})\) in an arbitrary category \(\mathcal E\) and they show that a faithful functor \(U_1\), from \(\text{PGrp}({\mathcal E})\) into the category of monoid objects in \(\mathcal E\) (\(\text{Mon}({\mathcal E})\)), exists. It is proved that the concrete category \(\text{PGrp}({\mathcal E})\) over \(\text{Mon}({\mathcal E})\) has free objects and so the previous functor preserves and reflects monomorphisms and reflects epimorphisms. On the other hand, by defining a functor \(F_1\) from \(\text{Mon}({\mathcal E})\) into \(\text{PGrp}({\mathcal E})\), they show that there is an adjoint situation between \(F_1\) and \(U_1\). Finally, the pair \((F_1,U_1)\), where \(F_1\lvdash U_1\), is a geometric morphism, in the case that \(\mathcal E\) has finite limits.

Cited in

(11)

This page was built for publication: Category of polygroup objects.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1866634)