Applied functorial semantics. I

DOI10.1007/BF02415703zbMath0231.18009OpenAlexW4254513955MaRDI QIDQ2550443

F. E. J. Linton

Publication date: 1970

Published in: Annali di Matematica Pura ed Applicata. Serie Quarta (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02415703

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items

Unnamed Item ⋮ Unnamed Item ⋮ Structure-semantics relation for non-varietal equational theories ⋮ Examples of localizations ⋮ Categories ⋮ Duality in analysis from the point of view of triples

Cites Work

• Injective Boolean \(\sigma\)-algebras
• Autonomous categories and duality of functors
• Categorical algebra
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• The Full Imbedding Theorem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item