Morita Equivalence

The notion of Morita equivalence, ubiquitous in mathematics and even logic, is a family of simultaneously loosely and closely related equivalences. Broadly speaking, Morita equivalent ’theories’ have same category of ‘models’.

Some algebraic examples are:

Now for geometry, one usually replaces the notion of “module” by a manifold that is acted upon by a groupoid action.

We also have Morita equivalence for algebraic theories, etc.

[Under Construction]