Recall the notion of a unitary pre-tabular allegory. Bicategories of relations are equivalent, but this has yet to be shown rigorously, as far as I’m aware.
Let be a unitary pre-tabular allegory.
Lemma
If and are maps, then
Proof
Let . Then and , by the modular law and the fact that projections tabulate top elements. So if and only if it is a map.
For the unit inequality, we have
The second equality follows from distributivity , which is an equality because .
Revision on October 31, 2012 at 21:43:31 by
Finn Lawler?.
See the history of this page for a list of all contributions to it.