projects
/
coq-categories.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
history
|
HEAD
|
snapshot
remove reliance on General.v
[coq-categories.git]
/
src
/
drwxr-xr-x
..
-rw-r--r--
1938
Adjoints_ch9.v
blob
|
history
|
raw
-rw-r--r--
11366
Algebras_ch4.v
blob
|
history
|
raw
-rw-r--r--
1798
BinoidalCategories.v
blob
|
history
|
raw
-rw-r--r--
3796
Categories_ch1_3.v
blob
|
history
|
raw
-rw-r--r--
311
CoEqualizers_ch3_4.v
blob
|
history
|
raw
-rw-r--r--
2184
Coherence_ch7_8.v
blob
|
history
|
raw
-rw-r--r--
17291
Enrichment_ch2_8.v
blob
|
history
|
raw
-rw-r--r--
1852
EpicMonic_ch2_1.v
blob
|
history
|
raw
-rw-r--r--
311
Equalizers_ch3_3.v
blob
|
history
|
raw
-rw-r--r--
785
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--
1774
FreydCategories.v
blob
|
history
|
raw
-rw-r--r--
3756
FunctorCategories_ch7_7.v
blob
|
history
|
raw
-rw-r--r--
5010
Functors_ch1_4.v
blob
|
history
|
raw
-rw-r--r--
2106
InitialTerminal_ch2_2.v
blob
|
history
|
raw
-rw-r--r--
4307
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--
1504
Main.v
blob
|
history
|
raw
-rw-r--r--
280
Monads_ch10.v
blob
|
history
|
raw
-rw-r--r--
6871
MonoidalCategories_ch7_8.v
blob
|
history
|
raw
-rw-r--r--
10453
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--
30483
PreMonoidalCategories.v
blob
|
history
|
raw
-rw-r--r--
12139
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--
2661
SectionRetract_ch2_4.v
blob
|
history
|
raw
-rw-r--r--
2360
SliceCategories_ch1_6_4.v
blob
|
history
|
raw
-rw-r--r--
16687
Subcategories_ch7_1.v
blob
|
history
|
raw
-rw-r--r--
373
Yoneda_ch8.v
blob
|
history
|
raw