Related papers: Categorical structures enriched in a quantaloid: t…
Knop constructed a tensor category associated to a finitely-powered regular category equipped with a degree function. In recent work with Harman, we constructed a tensor category associated to an oligomorphic group equipped with a measure.…
This work is largely focused on extending D. Higgs' $\Omega$-sets to the context of quantales, following the broad program of U. H\"ohle, we explore the rich category of $\mathscr Q$-sets for strong, integral and commutative quantales, or…
A Q-system is a unitary version of a separable Frobenius algebra object in a C*-tensor category. In a recent joint work with P. Das, S. Ghosh and C. Jones, the author has categorified Bratteli diagrams and unitary connections by building a…
Linearly distributive categories were introduced to model the tensor/par fragment of linear logic, without resorting to the use of negation. Linear bicategories are the bicategorical version of linearly distributive categories. Essentially,…
We give a sufficient condition for an Ext-finite triangulated category to be saturated. Saturatedness means that every contravariant cohomological functor of finite type to vector spaces is representable. The condition consists in existence…
In this work, we establish certain enrichments of dual algebraic structures in the setting of monoidal double categories. In more detail, we obtain a tensored and cotensored enrichment of monads in comonads, as well as a tensored and…
Exact indecomposable module categories over the tensor category of representations of Hopf algebras that are liftings of quantum linear spaces are classified.
We propose a new framework for integrating quantifiers with other logical connectives in a higher-categorical setting. Our method systematically incorporates key coherence conditions-including those akin to the Beck-Chevalley property-and…
We generalize the construction of tensor categories of endomorphisms of a type III factor $M$ associated with a $G$-kernel, from the case of a discrete group $G$ to that of a compact second countable group. Our approach is based on the…
This paper is the supplement to the section 2 of the paper "Floating bundles and their applications" (math.AT/0102054). Below we study some properties of category, connected with cobordism rings of FBSP. In particular, we shall show that it…
In this paper we construct a cofibrantly generated model category structure on the category of all small symmetric multicategories enriched in simplicial sets.
We prove existence of equalizers in certain categories of cocomplete cocategories. This allows us to complete the proof of the fact that A-infinity functor categories arise as internal Hom-objects in the category of differential graded…
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…
A Q-system is a unitary version of a separable Frobenius algebra object in a C*-tensor category or a C*-2-category. We prove that, for C*-2-categories $\mcal C$ and $\mcal D$, the C*-2-category $\textbf{Fun}(\mcal C, \mcal D)$ of $ * $-$ 2…
The familiar adjunction between ordered sets and completely distributive lattices can be extended to generalised metric spaces, that is, categories enriched over a quantale (a lattice of "truth values"), via an appropriate distributive law…
Q-systems are unitary versions of Frobenius algebra objects which appeared in the theory of subfactors. In recent joint work with R. Hern\'andez Palomares and C. Jones, the authors defined a notion of Q-system completion for C*/W*…
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 characterize virtual double categories of enriched categories, functors, and profunctors by introducing a new notion of double-categorical colimits. Our characterization is strict in the sense that it is up to equivalence between virtual…
We define the notion of characteristic classes for supermanifolds endowed with a homological vector field $Q$. These take values in the cohomology of the Lie derivative operator $L_Q$ acting on arbitrary tensor fields. We formulate a…
We examine $q-$series related to higher forms. These forms are cubics, quartics, etc. In some points, in the article we add parts from previous works, in such a way, the article be more complete and readable.