You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
John Baez (Mar 12 2024 at 18:06):Has anyone here looked at this book?
Any comments about it?
Evan Patterson (Mar 12 2024 at 18:25):Wow, it's 800 pages! (I had not previously seen it.)
Notification Bot (Mar 12 2024 at 19:32):This topic was moved here from #theory: category theory > higher-order rewriting by Morgan Rogers (he/him).
Amar Hadzihasanovic (Mar 13 2024 at 08:08):I saw this on the arXiv announcements but I was a bit misled by the title -- I thought it would be about “higher-order rewriting” as in “rewriting functional expressions”, but instead it does seem to be about a particular flavour of “higher-dimensional rewriting”.
My first impression is that the level of detail is a bit exhausting (there's about 25 pages devoted to a proof that the “single-set” definition of n-category is equivalent to the “globular set” definition, which in a paper would be acceptable as a single-paragraph remark). But I will try to get through to the main ideas.