linearly distributive category in nLab
linearly distributive category in nLab
A linearly distributive category is a category with two monoidal structures ⊗ \otimes (“times”) and ⅋ \invamp (“par”) that “distribute”
A poset viewed as a category is distributive iff it is a distributive lattice. Accordingly, non distributive lattices provide instances of ...
nForum - linearly distributive category - nLab
The "$\ast$-autonomous nucleus" of a linearly distributive category uses "linear functors", whereas the free linearly distributive category on a polycategory ...
Linear logic and linearly distributive categories - MathOverflow
Roughly, linearly distributive categories axiomatize multiplicative linear logic in terms of tensor and par, as opposed to tensor and negation.
A linear category is a category enriched over Vect, and similarly a linear functor is a functor enriched over Vect.
Linear logic and linearly distributive categories - Math Stack Exchange
Linearly distributive categories are the models of the fragment of linear logic consisting of the two connectors ⊗, ⅋ and the two ...
distributivity for monoidal structures in nLab
A distributive category has finite products and coproducts (hence is both cartesian and cocartesian monoidal), and the former distribute over ...
Distributive monoidal categories - Mathematics Stack Exchange
2. In the nLab article you link, you can go to the bottom and find the reference Multitensors and monads on categories of enriched graphs by ...
star-autonomous category in nLab
it is a linearly distributive category in which all objects have “duals” in an appropriate linearly distributive sense. it is a semantics for ...
Linear bicategories with one object coincide with the deloopings of (non-symmetric) linearly distributive categories. Any allegory whose hom- ...
An Introduction to Linearly Distributive Categories
LDCs are categories with two tensor products linked by coherent linear (or weak) distributors. The significance of this theoretical development stems from many ...
Ordinary linear logic has semantics in polycategories, linearly distributive categories ... A linearly distributive category satisfies the binary ...
Ideal Distributors - Younesse Kaddar
of its compact elements [Sco82], and the category of Scott domains and linear maps forms a model ... category of distributive categories. This.
nLab - More General Discussion | The n-Category Café
But “distributor” in the sense of profunctor: I don't see how it is similarly witness to distributivity. ... linear groupoid representations as ...
Reference on internal categories and externalization - MathOverflow
The nlab has a stub on externalization (more details are available ... Linear logic and linearly distributive categories · Question feed ...
Introduction To Locally Posetal and Linear Bicategories - Calgary
... nLab. We'll just look at one simple case. Definition. Let B be ... A linearly distributive category with negation is a linearly distributive.
Mathematical Entities: Corpora and Benchmarks
The concept of algebra is given as an adjunction with invertible counit. Thus we maintain that the notion of linear-distributive category (which ...
Be Careful with Duoidal Coherence. Monoidal categories possess a ...
deduction and coherence for weakly distributive categories. Journal of. Pure ... Coherence theorem for monoidal categories (nlab entry), section 3 ...
distributive monoidal category in nLab
A distributive monoidal category is a monoidal category whose tensor product distributes over coproducts. 2. Definition. A distributive monoidal ...
dmarx/nlab_feb24 · Datasets at Hugging Face
If an $\ast$-autonomous category has a linear exponential comonad $!$ one can derive a ? ... ## Basic notions {#BasicCatNotions} * [[nLab:homotopy category of an ...