Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I stumbled across some slides where Michael Prest seems to be getting category theory and model theory to interact in interesting ways. The final slides describes (anti-)equivalences between three 2-categories. There should be some good things to extract by the smart people around here.
Mike has been doing this for some time. I was an examiner of a thesis of one of his students working on related ideas some time ago.
1 to 2 of 2