Related papers: Normality and quotient in crossed modules, cat$^1$…
The central topic of this work is the categories of modules over unital quantales. The main categorical properties are established and a special class of operators, called Q-module transforms, is defined. Such operators - that turn out to…
In this paper we formalize some foundation concepts and theorems of group theory in a variant of type theory called the Calculus of Constructions with Definitions. In this theory we introduce definition of a group, which is both general and…
We describe a pretorsion theory in the category $Cat$ of small categories: the torsion objects are the groupoids, while the torsion-free objects are the skeletal categories, i.e., those categories in which every isomorphism is an…
It is well known that inverse semigroups are closely related to \'etale groupoids. In particular, it has recently been shown that there is a (non-functorial) equivalence between localic \'etale groupoids, on one hand, and complete and…
For any cssc-crossed module a category is constructed, equipped with a structure and proved that this is a coherent categorical group. Together with a result of the previous paper, where to any categorical group the cssc-crossed module is…
By restricting to a class of localic open groupoids $G$ which, similarly to Lie groupoids, possess appropriate covers $\widehat G\to G$ by \'etale groupoids, we extend results about groupoid actions and quantales that were previously proved…
In this paper, we state the notion of morphisms in the category of abelian crossed modules and prove that this category is equivalent to the category of strict Picard categories and regular symmetric monoidal functors. The theory of…
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…
We consider the category of partial actions, where the group and the set upon which the group acts can vary. Within this framework, we develop a theory of quotient partial actions and prove that this category is both (co)complete and…
We classify module categories over the category of representations of quantum $SL(2)$ in a case when $q$ is not a root of unity. In a case when $q$ is a root of unity we classify module categories over the semisimple subquotient of the same…
Quantum computations that involve only Clifford operations are classically simulable despite the fact that they generate highly entangled states; this is the content of the Gottesman-Knill theorem. Here we isolate the ingredients of the…
In this work we introduce the notions of Peiffer product and Peiffer commutator of internal pre-crossed modules over a fixed object B, extending the corresponding classical notions to any semi-abelian category C. We prove that, under mild…
We introduce a preorder on an inverse semigroup $S$ associated to any normal inverse subsemigroup $N$, that lies between the natural partial order and Green's ${\mathscr J}$-relation. The corresponding equivalence relation $\simeq_N$ is not…
This paper investigates some issues arising in categorical models of reversible logic and computation. Our claim is that the structural (coherence) isomorphisms of these categorical models, although generally overlooked, have decidedly…
We characterise the groupoid $C^*$-algebras associated to the transformation groupoids of injective actions of discrete countable Ore semi-groups on compact topological spaces in terms of the reduced crossed product from the dual actions,…
We describe the (co)homology of a certain family of normal subgroups of right-angled Artin groups that contain the commutator subgroup, as modules over the quotient group. We do so in terms of (skew) commutative algebra of squarefree…
In this paper we introduce a notion of {\it generalized operad} containing as special cases various kinds of operad--like objects: ordinary, cyclic, modular, properads etc. We then construct inner cohomomorphism objects in their categories…
We provide three functorial extensions of the equivalence between localic etale groupoids and their quantales. The main result is a biequivalence between the bicategory of localic etale groupoids, with bi-actions as 1-cells, and a…
We give explicit axioms for the algebraic theory of the quasivarieties of right-preordered groups and preordered groups. We then look at lattices of effective equivalence relations, which turn out to be similar to the lattices of…
Cross-connection theory provides the construction of a semigroup from its ideal structure using small categories. A concordant semigroup is an idempotent-connected abundant semigroup whose idempotents generate a regular subsemigroup. We…