Related papers: Geometric Invariants for Fusion Categories
We discuss what it means for a symmetric monoidal category to be a module over a commutative semiring category. Each of the categories of (1) cartesian monoidal categories, (2) semiadditive categories, and (3) connective spectra can be…
A non-unital algebra in a closed monoidal category is called self-induced if the multiplication induces an isomorphism between A\otimes_A A and A. For such an algebra, we define smoothening and roughening functors that retract the category…
This paper proves coherence results for categories with a natural transformation called \emph{intermutation} made of arrows from $(A\wedge B)\vee(C\wedge D)$ to ${(A\vee C)\wedge(B\vee D)}$, for $\wedge$ and $\vee$ being two biendofunctors.…
Coherence theorems for covariant structures carried by a category have traditionally relied on the underlying term rewriting system of the structure being terminating and confluent. While this holds in a variety of cases, it is not a…
The Hamiltonian description of classical gauge theories is a very well studied subject. The two best known approaches, namely the covariant and canonical Hamiltonian formalisms have received a lot of attention in the literature. However, a…
There are many applications in gauge theories where the usually employed framework involving gauge-dependent Green's functions leads to considerable problems. In order to overcome the difficulties invariably tied to gauge dependence, we…
We consider the construction of gauge theories of gravity that are invariant under local conformal transformations. We first clarify the geometric nature of global conformal transformations, in both their infinitesimal and finite forms, and…
In the well-known settings of category theory enriched in a monoidal category V, the use of V-enriched functor categories and bifunctors demands that V be equipped with a symmetry, braiding, or duoidal structure. In this paper, we establish…
Category theory is a branch of mathematics that provides a formal framework for understanding the relationship between mathematical structures. To this end, a category not only incorporates the data of the desired objects, but also…
Magnitude homology is an invariant of enriched categories which generalizes ordinary categorical homology -- the homology of the classifying space of a small category. The classifying space can also be generalized in a different direction:…
We discuss several useful interpretations of the categorical dimension of objects in a braided fusion category, as well as some conjectures demonstrating the value of quantum dimension as a quantum statistic for detecting certain behaviors…
We give a path integral construction of the quantum mechanical partition function for gauged finite groups. Our construction gives the quantization of a system of $d$, $N\times N$ matrices invariant under the adjoint action of the symmetric…
A family of locally equivalent models is considered. They can be taken as a generalization to $d+1$ dimensions of the Topological Massive and ``Self-dual'' models in 2+1 dimensions. The corresponding 3+1 models are analized in detail. It is…
Applied category theory has recently developed libraries for computing with morphisms in interesting categories, while machine learning has developed ways of learning programs in interesting languages. Taking the analogy between categories…
The stable category of modules over the algebra of a finite group with coefficients in a field is a compactly generated tensor triangulated category, that has been studied extensively in representation theory. In this paper, we provide a…
We construct in a unifying way skew-multicategories and multicategories of double and Gray-categories that we call Gray (skew) multicategories. We study their different versions depending on the types of functors and higher transforms. We…
In this paper, we present a unified approach using model category theory and an associative law to compare some classic variants of the geometric realization functor.
"Physical theories of fundamental significance tend to be gauge theories. These are theories in which the physical system being dealt with is described by more variables than there are physically independent degree of freedom. The…
In this paper we study grouplike monoids, these are monoids that contain a group to which we add an ordered set of idempotents. We classify finite categories with two objects having grouplike endomorphism monoids, and we give a count of…
We present the invariant structure of a Holomorphic Unified Field Theory in which gravity and gauge interactions arise from a single geometric framework. The theory is formulated using a product principal bundle, with one connection, and…