TODO.md

• in debate/fallacies/proving-too-much.md, the conclusion could technically be a theorem with no corresponding fact, so the definition is inaccurate Removed truth and fact notions
• add extra diagrams to the hom-set sections in epimorphism.md and monomorphism.md Unnecessary
• define functor in diagram.md Done
• define covariance in functor.md Done
• rename precategories to "categories" and categories to "univalent categories" Done
• define "opposite category" Done
• change categories to use \mathcal Done
• change : to \colon where applicable Done
• finish the presheaf definition of a limit in limit.md
• define the category $\text{Typ}$ in univalent-category.md
• finish the "presheaves are colimits" section in presheaf.md
• define adjunctions and add references
• define free diagrams
• define functions, surjection, injection, bijection
• define strawmanning
• define straw-steelmanning