Linearly distributive functors
From MaRDI portal
Publication:1818630
DOI10.1016/S0022-4049(98)00110-8zbMath0946.18005MaRDI QIDQ1818630
R. A. G. Seely, J. Robin B. Cockett
Publication date: 10 October 2000
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
distributive categorycoherence conditionsmultiplicative fragment of linear logic\(^*\)-autonomous categories
Other nonclassical logic (03B60) Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Structure of proofs (03F07) Special properties of functors (faithful, full, etc.) (18A22) Actions of a monoidal category, tensorial strength (18D25)
Related Items (14)
Weak units, universal cells, and coherence via universality for bicategories ⋮ Semantics of higher-order quantum computation via geometry of interaction ⋮ On Hopf adjunctions, Hopf monads and Frobenius-type properties ⋮ Duals invert ⋮ Unnamed Item ⋮ Deep inference and probabilistic coherence spaces ⋮ Unnamed Item ⋮ A linear/producer/consumer model of classical linear logic ⋮ Traces for coalgebraic components ⋮ On categorical models of classical logic and the Geometry of Interaction ⋮ Unnamed Item ⋮ On traced monoidal closed categories ⋮ Dendriform algebras relative to a semigroup ⋮ Feedback for linearly distributive categories: Traces and fixpoints
This page was built for publication: Linearly distributive functors
