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.
In the table after
Then these arrange into the following progression…
you have $id$ in the bottom row. I’d change it myself, but you may be working on it offline. I imagine this table may be copied in from elsewhere.
Also
$\Re \;\coloneqq\; \iota_{sup} \iota_{inf} \circ \Pi_{inf}Pi_{sup}$
and
$\rightsquigarrow \;\coloneqq\; Disc_{sup} \circ \Pi_{sup}$
Again, these may be repeated elsewhere.
Thanks for spotting these! All fixed now.
Yes, this is spin-off material of the lecture notes geometry of physics – categories and toposes (where it is, currently, the last section here). I have fixed it there now, too. Thanks again.
1 to 4 of 4