Related papers: Transformation Double Categories Associated to 2-G…

Computational Group Theory is applied to indexed objects (tensors, spinors, and so on) with dummy indices. There are two groups to consider: one describes the intrinsic symmetries of the object and the other describes the interchange of…

Let G be a finite group. Given a finite G-set X and a modular tensor category C, we construct a weak G-equivariant fusion category, called the permutation equivariant tensor category. The construction is geometric and uses the formalism of…

Given a G-structure with connection satisfying a regularity assumption we associate to it a classifying Lie algebroid. This algebroid contains all the information about the equivalence problem and is an example of a G-structure Lie…

We define several "standard" subgroups of the automorphism group Aut(G) of a partially commutative (right-angled Artin) group and use these standard subgroups to describe decompositions of Aut(G). If C is the commutation graph of G, we show…

In this article, we generalize to the case of regular locally compact quantum groups, two important results concerning actions of compact quantum groups. Let $G_1$ and $G_2$ be two monoidally equivalent regular locally compact quantum…

Isomorphism is central to the structure of mathematics and has been formalized in various ways within dependent type theory. All previous treatments have done this by replacing quantification over sets with quantification over groupoids of…

We develop a theory of twisted actions of categorical groups using a notion of semidirect product of categories. We work through numerous examples to demonstrate the power of these notions. Turning to representations, which are actions that…

It is shown that the correct mathematical implementation of symmetry in the geometric formulation of classical field theory leads naturally beyond the concept of Lie groups and their actions on manifolds, out into the realm of Lie group…

Transformational music theory mainly deals with group and group actions on sets, which are usually constituted by chords. For example, neo-Riemannian theory uses the dihedral group D24 to study transformations between major and minor…

This paper explores the interplay between category theory, topology, and the algebraic theory of finite groups. Our analysis unfolds in three stages. First, we establish the foundational universe of our objects: the complete and cocomplete…

The paper contains a description of a connection between diagonal actions and certain KMS weights on groupoid $C^{*}$-algebras. It furthermore contains the realization of a graph $C^{*}$-algebra of a countable graph as the groupoid…

We describe a Grothendieck construction for non-symmetric operads with values in categories, and hence in groupoids and posets. The construction produces a 2-category which is operadically fibered over the category D of finite non-empty…

Here $\underline{M}$ denotes a pair $(M,A)$ of a manifold and a subset (e.g. $A=\partial M$ or $A=\emptyset$). We construct for each $\underline{M}$ its motion groupoid $\mathrm{Mot}_{\underline{M}}$, whose object set is the power set $…

The aim of this paper is to define the notion of lifting of a crossed module via a group morphism and give some properties of this type of the lifting. Further we obtain a criterion for a crossed module to have a lifting of crossed module.…

Motivated by some alternatives to the classical logical model of boolean algebra, this paper deals with algebraic structures which extend skew lattices by locally invertible elements. Following the meme of the Ehresmann-Schein-Nambooripad…

We study topological properties of semi-group actions on the circle by orientation-preserving homeomorhisms. We prove that a generic action either possesses a forward-invariant interval-domain (i.e. a finite union of disjoint circle arcs),…

We show that the category A(G) of actions of a locally compact group G on C*-algebras (with equivariant nondegenerate *-homomorphisms into multiplier algebras) is equivalent, via a full-crossed-product functor, to a comma category of…

We build a concrete and natural model for the strict 2-category of orbifolds. In particular we prove that if one localizes the 2-category of proper etale Lie groupoids at a class of 1-arrows that we call "covers", then the strict 2-category…

Recently, many studies are focused on generalized global symmetry, a mixture of both invertible and non-invertible symmetries in various space-time dimensions. The complete structure of generalized global symmetry is described by higher…

We construct a 2-representation categorifying the symmetric Howe representation of $\mathfrak{gl}_m$ using a deformation of an algebra introduced by Webster. As a consequence, we obtain a categorical braid group action taking values in a…