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.
Slighly adjusted the lead-in of this page: Added a line on what the book is actually about, and moved the line advertizing how great this is to after that.
Added the line:
The approach is echoed in Riehl & Verity 13 with Cat enhanced to the homotopy 2-category of (∞,1)-categories.
Also touched some wording further below (“is very difficult to read” $\mapsto$ “may be difficult to read”)
and added the missing cross-link with John Gray (1)
Finally, I made “formal category theory” a redirect to this page (this would deserve to point to a dedicated page, but as long as that doesn’t exit, it’s good to have it redirect here)
Also added pointer to
1 to 2 of 2