Related papers: Semantics of multimodal adjoint type theory
Given a DG-category A we introduce the bar category of modules Modbar(A). It is a DG-enhancement of the derived category D(A) of A which is isomorphic to the category of DG A-modules with A-infinity morphisms between them. However, it is…
For any 0-cell $B$ in a 2-category $\Bc$ we introduce the notion of adjoint algebra $\adj_B$. This is an algebra in the center of $\Bc$. We prove that, if $\ca$ is a finite tensor category, this notion applied to the 2-category of…
The fundamental construction underlying descent theory, the lax descent category, comes with a functor that forgets the descent data. We prove that, in any $2$-category $\mathfrak{A} $ with lax descent objects, the forgetful morphisms…
A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear logic. A syntax and complete categorical semantics are…
Certain aspects of Street's formal theory of monads in 2-categories are extended to multimonoidal monads in symmetric strict monoidal 2-categories. Namely, any symmetric strict monoidal 2-category $\mathcal M$ admits a symmetric strict…
Adjoint logic is a general approach to combining multiple logics with different structural properties, including linear, affine, strict, and (ordinary) intuitionistic logics, where each proposition has an intrinsic mode of truth. It has…
Every right adjoint functor between presentable $\infty$-categories is shown to decompose canonically as a coreflection, followed by, possibly transfinitely many, monadic functors. Furthermore, the coreflection part is given a presentation…
Many definitions of weak and strict $\infty$-categories have been proposed. In this paper we present a definition for $\infty$-categories with strict associators, but which is otherwise fully weak. Our approach is based on the existing type…
Lucatelli Nunes obtained a 2-categorical version of the adjoint triangle theorem of Dubuc using the descent object of a specific diagram. In some cases, such a diagram can be filled with an extra cell. We show then how to obtain a biadjoint…
We present a categorical model for intuitionistic linear logic where objects are polynomial diagrams and morphisms are simulation diagrams. The multiplicative structure (tensor product and its adjoint) can be defined in any locally…
Symmetric monoidal theories (SMTs) generalise algebraic theories in a way that make them suitable to express resource-sensitive systems, in which variables cannot be copied or discarded at will. In SMTs, traditional tree-like terms are…
The bicategory of Landau-Ginzburg models denoted by LGK possesses adjoints and this helps in explaining a certain duality that exists in the setting of Landau-Ginzburg models in terms of some specified relations. The construction of LGK is…
For a given family $\{(\mathrm{q}_i, \mathrm{t}_i, \mathrm{p_i} )\}_{i \in I}$ of adjoint triples between exact categories $\mathcal{C}$ or $\mathcal{D}$, we show that any cotorsion pair in $\mathcal{C}$ and $\mathcal{D}$ yield two…
Fix a commutative monoid $(T,+,0)$, a commutative monoid $(\Gamma,+,0_\Gamma)$, and a map \[ (a,\alpha,b,\beta,c)\longmapsto a\,\alpha\,b\,\beta\,c\in T \] which is additive in each variable and associative in the ternary sense. A left…
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,…
In this paper we obtain several model structures on {\bf DblCat}, the category of small double categories. Our model structures have three sources. We first transfer across a categorification-nerve adjunction. Secondly, we view double…
The bicategorical point of view provides a natural setting for many concepts in the representation theory of monoidal categories. We show that centers of twisted bimodule categories correspond to categories of 2-dimensional natural…
Let K be a comonad on a model category M. We provide conditions under which the associated category of K-coalgebras admits a model category structure such that the forgetful functor to M creates both cofibrations and weak equivalences. We…
We define the notion of an indexed profunctor over a 2-category, and use it to develop an abstract theory of limits. The theory subsumes (conical) limits, weighted limits, ends and Kan extensions. Results include an abstract version of the…
We show that either of the two reasonable choices for the category of compact quantum groups is nice enough to allow for a plethora of universal constructions, all obtained "by abstract nonsense" via the adjoint functor theorem. This…