scientific article; zbMATH DE number 3384259
From MaRDI portal
Publication:5654208
zbMath0243.18017MaRDI QIDQ5654208
Publication date: 1972
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categorical structures (18D99) Categories and theories (18C99) Foundations, relations to logic and deductive systems (18A15)
Related Items (10)
Coherence in SMCCs and equivalences on derivations in IMML with unit ⋮ Unnamed Item ⋮ Proof of a conjecture of S. Mac Lane ⋮ Two-dimensional monad theory ⋮ Examples of non-monadic structures on categories ⋮ On categorical equivalence of Gentzen-style derivations in IMLL ⋮ Coherence for compact closed categories ⋮ Categorical interpretation of logical derivations and its applications in algebra ⋮ Categories ⋮ An Australian Conspectus of Higher Categories
This page was built for publication:
