Morphism axioms

DOI10.1016/j.tcs.2017.07.006zbMath1373.03132OpenAlexW4205514396MaRDI QIDQ2402279

Florian Rabe

Publication date: 7 September 2017

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2017.07.006

zbMATH Keywords

logicspecificationmodels and their morphismstheory morphisms

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30)

Related Items

Structure-preserving diagram operators

Uses Software

• Coq
• Isabelle
• SageMath
• CASL
• OBJ3

Cites Work

• Functorial semantics of first-order views
• Isabelle. A generic theorem prover
• Institution-independent model theory
• How to identify, translate and combine logics?
• A framework for defining logics
• Institutions: abstract model theory for specification and programming
• TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism
• Unnamed Item
• Unnamed Item