├── .gitignore ├── .latexmkrc ├── README.md ├── adjunctions.tex ├── cat.sty ├── categories.tex ├── category_of_monads.tex ├── category_of_sets.tex ├── em.tex ├── functors.tex ├── hask.sty ├── introduction.tex ├── kleisli.tex ├── lambdax.sty ├── limits.tex ├── monad_def.tex ├── monads.tex ├── my.sty ├── natural_transformations.tex ├── out ├── out │ └── externalization.dummy ├── strapp.pdf └── strcat.pdf ├── preliminaries.tex ├── references.tex ├── refsetup.tex ├── regression.tex ├── representations.tex ├── strapp.tex ├── strcat.bib ├── strcat.tex ├── strd.sty ├── strdexternal.sty ├── strdproof.sty └── yoneda_lemma.tex /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/okomok/strcat/HEAD/.gitignore -------------------------------------------------------------------------------- /.latexmkrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/okomok/strcat/HEAD/.latexmkrc -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/okomok/strcat/HEAD/README.md -------------------------------------------------------------------------------- /adjunctions.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/okomok/strcat/HEAD/adjunctions.tex -------------------------------------------------------------------------------- /cat.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/okomok/strcat/HEAD/cat.sty -------------------------------------------------------------------------------- /categories.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/okomok/strcat/HEAD/categories.tex -------------------------------------------------------------------------------- /category_of_monads.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/okomok/strcat/HEAD/category_of_monads.tex -------------------------------------------------------------------------------- /category_of_sets.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/okomok/strcat/HEAD/category_of_sets.tex -------------------------------------------------------------------------------- /em.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/okomok/strcat/HEAD/em.tex -------------------------------------------------------------------------------- /functors.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/okomok/strcat/HEAD/functors.tex -------------------------------------------------------------------------------- /hask.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/okomok/strcat/HEAD/hask.sty -------------------------------------------------------------------------------- /introduction.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/okomok/strcat/HEAD/introduction.tex -------------------------------------------------------------------------------- /kleisli.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/okomok/strcat/HEAD/kleisli.tex -------------------------------------------------------------------------------- /lambdax.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/okomok/strcat/HEAD/lambdax.sty -------------------------------------------------------------------------------- /limits.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/okomok/strcat/HEAD/limits.tex -------------------------------------------------------------------------------- /monad_def.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/okomok/strcat/HEAD/monad_def.tex -------------------------------------------------------------------------------- /monads.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/okomok/strcat/HEAD/monads.tex -------------------------------------------------------------------------------- /my.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/okomok/strcat/HEAD/my.sty -------------------------------------------------------------------------------- /natural_transformations.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/okomok/strcat/HEAD/natural_transformations.tex -------------------------------------------------------------------------------- /out/out/externalization.dummy: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /out/strapp.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/okomok/strcat/HEAD/out/strapp.pdf -------------------------------------------------------------------------------- /out/strcat.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/okomok/strcat/HEAD/out/strcat.pdf -------------------------------------------------------------------------------- /preliminaries.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/okomok/strcat/HEAD/preliminaries.tex -------------------------------------------------------------------------------- /references.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/okomok/strcat/HEAD/references.tex -------------------------------------------------------------------------------- /refsetup.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/okomok/strcat/HEAD/refsetup.tex -------------------------------------------------------------------------------- /regression.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/okomok/strcat/HEAD/regression.tex -------------------------------------------------------------------------------- /representations.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/okomok/strcat/HEAD/representations.tex -------------------------------------------------------------------------------- /strapp.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/okomok/strcat/HEAD/strapp.tex -------------------------------------------------------------------------------- /strcat.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/okomok/strcat/HEAD/strcat.bib -------------------------------------------------------------------------------- /strcat.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/okomok/strcat/HEAD/strcat.tex -------------------------------------------------------------------------------- /strd.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/okomok/strcat/HEAD/strd.sty -------------------------------------------------------------------------------- /strdexternal.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/okomok/strcat/HEAD/strdexternal.sty -------------------------------------------------------------------------------- /strdproof.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/okomok/strcat/HEAD/strdproof.sty -------------------------------------------------------------------------------- /yoneda_lemma.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/okomok/strcat/HEAD/yoneda_lemma.tex --------------------------------------------------------------------------------