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