Related papers: Transformation Double Categories Associated to 2-G…
Given a conjugacy class $\mathcal{C}$ in a group $G$ we define a new graph, $\Gamma(\mathcal{C})$, whose vertices are elements of $\mathcal{C}$; two vertices $g,h\in \mathcal{C}$ are connected in $\Gamma(\mathcal{C})$ if $[g,h]=1$ and…
This article presents a precise description of the interplay between the symmetries of a quantum or classical theory with spacetime interpretation, and some of its physical properties relating to causality, horizons and positive energy. Our…
In this article we analyze the structure of $2$-categories of symmetric projective bimodules over a finite dimensional algebra with respect to the action of a finite abelian group. We determine under which condition the resulting…
Suppose that $G$ is a groupoid acting on a small category $H$ in the sense of \cite[Definition 4]{NOT} and $H\times_\alpha G$ is the resulting semi-direct product category (as in \cite[Proposition 8]{NOT}). We show that there exists a…
2-group symmetries arise in physics when a 0-form symmetry $G^{[0]}$ and a 1-form symmetry $H^{[1]}$ intertwine, forming a generalised group-like structure. Specialising to the case where both $G^{[0]}$ and $H^{[1]}$ are compact, connected,…
In this paper we study a 2-dimensional version of Quillen's homotopy category construction. Given a category $\mathscr{A}$ and a class of morphisms $\Sigma \subset \mathscr{A}$ containing the identities, we construct a 2-category…
On the transversals of a subgroup of a group, using the binary operation of the group, structural mappings are defined. Based on these mappings, the notion of the hypergroup over the group is introduced, which generalizes the notion of the…
In this monograph we lay the foundation for a theory of coarse groups and coarse actions. Coarse groups are group objects in the category of coarse spaces, and can be thought of as sets with operations that satisfy the group axioms "up to…
The birational $R$-matrix is a transformation that appears in the theory of geometric crystals, the study of total positivity in loop groups, and discrete dynamical systems. This $R$-matrix gives rise to an action of the symmetric group…
We introduce the basic notions and present examples and results on Lie categories -- categories internal to the category of smooth manifolds. Demonstrating how the units of a Lie category $\mathcal C$ dictate the behavior of its invertible…
A groupoid is a small category in which each morphism has an inverse. A topological groupoid is a groupoid in which both sets of objects and morphisms have topologies such that all groupoid structure maps are continuous. The notion of…
Given a 2-category $\twocat{K}$ admitting a calculus of bimodules, and a 2-monad T on it compatible with such calculus, we construct a 2-category $\twocat{L}$ with a 2-monad S on it such that: (1)S has the adjoint-pseudo-algebra property.…
Let M be a smooth compact manifold with boundary. Under some geometric conditions on M, a homotopical model for the pair (M,boundary of M) can be recovered from the configuration category of the interior of M. The grouplike monoid of…
This article tackles categorical coherence within a two-dimensional generalization of Lawvere's functorial semantics. 2-theories, a syntactical way of describing categories with structure, are presented. From the perspective here afforded,…
We identify natural symmetries of each rigid higher braided category. Specifically, we construct a functorial action by the continuous group $\Omega \mathsf{O}(n)$ on each $\mathcal{E}_{n-1}$-monoidal $(g,d)$-category $\mathcal{R}$ in which…
We define a notion of morphism for generalized affine buildings, also known as affine $\Lambda$-buildings, extending existing definitions and giving rise to a category of generalized affine buildings. For affine $\Lambda$-buildings equipped…
The concept of configuration was first introduced to give a characterization for the amenability of groups. Then the concept of two-sided configuration was suggested to provide normality to study the group structures more efficiently. It…
We develop a method to bound the dynamic asymptotic dimension of isometric group actions $\Gamma\curvearrowright X$ in terms of the asymptotic dimension of a space of graphs similar to a box space of $\Gamma$ (which also determines…
We develop a representation theory of categories as a means to explore characteristic structures in algebra. Characteristic structures play a critical role in isomorphism testing of groups and algebras, and their construction and…
In this study, we interpret the notion of homotopy of morphisms in the category of crossed modules in a category $\mathsf{C}$ of groups with operations using the categorical equivalence between crossed modules and internal categories in…