projects
/
coq-categories.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
history
|
HEAD
|
snapshot
add proof of MacLane_ex_VII_1_1
[coq-categories.git]
/
src
/
drwxr-xr-x
..
-rw-r--r--
1938
Adjoints_ch9.v
blob
|
history
|
raw
-rw-r--r--
11386
Algebras_ch4.v
blob
|
history
|
raw
-rw-r--r--
45211
Arrows.v
blob
|
history
|
raw
-rw-r--r--
1798
BinoidalCategories.v
blob
|
history
|
raw
-rw-r--r--
3820
Categories_ch1_3.v
blob
|
history
|
raw
-rw-r--r--
335
CoEqualizers_ch3_4.v
blob
|
history
|
raw
-rw-r--r--
2208
Coherence_ch7_8.v
blob
|
history
|
raw
-rw-r--r--
17270
Enrichment_ch2_8.v
blob
|
history
|
raw
-rw-r--r--
1876
EpicMonic_ch2_1.v
blob
|
history
|
raw
-rw-r--r--
335
Equalizers_ch3_3.v
blob
|
history
|
raw
-rw-r--r--
809
EquivalentCategories_ch7_8.v
blob
|
history
|
raw
-rw-r--r--
218
Exponentials_ch6.v
blob
|
history
|
raw
-rw-r--r--
280
FreydAFT_ch9_8.v
blob
|
history
|
raw
-rw-r--r--
1785
FreydCategories.v
blob
|
history
|
raw
-rw-r--r--
3756
FunctorCategories_ch7_7.v
blob
|
history
|
raw
-rw-r--r--
5034
Functors_ch1_4.v
blob
|
history
|
raw
-rw-r--r--
2106
InitialTerminal_ch2_2.v
blob
|
history
|
raw
-rw-r--r--
4331
Isomorphisms_ch1_5.v
blob
|
history
|
raw
-rw-r--r--
276
KanExtension_ch9_6.v
blob
|
history
|
raw
-rw-r--r--
378
LCCCs_ch9_7.v
blob
|
history
|
raw
-rw-r--r--
1528
Main.v
blob
|
history
|
raw
-rw-r--r--
280
Monads_ch10.v
blob
|
history
|
raw
-rw-r--r--
6830
MonoidalCategories_ch7_8.v
blob
|
history
|
raw
-rw-r--r--
9611
NaturalIsomorphisms_ch7_5.v
blob
|
history
|
raw
-rw-r--r--
280
NaturalNumbersObject_ch9_8.v
blob
|
history
|
raw
-rw-r--r--
1855
NaturalTransformations_ch7_4.v
blob
|
history
|
raw
-rw-r--r--
3265
OppositeCategories_ch1_6_2.v
blob
|
history
|
raw
-rw-r--r--
31734
PreMonoidalCategories.v
blob
|
history
|
raw
-rw-r--r--
10031
PreMonoidalCenter.v
blob
|
history
|
raw
-rw-r--r--
280
Presheaves_ch9_7.v
blob
|
history
|
raw
-rw-r--r--
8074
ProductCategories_ch1_6_1.v
blob
|
history
|
raw
-rw-r--r--
5852
RepresentableStructure_ch7_2.v
blob
|
history
|
raw
-rw-r--r--
2625
SectionRetract_ch2_4.v
blob
|
history
|
raw
-rw-r--r--
2360
SliceCategories_ch1_6_4.v
blob
|
history
|
raw
-rw-r--r--
16677
Subcategories_ch7_1.v
blob
|
history
|
raw
-rw-r--r--
373
Yoneda_ch8.v
blob
|
history
|
raw