Related papers: A Duality of Quantale-Enriched Categories
Given a category $\mathcal C$ and a directed partially ordered set $J$, a certain category $pro^J -\mathcal C$ on inverse systems in $\mathcal C$ is constructed such that the ordinary pro-category $pro-\mathcal C$ is the most special case…
Virtual double categories provide an effective framework for formal category theory. Recent work has investigated the question of higher morphisms between virtual double categories, following on from work on higher morphisms between double…
The classical Stone duality associates to each Boolean algebra a topological space consisting of ultrafilters. Lawson's generalisation constructs a dual equivalence of categories of Boolean inverse $\land$-semigroups and Hausdorff ample…
In this paper we characterize the projective modules over an arbitrary quantale, and then we apply such a characterization in order to define the K_0 group of a quantale. Then we study congruences of quantales and quantale modules by means…
We study a categorical condition on relations, which is a categorical formulation of J\'onsson's characterisation of congruence distributive varieties. Categories satisfying these conditions need not be varieties; for instance, the dual of…
We define the phrase `category enriched in an fc-multicategory' and explore some examples. An fc-multicategory is a very general kind of 2-dimensional structure, special cases of which are double categories, bicategories, monoidal…
We formulate a relation between quantum-mechanical coherent states and complex-differentiable structures on the classical phase space ${\cal C}$ of a finite number of degrees of freedom. Locally-defined coherent states parametrised by the…
We introduce the notion of being cohomologically complete for objects of the derived category of sheaves of $Z[\hbar]$-modules on a topological space. Then we consider a $Z[\hbar]$-algebra satisfying some suitable conditions and prove…
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…
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…
We prove that for any presentably symmetric monoidal $\infty$-category $\mathcal{V}$, the $\infty$-category $\mathbf{Mod}_\mathcal{V}(\mathbf{Pr}^{\mathrm{L}})^{\mathrm{dbl}}$ of dualizable presentable $\mathcal{V}$-modules and internal…
This Festschrift in honour of J. A. de Azcarraga gives an introduction to the concept of duality, i.e., to the relativity of the notion of a quantum, in the context of the quantum mechanics of a finite number of degrees of freedom. Although…
Q-system completion can be thought of as a notion of higher idempotent completion of C*-2-categories. We introduce a notion of quantum bi-elements, and study Q-system completion in the context of compact quantum groups. We relate our notion…
We discuss generalised duality theory for monoidal categories and its applications to the categories of exact endofunctors, graded vector spaces, and topological vector spaces.
We study limits in 2-categories whose objects are categories with extra structure and whose morphisms are functors preserving the structure only up to a coherent comparison map, which may or may not be required to be invertible. This is…
We construct a model structure on the category of small categories enriched over a combinatorial closed symmetric monoidal model category satisfying the monoid axiom. Weak equivalences are Dwyer-Kan equivalences, i.e. enriched functors…
Imposing an extensional uniformity condition on a non-uniform circuit complexity class C means simply intersecting C with a uniform class L. By contrast, the usual intensional uniformity conditions require that a resource-bounded machine be…
Let L be a complete lattice and let Q(L) be the unital quantale of join-continuous endo-functions of L. We prove the following result: Q(L) is an involutive (that is, non-commutative cyclic $\star$-autonomous) quantale if and only if L is a…
In this work, we explore a double categorical framework for categories of enriched graphs, categories and the newly introduced notion of cocategories. A fundamental goal is to establish an enrichment of V-categories in V-cocategories, which…
We construct a symmetric monoidal category $LIE^{MC}$ whose objects are shifted L-infinity algebras equipped with a complete descending filtration. Morphisms of this category are "enhanced" infinity morphisms between shifted L-infinity…