Commit 2020-05-12 18:35 437fdaf8
View on Github →feat(category_theory/creates): creates limits => preserves limits (#2639)
Show that F preserves limits if it creates them and the target category has them.
feat(category_theory/creates): creates limits => preserves limits (#2639)
Show that F preserves limits if it creates them and the target category has them.