Related papers: Adjunctions in Quantaloid-enriched Categories

We give an overview of the parts of arXiv:2004.04279 that deal with 2-categories, up to and including adjunction, and explain how the Segal-type approach to 2-categories adopted there is related to the more standard approaches. As an…

The structure of the category of matroids and strong maps is investigated: it has coproducts and equalizers, but not products or coequalizers; there are functors from the categories of graphs and vector spaces, the latter being faithful;…

Category theory has foundational importance because it provides conceptual lenses to characterize what is important in mathematics. Originally the main lenses were universal mapping properties and natural transformations. In recent decades,…

Additive categories play a fundamental role in mathematics and related disciplines. Given an additive category equipped with a biadditive functor, one can construct its category of extensions, which encodes important structural information.…

We formulate an elementary condition on an involutive quantaloid Q under which there is a distributive law from the Cauchy completion monad over the symmetrisation comonad on the category of Q-enriched categories. For such quantaloids,…

We study right quasi-representable differential graded bimodules as quasi-functors between dg-categories. We prove that a quasi-functor has a left adjoint if and only if it is left quasi-representable.

Compact categories have lately seen renewed interest via applications to quantum physics. Being essentially finite-dimensional, they cannot accomodate (co)limit-based constructions. For example, they cannot capture protocols such as quantum…

Whereas formal category theory is classically considered within a $2$-category, in this paper a double-dimensional approach is taken. More precisely we develop such theory within the setting of augmented virtual double categories, a notion…

We define the notion of an additive model category, and we prove that any additive, stable, combinatorial model category has a natural enrichment over symmetric spectra based on simplicial abelian groups. As a consequence, every object in…

Every smooth manifold contains particles which propagate. These form objects and morphisms of a category equipped with a functor to the category of Abelian groups, turning this into a 0+1 topological field theory. We investigate the…

Given an adjunction connecting reasonable categories with weak equivalences, we define a new derived bar and cobar construction associated to the adjunction. This yields homotopical models of the completion and cocompletion associated to…

Q-systems describe "extensions" of an infinite von Neumann factor $N$, i.e., finite-index unital inclusions of $N$ into another von Neumann algebra $M$. They are (special cases of) Frobenius algebras in the C* tensor category of…

Rank functors on a quiver $Q$ are certain additive functors from the category of representations of $Q$ to the category of finite-dimensional vector spaces. Composing with the dimension function on vector spaces gives a rank function on…

For any ring $A$ and a small, preadditive, Hom-finite, and locally bounded category $Q$ that has a Serre functor and satisfies the (strong) retraction property, we show that the category of additive functors from $Q$ to the category of…

We describe a duality for quantale-enriched categories that extends the Lawson duality for continuous dcpos: for any saturated class J of modules that commute with certain weighted limits, and under an appropriate choice of morphisms, the…

This note explores the link between the q-model structure of flows and the Ilias model structure of topologically enriched small categories. Both have weak equivalences which induce equivalences of fundamental (semi)categories. The Ilias…

It is well established that equational algebraic theories, and the monads they generate, can be used to encode computational effects. An important insight of Power and Shkaravska is that comodels of an algebraic theory T -- i.e., models in…

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 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…

We make precise the structure of the first two reduction morphisms associated with codimension two nonsingular subvarieties of quadrics $\Q{n}$, $n\geq 5$. We give a coarse classification of the same class of subvarieties when they are…