Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-12-18 00:51 293ba83f

View on Github →

feat(category_theory/examples/topological_spaces): limits and colimits (#518)

Estimated changes

Modified category_theory/category.lean

Modified category_theory/examples/topological_spaces.lean

added def category_theory.examples.Top.colimit

added def category_theory.examples.Top.colimit_is_colimit

added def category_theory.examples.Top.limit

added def category_theory.examples.Top.limit_is_limit

Modified category_theory/limits/limits.lean

added def category_theory.limits.is_colimit.of_faithful

added def category_theory.limits.is_limit.of_faithful

Modified category_theory/types.lean