PR #18204 feat(category_theory): Internal categories

feat(category_theory): Internal categories #18204

z-murray wants to merge 7 commits into master from internal_categories

feat(category_theory/limits/shapes/pullbacks): Helpers for universal …

ccc256ef

feat(category_theory): Internal categories, functors, and natural tra…

7d9df50f

Formatting

88084f7a

Documentation for natural transformations

d1312d76

Removed internal_nat_trans_struct

df4f12d2

Additional documentation for internal functors

670f3acf

Additional documentation for internal categories

41879a16

z-murray added help-wanted

z-murray added WIP

z-murray requested a review 2 years ago

kim-em added too-late

kim-em removed review request 2 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

help-wanted WIP too-late

Milestone

No milestone