On natural transformations of distinguished functors and their superpositions in certain closed categories
From MaRDI portal
Publication:579398
DOI10.1016/0022-4049(87)90061-2zbMath0625.18002OpenAlexW2040587708MaRDI QIDQ579398
Publication date: 1987
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-4049(87)90061-2
closed monoidal categorycompact closed category with biproductcompact closed monoidal categorydinatural transformationsymmetric monoidal closed categories
Related Items (4)
Natural deduction and coherence for weakly distributive categories ⋮ G-dinaturality. ⋮ Categorical interpretation of logical derivations and its applications in algebra ⋮ Linear logic, coherence and dinaturality
Cites Work
- Coherence for compact closed categories
- A generalization of the functorial calculus
- Coherence in closed categories
- Topology and logic as a source of algebra
- Coherence and non-commutative diagrams in closed categories
- Deductive systems and categories
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: On natural transformations of distinguished functors and their superpositions in certain closed categories