Related papers: Normality and quotient in crossed modules over gro…
It is well-known that small categories have equivalent descriptions as partial monoids. We provide a formulation of partial monoid and partial monoid homomorphism involving $s$ and $t$ instead of identities and then following a recent…
We define and study the notion of a crossed module over an inverse semigroup and the corresponding $4$-term exact sequences, called crossed module extensions. For a crossed module $A$ over an $F$-inverse monoid $T$, we show that equivalence…
In a recent article of Kenny De Commer, was investigated a Morita equivalence between locally compact quantum groups, in which a measured quantum groupoid, of basis $\mathbb{C}^2$, was constructed as a linking object. Here, we generalize…
A general result relating skew monoidal structures and monads is proved. This is applied to quantum categories and bialgebroids. Ordinary categories are monads in the bicategory whose morphisms are spans between sets. Quantum categories…
Let $R$ be a $G$-graded ring. In this article, we introduce two new concepts on graded rings, namely, weakly graded rings and invertible graded rings, and we discuss the relations between these concepts and several properties of graded…
We propose the notion of quasi-abelian third cohomology of crossed modules, generalizing Eilenberg and MacLane's abelian cohomology and Ospel's quasi-abelian cohomology, and classify crossed pointed categories in terms of it. We apply the…
In this paper some reflections on the concept of transition are presented: groupoids are introduced as models for the construction of a ``generalized logic'' whose basic statements involve pairs of propositions which can be conditioned. In…
Algebraic structures such as monoids, groups, and categories can be formulated within a category using commutative diagrams. In many common categories these reduce to familiar cases. In particular, group objects in Grp are abelian groups,…
Starting from the groupoid approach to Schwinger's picture of Quantum Mechanics, a proposal for the description of symmetries in this framework is advanced.It is shown that, given a groupoid $G\rightrightarrows \Omega$ associated with a…
We define a convenient $\infty$-operad parametrizing modules over commutative algebras in $\infty$-categories.
We study the homotopy category of unbounded complexes with bounded homologies and its quotient category by the homotopy category of bounded complexes. We show the existence of a recollement of the above quotient category and it has the…
In order to simultaneously generalize matrix rings and group graded crossed products, we introduce category crossed products. For such algebras we describe the center and the commutant of the coefficient ring. We also investigate the…
We find the equivalence groupoid of a~class of $(1+1)$-dimensional second-order evolution equations, which are called generalized potential Burgers equations. This class is related via potentialization with two classes of…
This is the last part of a series of three strongly related papers in which three equivalent structures are studied: - internal categories in categories of monoids; defined in terms of pullbacks relative to a chosen class of spans - crossed…
Differential modules over a commutative differential ring R which are finitely generated projective as ring modules, with differential homomorphisms, form an additive category, so their isomorphism classes form a monoid. We study the…
In this paper we will define notion homotopy of morphisms of crossed modules of Lie algebras. Then we construct a groupoid structure of Lie crossed module morphisms and their homotopies.
We explore the category of internal categories in the usual category of (right) group-sets, whose objects are referred to as categorified group-sets. More precisely, we develop a new Burnside theory, where the equivalence relation between…
A typoid is a type equipped with an equivalence relation, such that the terms of equivalence between the terms of the type satisfy certain conditions, with respect to a given equivalence relation between them, that generalise the properties…
In this paper, we study the uniformities on the double coset spaces in topological groups. As an implication, the quotient spaces of topological groups with a $q$-point are studied. It mainly shows that: (1) Suppose that $G$ is a…
We first compare several algebraic notions of normality, from a categorical viewpoint. Then we introduce an intrinsic description of Higgins' commutator for ideal-determined categories, and we define a new notion of normality in terms of…