Isomorphic objects in symmetric monoidal closed categories

DOI10.1017/S0960129596002241MaRDI QIDQ4379681zbMATH OpenFDO

Authors Kosta Došen, Zoran Petrić

Publication date 1 October 1998

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129596002241

zbMATH Keywords

isomorphism of objectsisomorphism of typessymmetric monoidal closed categories

Mathematics Subject Classification ID

Foundations, relations to logic and deductive systems (18A15) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Recommendations

• Cartesian isomorphisms are symmetric monoidal: A justification of linear logic
• Isomorphic formulae in classical propositional logic
• Provable isomorphisms of types
• scientific article; zbMATH DE number 2134910
• The symmetric monoidal closed category of cpo M-sets

Cited in

(9)

• Coherence in SMCCs and equivalences on derivations in IMML with unit
• Remarks on isomorphisms in typed lambda calculi with empty and sum types
• Coherence for star-autonomous categories
• Isomorphic formulae in classical propositional logic
• Automorphisms of types in certain type theories and representation of finite groups
• Cartesian isomorphisms are symmetric monoidal: A justification of linear logic
• Identity of Proofs Based on Normalization and Generality
• Inner automorphisms of presheaves of groups
• Type isomorphisms for multiplicative-additive linear logic

This page was built for publication: Isomorphic objects in symmetric monoidal closed categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4379681)