projects / coq-categories.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
add inverse form of ni_commutes
[coq-categories.git] / src / FreydCategories.v
2011-04-09 Adam MegaczFreydCategories: add strictness requirement for unit... commit | commitdiff
2011-04-06 Adam Megaczadd Notations.v commit | commitdiff
2011-04-06 Adam Megaczremove reliance on General.v commit | commitdiff
2011-04-05 Adam Megaczfix miscompilation errors introduced by recent changes commit | commitdiff
2011-04-04 Adam Megaczmajor revision: separate Subcategory into {Wide,Full... commit | commitdiff
2011-04-03 Adam Megaczmajor revision: MonoidalCat is now a subclass of PreMon... commit | commitdiff
2011-03-25 Adam Megaczfix Freyd Categories commit | commitdiff
2011-03-22 Adam Megaczmake the codomain of the FreydCategory functor a parame... commit | commitdiff
2011-03-21 Adam Megaczadd formalization of Arrows and Freyd Categories commit | commitdiff
formalization of basic category theory in Coq