Related papers: Strict 2-Groups are Crossed Modules
A compact closed bicategory is a symmetric monoidal bicategory where every object is equipped with a weak dual. The unit and counit satisfy the usual "zig-zag" identities of a compact closed category only up to natural isomorphism, and the…
In this paper, we will introduce the concept of 2-absorbing (resp. strongly 2-absorbing) secondary submodules of modules over a commutative ring as a generalization of secondary modules and investigate some basic properties of these classes…
We give an explicit construction of the antiequivalence of the category of finite flat commutative group schemes of period 2 defined over the valuation ring of a 2-adic field with algebraically closed residue field. This result extends the…
In this paper we discuss generalized group, provides some interesting examples. Further we introduce a generalized module as a module like structure obtained from a generalized group and discuss some of its properties and we also describes…
The subject of this paper is the higher structure of the strictification adjunction, which relates the two fundamental bases of three-dimensional category theory: the $\mathbf{Gray}$-category of $2$-categories and the tricategory of…
We introduce a weakening of the notion of fusion 2-category given in arXiv:1812.11933. Then, we establish a number of properties of (multi)fusion 2-categories. Finally, we describe the fusion rule of the fusion 2-categories associated to…
Categorical structures and their pseudomaps rarely form locally presentable 2-categories in the sense of Cat-enriched category theory. However, we show that if the categorical structure in question is sufficiently weak (such as the…
Several authors have introduced various type of coherent-like rings and proved analogous results on these rings. It appears that all these relative coherent rings and all the used techniques can be unified. In [2], several coherent-like…
We begin with a brief sketch of what is known and conjectured concerning braided monoidal 2-categories and their applications to 4d topological quantum field theories and 2-tangles (surfaces embedded in 4-dimensional space). Then we give…
We develop the Morita theory of fusion 2-categories. In order to do so, we begin by proving that the relative tensor product of modules over a separable algebra in a fusion 2-category exists. We use this result to construct the Morita…
The category $\mathbf{XSq}$ of crossed squares is equivalent to the category $\mathbf{Cat2}$ of cat$^2$-groups. Functions for computing with these structures have been developed in the package $\mathsf{XMod}$ written using the…
This is the first 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 -…
fc-multicategories are a very general kind of two-dimensional structure, encompassing bicategories, monoidal categories, double categories and ordinary multicategories. We define them and explain how they provide a natural setting for two…
In this note we show that the known relation between double groupoids and matched pairs of groups may be extended, or seems to extend, to the triple case. The references give some other occurrences of double groupoids.
This is a summary of a talk given at the "Conference on Pure and Applied Topology", Isle of Skye, June 24, 2005. It contains an announcement and sketch of proof of the classification of 2-compact groups.
For an exact category having enough projective objects, we establish a bijection between thick subcategories containing the projective objects and thick subcategories of the stable derived category. Using this bijection we classify thick…
A hypergroup is called an elementary abelian 2-hypergroup if it is a constrained direct product of the closed subsets of two elements. In this paper, the elementary abelian 2-hypergroups are studied. All closed subsets and all strongly…
We determine the dual modules of all irreducible modules of alternating groups over fields of characteristic 2.
We show the equivalence of two kinds of strict multiple category, namely the well known globular omega-categories, and the cubical omega-categories with connections.
We present a framework to systematically investigate higher categorical symmetries in two-dimensional spin systems. Though exotic, such generalised symmetries have been shown to naturally arise as dual symmetries upon gauging invertible…