Finitary Functors: From Set to Preord and Poset

DOI10.1007/978-3-642-22944-2_7zbMath1343.18001MaRDI QIDQ3090863

Alexander Kurz, Adriana Balan

Publication date: 2 September 2011

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22944-2_7

zbMATH Keywords

simulation; lifting; embedding; extension; relator; exact square; (final) coalgebra

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

68Q65: Abstract data types; algebraic specification

18A22: Special properties of functors (faithful, full, etc.)

18B35: Preorders, orders, domains and lattices (viewed as categories)

18B05: Categories of sets, characterizations