# 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 10th 2021
• (edited Jun 10th 2021)

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.

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)

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeJun 10th 2021

Also added pointer to

• William Lawvere, The Category of Categories as a Foundation for Mathematics, pp.1-20 in Eilenberg, Harrison, MacLane, Röhrl (eds.), Proceedings of the Conference on Categorical Algebra - La Jolla 1965, Springer Heidelberg 1966 (doi:10.1007/978-3-642-99902-4_1)
• CommentRowNumber3.
• CommentAuthorDavid_Corfield
• CommentTimeSep 11th 2021

Removing ’formal category theory’ as a redirect to this page as it deserves a page of its own.