git.megacz.com Git - coq-categories.git/search

2011-03-25	Adam Megacz	base CartesianCat on MonoidalCat, not PreMonoidalCat	commit \| commitdiff \| tree
2011-03-25	Adam Megacz	update imports in EquivalentCategories	commit \| commitdiff \| tree
2011-03-25	Adam Megacz	remove CategoryOfCategories, which isnt ready yet	commit \| commitdiff \| tree
2011-03-22	Adam Megacz	make the codomain of the FreydCategory functor a parameter...	commit \| commitdiff \| tree
2011-03-21	Adam Megacz	add formalization of Arrows and Freyd Categories	commit \| commitdiff \| tree
2011-03-21	Adam Megacz	rename General/Preamble to avoid conflict with ghc...	commit \| commitdiff \| tree

formalization of basic category theory in Coq