projects / coq-categories.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
coq-categories.git
2011-03-26 Adam Megaczfix typo commit | commitdiff | tree | snapshot
2011-03-26 Adam Megaczadd Retraction, SMME, make Enrichment a parameter commit | commitdiff | tree | snapshot
2011-03-25 Adam Megaczadd func_diagonal, fix naturality for DiagonalCat commit | commitdiff | tree | snapshot
2011-03-25 Adam Megaczfix Freyd Categories commit | commitdiff | tree | snapshot
2011-03-25 Adam Megaczfix naturality conditions on braided and diagonal categ... commit | commitdiff | tree | snapshot
2011-03-25 Adam Megaczbase CartesianCat on MonoidalCat, not PreMonoidalCat commit | commitdiff | tree | snapshot
2011-03-25 Adam Megaczupdate imports in EquivalentCategories commit | commitdiff | tree | snapshot
2011-03-25 Adam Megaczremove CategoryOfCategories, which isnt ready yet commit | commitdiff | tree | snapshot
2011-03-22 Adam Megaczmake the codomain of the FreydCategory functor a parame... commit | commitdiff | tree | snapshot
2011-03-21 Adam Megaczadd formalization of Arrows and Freyd Categories commit | commitdiff | tree | snapshot
2011-03-21 Adam Megaczrename General/Preamble to avoid conflict with ghc... commit | commitdiff | tree | snapshot
2011-03-11 Adam Megaczinitial checkin of coq-categories library commit | commitdiff | tree | snapshot
formalization of basic category theory in Coq