Boolean Algebras and Stone Maps in Schröder Categories
From MaRDI portal
Publication:3498419
DOI10.1007/978-3-540-78913-0_20zbMath1139.06006OpenAlexW1608579899MaRDI QIDQ3498419
Publication date: 15 May 2008
Published in: Relations and Kleene Algebra in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-78913-0_20
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Cites Work
- Partiality. I: Embedding relation algebras
- Monomorphic characterization of \(n\)-ary direct products
- Relations and Kleene algebra in computer science. 9th international conference on relational methods in computer science and 4th international workshop on applications of Kleene algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006. Proceedings
- A representation theorem for Boolean contact algebras
- Formal Concepts in Dedekind Categories
- On the calculus of relations
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Boolean Algebras and Stone Maps in Schröder Categories