lean2/library/algebra/category
2014-10-13 20:56:40 -07:00
..
adjoint.lean feat(frontends/lean): add '[]' notation for marking arguments where class-instance resolution should be applied 2014-10-12 13:06:00 -07:00
basic.lean feat(frontends/lean): add '[]' notation for marking arguments where class-instance resolution should be applied 2014-10-12 13:06:00 -07:00
constructions.lean feat(frontends/lean): add '[]' notation for marking arguments where class-instance resolution should be applied 2014-10-12 13:06:00 -07:00
default.lean feat(category): split category.lean in different files; add more constructions and theorems about isos 2014-10-08 23:14:44 -07:00
limit.lean feat(library/algebra/category): use variables instead of parameters 2014-10-11 16:40:18 -07:00
morphism.lean refactor(library/algebra/category/morphism): make sure bug has been fixed 2014-10-13 20:56:40 -07:00
yoneda.lean feat(library/algebra/category): use variables instead of parameters 2014-10-11 16:40:18 -07:00