Related papers: Bicartesian Coherence Revisited

Many applications of denotational semantics, such as higher-order model checking or the complexity of normalization, rely on finite semantics for monomorphic type systems. We exhibit such a finite semantics for a polymorphic purely linear…

Coherent differentiation was introduced by Ehrhard in order to generalize differential categories to a setting in which the sum is only partially defined, in order to account for the deterministic nature of most models of computation. This…

There is a well-known correspondence between coherent theories (and their interpretations) and coherent categories (resp. functors), hence the (2,1)-category $\mathbf{Coh_{\sim}}$ (of small coherent categories, coherent functors and all…

We deepen the study of conjoined and disjoined conditional events in the setting of coherence. These objects, differently from other approaches, are defined in the framework of conditional random quantities. We show that some well known…

We consider the product of a compact Riemannian manifold without boundary and null scalar curvature with a compact Riemannian manifold with boundary, null scalar curvature and constant mean curvature on the boundary. We use bifurcation…

We prove Steinebrunner's conjecture on the biequivalence between (colored) properads and labelled cospan categories. The main part of the work is to establish a 1-categorical, strict version of the conjecture, showing that the category of…

Isomorphism between formulae is defined with respect to categories formalizing equality of deductions in classical propositional logic and in the multiplicative fragment of classical linear propositional logic caught by proof nets. This…

It is well-known that the tensor product of two bialgebras constitutes the binary product in the category of cocommutative bialgebras and morphisms of bialgebras between them. In this paper, we extend this result to triangular bialgebras…

The classical Dold-Kan correspondence is known to admit a categorification in the form of an equivalence between the $\infty$-categories of $2$-simplicial stable $\infty$-categories and connective chain complexes of stable…

Intercausal reasoning is a common inference pattern involving probabilistic dependence of causes of an observed common effect. The sign of this dependence is captured by a qualitative property called product synergy. The current definition…

We prove that the classical result asserting that the relative Picard group of a faithfully flat extension of commutative rings is isomorphic to the first Amitsur cohomology group stills valid in the realm of symmetric monoidal categories.…

We establish the universal properties of the bicategory of polynomials, considering both cartesian and general morphisms between these polynomials. A direct proof of these universal properties would be impractical due to the complicated…

Following G. Mints(Kluwer 2000 and draft 2013), we present terminating and bicomplete proof searches in multi-succedent sequent calculi for intuitionistic propositional logic, fragments of intuitionistic predicate logic and full…

In the case of a compact orientable pseudomanifold, a well-known theorem of M. Goresky and R. MacPherson says that the cap product with a fundamental class factorizes through the intersection homology groups. In this work, we show that this…

Let $\mathcal A$ be a Hom-finite abelian category with enough projectives. In this note, we show that any covariantly finite $\tau$-rigid subcategory is contained in a support $\tau$-tilting subcategory. We also show that support…

By using the Dold-Kan correspondence we construct a Quillen adjunction between the model categories of non-cocommutative coassociative simplicial and differential graded coalgebras over a field. We restrict to categories of connected…

The word problem for categories with free products and coproducts (sums), SP-categories, is directly related to the problem of determining the equivalence of certain processes. Indeed, the maps in these categories may be directly…

A series of works has established rewriting as an essential tool in order to prove coherence properties of algebraic structures, such as MacLane's coherence theorem for monoidal categories, based on the observation that, under reasonable…

Indexed Linear Logic has been introduced by Ehrhard and Bucciarelli, it can be seen as a logical presentation of non-idempotent intersection types extended through the relational semantics to the full linear logic. We introduce an…

We prove that every finitary polynomial endofunctor of a category $C$ has a final coalgebra if $C$ is locally Cartesian closed, has finite disjoint coproducts and a natural number object. More generally, we prove that the category of…