Jakl, Tomáš
- Canonical extensions via fitted sublocales
2024/04/28 by Jakl, Tomáš, Suarez, Anna Laura · 3 citations
#Category Theory (math.CT) #FOS: Mathematics #General Topology (math.GN)
- A categorical perspective on constraint satisfaction: The wonderland of adjunctions
2025/03/13 by Hadek, Maximilian, Jakl, Tomáš, Opršal, Jakub · 2 citations
#Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO)