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