‎This paper develops a basic theory of $H$-groups‎. ‎We‎ ‎introduce a special quotient of $H$-groups and‎ ‎extend some algebraic constructions of topological groups to the category‎ ‎of H-groups and H-maps and then present a functor from this category to the category of quasitopological groups‎.

Abstract We give some characterizations of commutative objects in a subtractive category and central morphisms regular category. In particular, we show that objects, i.e., internal unitary magmas, are the same as abelian groups analogously, centrality has an alternative description terms so-called “subtractors”

in addition to exploring constructions and properties of limits and colimits in categories of topologicalalgebras, we study special subcategories of topological algebras and their properties. in particular, undercertain conditions, reflective subcategories when paired with topological structures give rise to reflectivesubcategories and epireflective subcategories give rise to epireflective subc...

these are notes from introductory survey lectures given at the institute for studies in theoretical physics and mathematics (ipm), teheran, in 2008 and 2010. we present the definition and the fundamental properties of fomin-zelevinsky’s cluster algebras. then, we introduce quiver representations and show how they can be used to construct cluster variables, which are the canonical generators of ...

The theory of abelian categories proved very useful, providing an ax-iomatic framework for homology and cohomology of modules over a ring (in particular, abelian groups) [5]. A similar framework has been lacking for non-abelian (co)homology, the subject of which includes the categories of groups and Lie algebras etc. The point of my thesis is that semi-abelian categories (in the sense of Janeli...

Databases are now ubiquitous in industrial companies and public administrations, and they often grow to an enormous size. They contain units described by variables that are often categorical or numerical (the latter can of course be also transformed into categories). It is then easy to construct categories and their Cartesian product. In symbolic data analysis these categories are considered to...

‎in this paper first we define the morphism between geometric spaces in two different types‎. ‎we construct two categories of $uu$ and $l$ from geometric spaces then investigate some properties of the two categories‎, ‎for instance $uu$ is topological‎. ‎the relation between hypergroups and geometric spaces is studied‎. ‎by constructing the category $qh$ of $h_{v}$-groups we answer the question...

The purpose of this text is to equip the reader with an intuitive but precise understanding of elementary structures of category and topos theory. In order to achieve this goal, we provide a guided tour through category theory, leading to the definition of an elementary (Lawvere–Tierney) topos. Then we turn to the investigation of consequences of this definition. In particular, we analyse in de...

Introduction. This note is concerned with "categories with internal horn and | and we shall use the terminology from the paper [2] by EIL~.NBERG and Kv.Imy. The result proved may be stated briefly as follows : a Y/--monad ("strong monad") on a symmetric monoidal closed category ~ carries two canonical structures as closed functor. I f these agree (in which case we call the monad commutative), t...

We show that, in any Mal’tsev (and a fortiori protomodular) category E, not only the fibre GrdXE of internal groupoids above the object X is a naturally Mal’tsev category, but moreover it shares with the category Ab of abelian groups the property following which the domain of any split epimorphism is isomorphic with the direct sum of its codomain with its kernel. This allows us to point at a ne...