projects / coq-categories.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
base CartesianCat on MonoidalCat, not PreMonoidalCat
[coq-categories.git] / src /
2011-03-25 Adam Megaczbase CartesianCat on MonoidalCat, not PreMonoidalCat tree | commitdiff
2011-03-25 Adam Megaczupdate imports in EquivalentCategories tree | commitdiff
2011-03-25 Adam Megaczremove CategoryOfCategories, which isnt ready yet tree | commitdiff
2011-03-22 Adam Megaczmake the codomain of the FreydCategory functor a parame... tree | commitdiff
2011-03-21 Adam Megaczadd formalization of Arrows and Freyd Categories tree | commitdiff
2011-03-21 Adam Megaczrename General/Preamble to avoid conflict with ghc... tree | commitdiff
2011-03-11 Adam Megaczinitial checkin of coq-categories library tree | commitdiff
formalization of basic category theory in Coq