Commit 2020-06-25 13:06 80a08778

View on Github →

feat(category_theory): show a pullback of a regular mono is regular (#2780) And adds two methods for constructing limits which I've found much easier to use in practice.

Estimated changes