Broken links in documentation (category_theory)

[kevinsullivan]

Prerequisites

• [ X] Put an X between the brackets on this line if you have done all of the following:
  • Checked that your issue isn't already filed.
    • Specifically, check out the wishlist, open RFCs,
      or feature requests.
  • Reduced the issue to a self-contained, reproducible test case.

Description

Most of the hyperlinks on this page are broken: https://leanprover-community.github.io/theories/category_theory.html

Steps to Reproduce

1. Just try them.

Expected behavior: [What you expect to happen]

Not 404.

Actual behavior: [What actually happens]

Reproduces how often: [What percentage of the time does it reproduce?]

Reliably

Versions

Version 3 community, online.

Additional Information

Any additional information, configuration or data that might be necessary to reproduce the issue.

[gebner]

See also #262. We should probably do some link-checking during CI like we do for the undergrad topics, etc.