Related papers: Dinaturality for Double Categories
The aim of this paper is to study categorified algebraic structures and their pseudo- and lax homomorphisms using the framework of Lawvere $2$-theories, and more generally, (enhanced) $2$-dimensional sketches. The key notion we focus on is…
It is shown how to extend the formal variational calculus in order to incorporate integrals of divergences into it. Such a generalization permits to study nontrivial boundary problems in field theory on the base of canonical formalism.
The goal and the main result of the paper is to provide a complete description of the field of rational differential invariants of one class of second order ordinary differential equations with scalar control parameter with respect to Lie…
Through the notion of weakly sound class of weights, we recover many known dualities involving accessible categories with a chosen class of limits, as instances of a general duality theorem. These include the Gabriel-Ulmer duality for…
We describe a global approach to the study of duality transformations between antisymmetric fields with transitions and argue that the natural geometrical setting for the approach is that of gerbes, these objects are mathematical…
Dualities are often supposed to be foundational, but they may come into conflict with background independence, because a hidden fixed structures is needed to define the duality transformation. This conflict can be eliminated by extending a…
We investigate categories in which products distribute over coproducts, a structure we call doubly-infinitary distributive categories. Through a range of examples, we explore how this notion relates to established concepts such as…
We show under suitable finiteness conditions that a functor between abelian categories induces a (not necessarily additive) map between their Grothendieck groups. This is related to the derived functors of Dold and Puppe, and generalizes a…
We investigate an enriched-categorical approach to a field of discrete mathematics. The main result is a duality theorem between a class of enriched categories (called $\overline{\mathbb{Z}}$- or $\overline{\mathbb{R}}$-categories) and that…
This is essentially an illustration for the general technology of homotopical enhancements developed recently in arxiv:2409.17489. We take the derived category of an abelian category, and we look at the full subcategory spanned by complexes…
Enrichment and internal categories are two different way to generalize the notion of category. As such, enriching double categories (which are categories internal to Cat) is not a clear concepts. One can look at the internal categories of…
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…
We consider the effect of $t$-structures on the Tannaka duality theory for dg categories developed in our previous paper. We associate non-negative dg coalgebras $C$ to dg functors on the hearts of $t$-structures, and relate dg…
The behaviour of limits of weak morphisms in 2-dimensional universal algebra is not 2-categorical in that, to fully express the behaviour that occurs, one needs to be able to quantify over strict morphisms amongst the weaker kinds.…
We construct all possible noncommutative deformations of a Kleinian singularity ${\mathbb C}^2/\Gamma$ of type $D_n$ in terms of generators and relations, and solve the problem of when two deformations are isomorphic. We prove that all…
Let $G$ be a finite group acting on a small category $I$. We study functors $X \colon I \to \mathscr{C}$ equipped with families of compatible natural transformations that give a kind of generalized $G$-action on $X$. Such objects are called…
We classify which dual functors on a unitary multitensor category are compatible with the dagger structure in terms of groupoid homomorphisms from the universal grading groupoid to $\mathbb{R}_{>0}$ where the latter is considered as a…
In this paper we investigate the construction of bicategories of fractions originally described by D. Pronk: given any bicategory $\mathcal{C}$ together with a suitable class of morphisms $\mathbf{W}$, one can construct a bicategory…
We present a method for constructing gauge-invariant cosmological perturbations which are gauge-invariant up to second order. As an example we give the gauge-invariant definition of the second-order curvature perturbation on uniform density…
We find the Holographic Renormalization Group equations for the holographic duals of generic gravity theories coupled to form fields and spin-1/2 fermions. Using Hamilton-Jacobi theory we discuss the structure of Ward identities, anomalies,…