projects
/
coq-categories.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
history
|
HEAD
|
snapshot
rename RepresentableFunctor to HomFunctor
[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--
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--
17793
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--
767
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--
1588
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--
17093
General.v-
blob
|
history
|
raw
-rw-r--r--
1096
InitialTerminal_ch2_2.v
blob
|
history
|
raw
-rw-r--r--
3864
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--
1439
Main.v
blob
|
history
|
raw
-rw-r--r--
280
Monads_ch10.v
blob
|
history
|
raw
-rw-r--r--
21811
MonoidalCategories_ch7_8.v
blob
|
history
|
raw
-rw-r--r--
10091
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--
8389
Preamble.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--
7551
RepresentableStructure_ch7_2.v
blob
|
history
|
raw
-rw-r--r--
2092
SectionRetract_ch2_4.v
blob
|
history
|
raw
-rw-r--r--
2360
SliceCategories_ch1_6_4.v
blob
|
history
|
raw
-rw-r--r--
12914
Subcategories_ch7_1.v
blob
|
history
|
raw
-rw-r--r--
373
Yoneda_ch8.v
blob
|
history
|
raw