projects
/
coq-categories.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
history
|
HEAD
|
snapshot
make EBinoidalCat action-on-objects a parameter instead of field
[coq-categories.git]
/
src
/
drwxr-xr-x
..
-rw-r--r--
1939
Adjoints_ch9.v
blob
|
history
|
raw
-rw-r--r--
11367
Algebras_ch4.v
blob
|
history
|
raw
-rw-r--r--
1799
BinoidalCategories.v
blob
|
history
|
raw
-rw-r--r--
3797
Categories_ch1_3.v
blob
|
history
|
raw
-rw-r--r--
312
CoEqualizers_ch3_4.v
blob
|
history
|
raw
-rw-r--r--
2185
Coherence_ch7_8.v
blob
|
history
|
raw
-rw-r--r--
17300
Enrichment_ch2_8.v
blob
|
history
|
raw
-rw-r--r--
1853
EpicMonic_ch2_1.v
blob
|
history
|
raw
-rw-r--r--
312
Equalizers_ch3_3.v
blob
|
history
|
raw
-rw-r--r--
786
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--
1754
FreydCategories.v
blob
|
history
|
raw
-rw-r--r--
3757
FunctorCategories_ch7_7.v
blob
|
history
|
raw
-rw-r--r--
5299
Functors_ch1_4.v
blob
|
history
|
raw
-rw-r--r--
2107
InitialTerminal_ch2_2.v
blob
|
history
|
raw
-rw-r--r--
5348
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--
1505
Main.v
blob
|
history
|
raw
-rw-r--r--
280
Monads_ch10.v
blob
|
history
|
raw
-rw-r--r--
8999
MonoidalCategories_ch7_8.v
blob
|
history
|
raw
-rw-r--r--
10454
NaturalIsomorphisms_ch7_5.v
blob
|
history
|
raw
-rw-r--r--
280
NaturalNumbersObject_ch9_8.v
blob
|
history
|
raw
-rw-r--r--
1856
NaturalTransformations_ch7_4.v
blob
|
history
|
raw
-rw-r--r--
5564
Notations.v
blob
|
history
|
raw
-rw-r--r--
3266
OppositeCategories_ch1_6_2.v
blob
|
history
|
raw
-rw-r--r--
35120
PreMonoidalCategories.v
blob
|
history
|
raw
-rw-r--r--
12140
PreMonoidalCenter.v
blob
|
history
|
raw
-rw-r--r--
280
Presheaves_ch9_7.v
blob
|
history
|
raw
-rw-r--r--
8075
ProductCategories_ch1_6_1.v
blob
|
history
|
raw
-rw-r--r--
5853
RepresentableStructure_ch7_2.v
blob
|
history
|
raw
-rw-r--r--
2662
SectionRetract_ch2_4.v
blob
|
history
|
raw
-rw-r--r--
2361
SliceCategories_ch1_6_4.v
blob
|
history
|
raw
-rw-r--r--
16050
Subcategories_ch7_1.v
blob
|
history
|
raw
-rw-r--r--
373
Yoneda_ch8.v
blob
|
history
|
raw