相关论文: A causal Markov category with Kolmogorov products
Products in double categories, as found in cartesian double categories, are an elegant concept with numerous applications, yet also have a few puzzling aspects. In this paper, we revisit double-categorical products from an unbiased…
We use the kernel category to give a finiteness condition for semigroups. As a consequence we provide yet another proof that finitely generated periodic semigroups of matrices are finite.
We use Khovanov-Lauda-Rouquier algebras to categorify a crystal isomorphism between a highest weight crystal and the tensor product of a perfect crystal and another highest weight crystal, all in level 1 type A affine. The nodes of the…
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 consider categories over a commutative ring provided either with a free action or with a grading of a not necessarily finite group. We define the smash product category and the skew category and we show that these…
We investigate the categorical connection between Dialectica constructions, Kolmogorov problems, Veloso problems and Blass problems. We show that the work of Kolmogorov can be regarded as a bridge between Veloso's abstract notion of a…
We display a family of Stone-type dualities linking categories of frames carrying pairs of modal operators to categories of spaces carrying a binary relation. Different notions of morphism used on the relational side lead to significant…
Effectful categories have two classes of morphisms: pure morphisms, which form a monoidal category; and effectful morphisms, which can only be combined monoidally with central morphisms (such as the pure ones), forming a premonoidal…
Many stochastic systems are built by wiring typed components together, but the wiring is often neither purely sequential nor type-homogeneous. This paper develops categorical semantics for such systems using ordered polycategories whose…
In this paper, we study tensor (or monoidal) categories of finite rank over an algebraically closed field $\mathbb F$. Given a tensor category $\mathcal{C}$, we have two structure invariants of $\mathcal{C}$: the Green ring (or the…
For $K$ a field, a Wedderburn $K$-linear category is a $K$-linear category $\sA$ whose radical $\sR$ is locally nilpotent and such that $\bar \sA:=\sA/\sR$ is semi-simple and remains so after any extension of scalars. We prove existence and…
Given an exact category $\mathcal{C}$, we denote by $\mathcal{C}_l$ the smallest additive subcategory containing injectives and indecomposable objects which appear as the first term of an almost split conflation. We prove that a deflation…
We study the monoidal closed category of symmetric multicategories, especially in relation with its cartesian structure and with sequential multicategories (whose arrows are sequences of concurrent arrows in a given category). Then we…
The purpose of my Ph.D. research is to define and study an analogue of the classical Bernstein-Gelfand-Gelfand (BGG) category $\mathcal{O}$ for the Lie algebra $\mathfrak{g}$, where $\mathfrak{g}$ is one of the finitary,…
We prove that the category of vector bundles over a fixed smooth manifold and its corresponding category of convenient modules are models for intuitionistic differential linear logic. The exponential modality is modelled by composing the…
We give a 3-categorical, purely formal argument explaining why on the category of Kleisli algebras for a lax monoidal monad, and dually on the category of Eilenberg-Moore algebras for an oplax monoidal monad, we always have a natural…
Cartesian difference categories are a recent generalisation of Cartesian differential categories which introduce a notion of "infinitesimal" arrows satisfying an analogue of the Kock-Lawvere axiom, with the axioms of a Cartesian…
Systems of linear ordinary differential equations with the most general inhomogeneous boundary conditions in fractional Sobolev spaces on a finite interval are studied. The Fredholm property of such problems in corresponding pairs of Banach…
We study the difference between internal categories and internal groupoids in terms of generalised Mal'tsev properties---the weak Mal'tsev property on the one hand, and $n$-permutability on the other. In the first part of the article we…
Differential categories axiomatize the basics of differentiation and provide categorical models of differential linear logic. A differential category is said to have antiderivatives if a natural transformation $\mathsf{K}$, which all…