Floris van Doorn 8d376b93cd feat(category): split category.lean in different files; add more constructions and theorems about isos		2014-10-08 23:14:44 -07:00
..
basic.lean	feat(category): split category.lean in different files; add more constructions and theorems about isos	2014-10-08 23:14:44 -07:00
constructions.lean	feat(category): split category.lean in different files; add more constructions and theorems about isos	2014-10-08 23:14:44 -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(category): split category.lean in different files; add more constructions and theorems about isos	2014-10-08 23:14:44 -07:00
morphism.lean	feat(category): split category.lean in different files; add more constructions and theorems about isos	2014-10-08 23:14:44 -07:00
yoneda.lean	feat(category): split category.lean in different files; add more constructions and theorems about isos	2014-10-08 23:14:44 -07:00