index
:
juan/tfg-cat-theory.git
main
Guía de teoría de categorías
Juan Marín Noguera
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
present
/
fig
Mode
Name
Size
-rw-r--r--
cat-assoc.svg
13838
log
plain
-rw-r--r--
cat-assoc.tex
472
log
plain
-rw-r--r--
cat-ident.svg
11765
log
plain
-rw-r--r--
cat-ident.tex
506
log
plain
-rwxr-xr-x
convert.sh
63
log
plain
-rw-r--r--
couniversal.svg
12123
log
plain
-rw-r--r--
couniversal.tex
540
log
plain
-rw-r--r--
front.svg
33169
log
plain
-rw-r--r--
front.tex
1195
log
plain
-rw-r--r--
head.tex
3640
log
plain
-rw-r--r--
monad_data.svg
9054
log
plain
-rw-r--r--
monad_data.tex
495
log
plain
-rw-r--r--
monad_data_adj.svg
13966
log
plain
-rw-r--r--
monad_data_adj.tex
550
log
plain
-rw-r--r--
monad_data_pow.svg
22426
log
plain
-rw-r--r--
monad_data_pow.tex
594
log
plain
-rw-r--r--
monad_unit.svg
11628
log
plain
-rw-r--r--
monad_unit.tex
595
log
plain
-rw-r--r--
monad_unita_adj.svg
14509
log
plain
-rw-r--r--
monad_unita_adj.tex
586
log
plain
-rw-r--r--
monad_unita_pow.svg
16128
log
plain
-rw-r--r--
monad_unita_pow.tex
499
log
plain
-rw-r--r--
monad_unitb_pow.svg
22273
log
plain
-rw-r--r--
monad_unitb_pow.tex
483
log
plain
-rw-r--r--
natural.svg
15724
log
plain
-rw-r--r--
natural.tex
568
log
plain
-rw-r--r--
universal.svg
12798
log
plain
-rw-r--r--
universal.tex
532
log
plain