Related papers: Bicartesian Coherence Revisited

It is proved that every prevariety of algebras is categorically equivalent to a "prevariety of logic", i.e., to the equivalent algebraic semantics of some sentential deductive system. This allows us to show that no nontrivial equation in…

In the modern Bayesian view classical probability theory is simply an extension of conventional logic, i.e., a quantitative tool that allows for consistent reasoning in the presence of uncertainty. Classical theory presupposes, however,…

We prove a bicategorical analogue of Quillen's Theorem A. As an application, we deduce the well-known result that a pseudofunctor is a biequivalence if and only if it is essentially surjective on objects, essentially full on 1-cells, and…

The Hecke category is bigraded. For completeness, we classify gradings on the Hecke category. We also classify object-preserving autoequivalences.

We propose a general method to construct new triangulated categories, relative stable categories, as additive quotients of a given one. This construction enhances results of Beligiannis, particularly in the tensor-triangular setting. We…

The reasoning with qualitative uncertainty measures involves comparative statements about events in terms of their likeliness without necessarily assigning an exact numerical value to these events. The paper is divided into two parts. In…

We discuss the question when a finite-dimensional diffeological vector space is, or turns out not to be, the coproduct of its subspaces in the category of diffeological vector spaces, after reviewing the same question in some other…

The basic ingredients of the consistent histories approach to quantum mechanics are the space of histories and the space of decoherence functionals. In this work we extend the classification theorem for decoherence functionals proven by…

We present a logical and algebraic description of right adjoint functors between generalized quasi-varieties, inspired by the work of McKenzie on category equivalence. This result is achieved by developing a correspondence between the…

Univalent categories constitute a well-behaved and useful notion of category in univalent foundations. The notion of univalence has subsequently been generalized to bicategories and other structures in (higher) category theory. Here, we…

There is a well-known equivalence between avoiding accuracy dominance and having probabilistically coherent credences (see, e.g., de Finetti 1974, Joyce 2009, Predd et al. 2009, Schervish et al. 2009, Pettigrew 2016). However, this…

In this survey, we present in a unified way the categorical and syntactical settings of coherent differentiation introduced recently, which shows that the basic ideas of differential linear logic and of the differential lambda-calculus are…

Thirty years ago, I introduced a non-commutative variant of classical linear logic, called "pomset logic", issued from a particular categorical interpretation of linear logic known as coherence spaces. In addition to the usual commutative…

The structure of the category of matroids and strong maps is investigated: it has coproducts and equalizers, but not products or coequalizers; there are functors from the categories of graphs and vector spaces, the latter being faithful;…

In this paper, we present a propositional sequent calculus containing disjoint copies of classical and intuitionistic logics. We prove a cut-elimination theorem and we establish a relation between this system and linear logic.

In this work, we conclude our study of fibred $\infty$-bicategories by providing a Grothendieck construction in this setting. Given a scaled simplicial set $S$ (which need not be fibrant) we construct a 2-categorical version of Lurie's…

We specialise a recently introduced notion of generalised dinaturality for functors $T : (\mathcal{C}^\text{op})^p \times \mathcal{C}^q \to \mathcal{D}$ to the case where the domain (resp., codomain) is constant, obtaining notions of ends…

Everyone knows that if you have a bivariant homology theory satisfying a base change formula, you get an representation of a category of correspondences. For theories in which the covariant and contravariant transfer maps are in mutual…

We study representations of wreath product analogues of categories of finite sets. This includes the category of finite sets and injections (studied by Church, Ellenberg, and Farb) and the opposite of the category of finite sets and…

Estimating the coefficient functionals on various classes of holomorphic functions traditionally forms an important field of geometric complex analysis and its mathematical and physical applications. These coefficients reflect fundamental…