projects / coq-categories.git / summary
? search:
summary | shortlog | log | commit | commitdiff | tree

 
descriptionformalization of basic category theory in Coq
owner
last changeSun, 24 Apr 2011 07:00:24 +0000 (00:00 -0700)
URLhttp://git.megacz.com/coq-categories.git
shortlog
2011-04-24 Adam Megaczadd inverse form of ni_commutes master commit | commitdiff | tree | snapshot
2011-04-11 Adam Megaczadd MonoidalFullSubcategory_Monoidal commit | commitdiff | tree | snapshot
2011-04-11 Adam MegaczFullSubcategoryInclusionFunctor for a monoidal subcateg... commit | commitdiff | tree | snapshot
2011-04-11 Adam Megaczadd FullSubcategoryInclusionFunctor commit | commitdiff | tree | snapshot
2011-04-11 Adam Megaczmake EBinoidalCat action-on-objects a parameter instead... commit | commitdiff | tree | snapshot
2011-04-10 Adam Megaczadd natural-iso form of RestrictToImage_splits commit | commitdiff | tree | snapshot
2011-04-09 Adam MegaczFreydCategories: add strictness requirement for unit... commit | commitdiff | tree | snapshot
2011-04-09 Adam MegaczIsomorphisms: add alternative forms, useful for rewriting commit | commitdiff | tree | snapshot
2011-04-09 Adam Megaczadd functor_comp_assoc commit | commitdiff | tree | snapshot
2011-04-09 Adam Megaczadd a notation for composition of isomorphisms commit | commitdiff | tree | snapshot
2011-04-09 Adam Megaczfinish implementation of PreMonoidalFullsubcategory commit | commitdiff | tree | snapshot
2011-04-09 Adam Megaczadd RestrictDomain commit | commitdiff | tree | snapshot
2011-04-09 Adam Megaczadd MonoidalNaturalIsomorphism, MonoidalEquivalence... commit | commitdiff | tree | snapshot
2011-04-06 Adam Megaczuncomment FullImage development commit | commitdiff | tree | snapshot
2011-04-06 Adam Megaczadd Notations.v commit | commitdiff | tree | snapshot
2011-04-06 Adam Megaczremove reliance on General.v commit | commitdiff | tree | snapshot
...
heads
13 years ago master shortlog | log | tree
formalization of basic category theory in Coq