Linearly distributive functors

1999/11/01 by J.R.B. Cockett, R.A.G. Seely, R. A. G. Seely · 3 citations
Computer Science · Mathematics · #Logic, programming, and type systems #Homotopy and Cohomology in Algebraic Topology #Logic, Reasoning, and Knowledge

paper · doi:10.1016/s0022-4049(98)00110-8

Citations

• Natural deduction and coherence for weakly distributive categories

Cited by

• Graphical Methods for Tannaka Duality of Weak Bialgebras and Weak Hopf Algebras in Arbitrary Braided Monoidal Categories
• What Separable Frobenius Monoidal Functors Preserve
• Cartesian Linearly Distributive Categories: Revisited