limit): limit cones in arrow categories (#7457)

Commit

4 years ago

feat(category_theory/arrow/limit): limit cones in arrow categories (#7457) Co-authored-by: Bryan Gin-ge Chen <bryangingechen@gmail.com>

Author

jcommelin

Parents