HSP type theorems in the category of posets

DOI10.1007/3-540-55511-0_11zbMath1518.18006MaRDI QIDQ6116573

Michael Barr

Publication date: 16 August 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Partial orders, general (06A06) Semantics in the theory of computing (68Q55) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Cites Work

• Functorial semantics and HSP type theorems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: HSP type theorems in the category of posets