# 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)

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”)

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