The following pages link to Linearly distributive functors (Q1818630):
Displayed 14 items.
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- Deep inference and probabilistic coherence spaces (Q452333) (← links)
- Duals invert (Q633805) (← links)
- Dendriform algebras relative to a semigroup (Q784864) (← links)
- Feedback for linearly distributive categories: Traces and fixpoints (Q1588062) (← links)
- On Hopf adjunctions, Hopf monads and Frobenius-type properties (Q1701170) (← links)
- Traces for coalgebraic components (Q3005989) (← links)
- On traced monoidal closed categories (Q3625674) (← links)
- A linear/producer/consumer model of classical linear logic (Q4637629) (← links)
- (Q5015209) (← links)
- (Q5028428) (← links)
- (Q5089251) (← links)
- Weak units, universal cells, and coherence via universality for bicategories (Q5239844) (← links)
- On categorical models of classical logic and the Geometry of Interaction (Q5430139) (← links)