# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeJun 27th 2018

am beginning something here. not done yet, but I need to save and preview, and hence to announce…

• CommentRowNumber2.
• CommentAuthorDavid_Corfield
• CommentTimeJun 27th 2018

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.

• CommentRowNumber3.
• CommentAuthorDavid_Corfield
• CommentTimeJun 27th 2018

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.

• CommentRowNumber4.
• CommentAuthorUrs
• CommentTimeJun 27th 2018
• (edited Jun 27th 2018)

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.