Related papers: Double Clubs
We construct a symmetric monoidal closed category of polynomial endofunctors (as objects) and simulation cells (as morphisms). This structure is defined using universal properties without reference to representing polynomial diagrams and is…
We firstly prove the completeness of the category of crossed modules in a modified category of interest. Afterwards, we define pullback crossed modules and pullback cat$^1$-objects that are both obtained by pullback diagrams with extra…
This paper introduces the notion of weakly globular double categories, a particular class of strict double categories, as a way to model weak 2-categories; it explores its use in defining a double category of fractions, and shows that the…
Extensions of Stone-type dualities have a long history in algebraic logic and have also been instrumental in proving results in algebraic language theory. We show how to extend abstract categorical dualities via monoidal adjunctions,…
We describe a non-extensional variant of Martin-L\"of type theory which we call two-dimensional type theory, and equip it with a sound and complete semantics valued in 2-categories.
We construct a new class of two-dimensional field theories with target spaces that are finite multiparameter deformations of the usual coset G/H-spaces. They arise naturally, when certain models, related by Poisson-Lie T-duality, develop a…
We give a simultaneous generalization of exact categories and triangulated categories, which is suitable for considering cotorsion pairs, and which we call extriangulated categories. Extension-closed, full subcategories of triangulated…
We study extensions of double groupoids in the sense of \cite{AN2} and show some classical results of group theory extensions in the case of double groupoids. For it, given a double groupoid $(\mathcal{B}; \mathcal{V},\mathcal{H};…
A concrete computation -- twelve slidings with sixteen tiles -- reveals that certain commutativity phenomena occur in every double semigroup. This can be seen as a sort of Eckmann-Hilton argument, but it does not use units. The result…
The dual complex of a singularity is defined, up-to homotopy, using resolutions of singularities. In many cases, for instance for isolated singularities, we identify and study a "minimal" representative of the homotopy class that is well…
We study polynomial functors over locally cartesian closed categories. After setting up the basic theory, we show how polynomial functors assemble into a double category, in fact a framed bicategory. We show that the free monad on a…
We argue that all conjectured dualities involving various string, M- and F- theory compactifications can be `derived' from the conjectured duality between type I and SO(32) heterotic string theory, T-dualities, and the definition of M- and…
The notion of a duality between two derived functors as well as an extension theorem for derived functors to larger categories in which they need not be defined is introduced. These ideas are then applied to extend and study the coext…
In this paper, we classify finite categories with two objects such that one of the endomorphism monoids is a group. We prove that having a group on one side affects the structure of the other endomorphism monoid, and we prove that it is…
We study Kan extensions in three weakenings of the Eilenberg-Moore double category associated to a double monad, that was introduced by Grandis and Par\'e. To be precise, given a normal oplax double monad $T$ on a double category $\mathcal…
Colour-kinematics duality is a remarkable property of Yang-Mills theory. Its validity implies a relation between gauge theory and gravity scattering amplitudes, known as double copy. Albeit fully established at the tree level, its extension…
The present paper investigates a natural generalization of the duality between Riemannian symmetric pairs of compact type and those of non-compact type \`a la \'E. Cartan. The main result of this paper is to construct an explicit…
We show that the additive category of chain complexes parametrized by a finite simplicial complex $K$ forms a category with chain duality. This fact, never fully proven in the original reference, is fundamental for Ranicki's algebraic…
Dual monoidal category $\mathcal C^\ast$ of a monoidal functor $F:\mathcal C\to \mathcal V$ has been constructed by S. Majid. In this paper, we extend the construction of dual structures for an Ann-functor $F:\mathcal B\to \mathcal A$. In…
We introduce the notion of a relative pseudomonad, which generalises the notion of a pseudomonad, and define the Kleisli bicategory associated to a relative pseudomonad. We then present an efficient method to define pseudomonas on the…