Isomorphic objects in symmetric monoidal closed categories
From MaRDI portal
Publication:4379681
DOI10.1017/S0960129596002241zbMath0897.18004MaRDI QIDQ4379681
Publication date: 1 October 1998
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Foundations, relations to logic and deductive systems (18A15)
Related Items
Coherence in SMCCs and equivalences on derivations in IMML with unit, Identity of Proofs Based on Normalization and Generality, 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