projects
/
coq-categories.git
/ summary
commit
grep
author
committer
pickaxe
?
search:
re
summary |
shortlog
|
log
|
commit
|
commitdiff
|
tree
description
formalization of basic category theory in Coq
owner
last change
Sun, 24 Apr 2011 07:00:24 +0000
(
00:00
-0700)
URL
http://git.megacz.com/coq-categories.git
shortlog
2011-04-24
Adam Megacz
add inverse form of ni_commutes
master
commit
|
commitdiff
|
tree
|
snapshot
2011-04-11
Adam Megacz
add MonoidalFullSubcategory_Monoidal
commit
|
commitdiff
|
tree
|
snapshot
2011-04-11
Adam Megacz
FullSubcategoryInclusionFunctor for a monoidal subcateg...
commit
|
commitdiff
|
tree
|
snapshot
2011-04-11
Adam Megacz
add FullSubcategoryInclusionFunctor
commit
|
commitdiff
|
tree
|
snapshot
2011-04-11
Adam Megacz
make EBinoidalCat action-on-objects a parameter instead...
commit
|
commitdiff
|
tree
|
snapshot
2011-04-10
Adam Megacz
add natural-iso form of RestrictToImage_splits
commit
|
commitdiff
|
tree
|
snapshot
2011-04-09
Adam Megacz
FreydCategories: add strictness requirement for unit...
commit
|
commitdiff
|
tree
|
snapshot
2011-04-09
Adam Megacz
Isomorphisms: add alternative forms, useful for rewriting
commit
|
commitdiff
|
tree
|
snapshot
2011-04-09
Adam Megacz
add functor_comp_assoc
commit
|
commitdiff
|
tree
|
snapshot
2011-04-09
Adam Megacz
add a notation for composition of isomorphisms
commit
|
commitdiff
|
tree
|
snapshot
2011-04-09
Adam Megacz
finish implementation of PreMonoidalFullsubcategory
commit
|
commitdiff
|
tree
|
snapshot
2011-04-09
Adam Megacz
add RestrictDomain
commit
|
commitdiff
|
tree
|
snapshot
2011-04-09
Adam Megacz
add MonoidalNaturalIsomorphism, MonoidalEquivalence...
commit
|
commitdiff
|
tree
|
snapshot
2011-04-06
Adam Megacz
uncomment FullImage development
commit
|
commitdiff
|
tree
|
snapshot
2011-04-06
Adam Megacz
add Notations.v
commit
|
commitdiff
|
tree
|
snapshot
2011-04-06
Adam Megacz
remove reliance on General.v
commit
|
commitdiff
|
tree
|
snapshot
...
heads
13 years ago
master
shortlog
|
log
|
tree