Def category_theory.forget
Modification history
2023-06-30 04:04
src/category_theory/concrete_category/basic.lean
chore(category_theory/concrete_category): reorder universes (#19222) …
Modified category_theory.forgetView on Github →2020-09-01 12:18
src/category_theory/concrete_category/basic.lean
refactor(algebra/category/*, category_theory/concrete_category): generalize universes for concrete categories (#3687) …
Modified category_theory.forgetView on Github →2020-04-02 08:17
src/category_theory/concrete_category/basic.lean
chore(category_theory/concrete_category): take an instance, rather than extending, category (#2195) …
Modified category_theory.forgetView on Github →2019-09-19 02:38
src/category_theory/concrete_category.lean
refactor(category_theory): refactor concrete categories (#1380) …
Modified category_theory.forgetView on Github →2019-06-11 19:10
src/category_theory/concrete_category.lean
fix(category_theory): simplifying universes (#1122)
Modified category_theory.forgetView on Github →2019-04-01 16:13
src/category_theory/concrete_category.lean
feat(category_theory): working in Sort rather than Type (#824)
Modified category_theory.forgetView on Github →2019-01-27 22:42
src/category_theory/concrete_category.lean
refactor(category_theory/concrete_category): move `bundled` to own file
Modified category_theory.forgetView on Github →2018-11-08 10:16
category_theory/types.lean
feat(category_theory): propose removing coercions from category_theory/ (#463)
Modified category_theory.forgetView on Github →