Showing math.CTShow all
2 papers · 1 filter
math.CT2026
Duality theory for categorical theories
Lingyuan Ye
We have generalised the notion of categorical theory in model theory to the context of coherent theories. We prove a duality result between the full sub-2-category of pretopoi whic…
math.CT2026
The Synthetic SierpiÅski Cone
Fredrik Bakke, Jonathan Sterling, Mark Damuni Williams +1
In domains, categories, and toposes, the SierpiÅski cone construction glues onto a space a universal closed point lying below all the other points. Although this is a lax colimit,…