Australian Category Seminar

Ultraproducts, ultraspans and ultracategories

Richard Garnerยท2 August 2017

We build a bicategory involving ultraproducts, and find ourselves unable to resist enriching over it. The resultant structures appear to have some relation with Makkai's Stone duality for first-order logic

Back