Related papers: On the categorical interpretation of ring cohomolo…
Based on the computation of the third author we obtain an interpretation of the third Mac Lane cohomology of rings using certain kind of crossed extensions of rings in the quadratic world. Actually we obtain two such interpretations…
We show that $\mathit{ann}$-categories admit a presentation by crossed bimodules, and prove that morphisms between them can be expressed by special kinds spans between the presentations. More precisely, we prove the groupoid of morphisms…
The category $\mathbf{Rel}$ is the category of sets (objects) and relations (morphisms). Equipped with the direct product of sets, $\mathbf{Rel}$ is a monoidal category. Moreover, $\mathbf{Rel}$ is a locally posetal 2-category, since every…
Characteristic properties of corings with a grouplike element are analysed. Associated differential graded rings are studied. A correspondence between categories of comodules and flat connections is established. A generalisation of the…
C. Amiot has classified the connected triangulated k-categories with finitely many isoclasses of indecomposables satisfying suitable hypotheses. We remark that her proof shows that these triangulated categories are determined by their…
We show that the mod $\ell$ cohomology of any finite group of Lie type in characteristic $p$ different from $\ell$ admits the structure of a module over the mod $\ell$ cohomology of the free loop space of the classifying space $BG$ of the…
The present paper gives a generalization of cartesian closed categories, called cartesian closed categories with dependence, whose strict version induces categories with families that support 1-, Sigma- and Pi-types in the strict sense.…
Extending the Wedderburn-Artin theory of (classically) semisimple associative rings to the realm of topological rings with right linear topology, we show that the abelian category of left contramodules over such a ring is split…
Recent work in set theory indicates that there are many different notions of 'set', each captured by a different collection of axioms, as proposed by J. Hamkins in [Ham11]. In this paper we strive to give one class theory that allows for a…
We present a simple categorical framework for the treatment of probabilistic theories, with the aim of reconciling the fields of Categorical Quantum Mechanics (CQM) and Operational Probabilistic Theories (OPTs). In recent years, both CQM…
Within the framework of Zermelo-Fraenkel set theory without the Axiom of Choice, we establish equivalents to the assertion "the union of a countable collection of finite sets is countable" in the context of metric spaces, probability…
We introduce the notion of a definable category--a category equivalent to a full subcategory of a locally finitely presentable category that is closed under products, directed colimits and pure subobjects. Definable subcategories are…
Let $R$ be a commutative Noetherian ring and $I$ be an ideal of $R$. In this article we answer affirmatively a question raised by the present author in \cite{B2}. Also, as an immediate consequence of this result it is shown that the…
In the present paper we propose a new approach to quantum fields in terms of category algebras and states on categories. We define quantum fields and their states as category algebras and states on causal categories with partial involution…
A categorial grammar assigns one of several syntactic categories to each symbol of the alphabet, and the category of a string is then deduced from the categories assigned to its symbols using two simple reduction rules. This paper…
This paper explores the restriction behavior of silting-induced $t$-structures and co-$t$-structures on triangulated categories endowed with metrics. For compactly generated triangulated categories admitting small coproducts, silting…
We introduce categorical models of $N_\infty$ spaces, which we call normed symmetric monoidal categories (NSMCs). These are ordinary symmetric monoidal categories equipped with compatible families of norm maps, and when specialized to a…
We introduce the notion of homological systems $\Theta$ for triangulated categories. Homological systems generalize, on one hand, the notion of stratifying systems in module categories, and on the other hand, the notion of exceptional…
This is the final version of a series of papers uploaded in May 25, 2005. We have splitted the long last paper of the previous version in two parts to make it easier to understand. The results are essentially the same, although the…
In [arXiv:1509.02937], the notion of a module tensor category was introduced as a braided monoidal central functor $F\colon \mathcal{V}\longrightarrow \mathcal{T}$ from a braided monoidal category $\mathcal{V}$ to a monoidal category…