Related papers: When is Cat(Q) cartesian closed?
We study a quantum version of the sequential game illustrating problems connected with making rational decisions. We compare the results that the two models (quantum and classical) yield. In the quantum model intransitivity gains importance…
The quantum integrable systems associated with the quantum loop algebras $\mathrm U_q(\mathcal L(\mathfrak{sl}_{\, l + 1}))$ are considered. The factorized form of the transfer operators related to the infinite dimensional evaluation…
Our main result establishes functorial desingularization of noetherian quasi-excellent schemes over $\bfQ$ with ordered boundaries. A functorial embedded desingularization of quasi-excellent schemes of characteristic zero is deduced.…
A construction of the noncommutative-geometric counterparts of classical classifying spaces is presented, for general compact matrix quantum structure groups. A quantum analogue of the classical concept of the classifying map is introduced…
We determine explicit quantum seeds for classes of quantized matrix algebras. Furthermore, we obtain results on centers and block diagonal forms {of these algebras.} In the case where $q$ is {an arbitrary} root of unity, this further…
We define mutation pair in a pseudo-triangulated category. We prove that under certain conditions, for a mutation pair in a pseudo-triangulated category, the corresponding quotient category carries a natural triangulated structure. This…
For a relational Horn theory $\mathbb{T}$, we provide useful sufficient conditions for the exponentiability of objects and morphisms in the category $\mathbb{T}\text{-}\mathsf{Mod}$ of $\mathbb{T}$-models; well-known examples of such…
Given an extriangulated category $(\mathcal{C},\mathbb{E},\mathfrak{s})$, we introduce the $3 \times 3$-lemma property for subfunctors of $\mathbb{E}$ and prove that an additive subfunctor $\mathbb{F}$ of $\mathbb{E}$ is closed if, and only…
The notion of a categorical quotient can be generalized since its standard categorical concept does not recover the expected quotients in certain categories. We present a more general formulation in the form of $\mathcal{F}$-quotients in a…
Extriangulated categories axiomatize extension-closed subcategories of triangulated categories. We show that the homotopy category of an exact quasi-category can be equipped with a natural extriangulated structure.
We study quadratic form parameters $Q$ over the integers and extended quadratic forms with values in $Q$, which we call $Q$-forms. Certain form parameters $Q$ appeared in Wall's work on the classification of almost closed $(n-1)$-connected…
Let $\mathcal C$ be a subcategory of the category of topologized semigroups and their partial continuous homomorphisms. An object $X$ of the category ${\mathcal C}$ is called ${\mathcal C}$-closed if for each morphism $f:X\to Y$ of the…
We define and study the notion of a locally bounded enriched category over a (locally bounded) symmetric monoidal closed category, generalizing the locally bounded ordinary categories of Freyd and Kelly. In addition to proving several…
We define a category with as objects operational resolutions and with as morphisms - not necessarily deterministic - state transitions. We study connections with closure spaces and join-complete lattices and sketch physical applications…
The category of finite dimensional (type 1) representations of a quantum affine algebra $U_q(\hat{{\mathfrak g}})$ is not semisimple. However, as any abelian category with finite-length objects, it admits a unique decomposition into a…
This paper works out in detail the closed multicategory structure of the category of Waldhausen categories.
Let $\mathsf{Q}$ be a commutative and unital quantale. By a $\mathsf{Q}$-map we mean a left adjoint in the quantaloid of sets and $\mathsf{Q}$-relations, and by a partial $\mathsf{Q}$-map we refer to a Kleisli morphism with respect to the…
The notion of Kan extendable subcategories was initially introduced to define the category of compactly generated fibrewise topological spaces over a T1 base space and to establish its cartesian closure. In this paper, we show that the same…
In the framework of Category Theory, we study the association between finite--dimensional representations of a compact quantum group and quantum vector bundles with linear connections for a given quantum principal bundle with a principal…
We consider a finite universe U (more exactly - a family U of them) and second order quantifiers Q_K, where for each U this means quantifying over a family of n(K)-place relations closed under permuting U. We define some natural orders and…