├── .gitignore ├── CoqMakefile ├── LICENSE ├── Makefile ├── README.md ├── _CoqProject ├── doc ├── 1.def.md ├── 2.important_cat.md ├── 3.cat_of_cat.md ├── 4.sub_and_slice.md ├── 5.1.iso.md ├── 5.2.terminal.md ├── 5.3.generalized_elements.md ├── 5.4.mono.md ├── 5.5.example.md ├── 6.0.functor_cat.md ├── 6.1.structured_set.md └── 6.2.yoneda.md └── src ├── Ch17_2.v ├── Ch2.v ├── Ch3.v ├── Ch4.v ├── Ch5.v ├── Ch6.v ├── Lib.v └── Respects.v /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choukh/CategoryTheory/HEAD/.gitignore -------------------------------------------------------------------------------- /CoqMakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choukh/CategoryTheory/HEAD/CoqMakefile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choukh/CategoryTheory/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choukh/CategoryTheory/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choukh/CategoryTheory/HEAD/README.md -------------------------------------------------------------------------------- /_CoqProject: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choukh/CategoryTheory/HEAD/_CoqProject -------------------------------------------------------------------------------- /doc/1.def.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choukh/CategoryTheory/HEAD/doc/1.def.md -------------------------------------------------------------------------------- /doc/2.important_cat.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choukh/CategoryTheory/HEAD/doc/2.important_cat.md -------------------------------------------------------------------------------- /doc/3.cat_of_cat.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choukh/CategoryTheory/HEAD/doc/3.cat_of_cat.md -------------------------------------------------------------------------------- /doc/4.sub_and_slice.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choukh/CategoryTheory/HEAD/doc/4.sub_and_slice.md -------------------------------------------------------------------------------- /doc/5.1.iso.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choukh/CategoryTheory/HEAD/doc/5.1.iso.md -------------------------------------------------------------------------------- /doc/5.2.terminal.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choukh/CategoryTheory/HEAD/doc/5.2.terminal.md -------------------------------------------------------------------------------- /doc/5.3.generalized_elements.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choukh/CategoryTheory/HEAD/doc/5.3.generalized_elements.md -------------------------------------------------------------------------------- /doc/5.4.mono.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choukh/CategoryTheory/HEAD/doc/5.4.mono.md -------------------------------------------------------------------------------- /doc/5.5.example.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choukh/CategoryTheory/HEAD/doc/5.5.example.md -------------------------------------------------------------------------------- /doc/6.0.functor_cat.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choukh/CategoryTheory/HEAD/doc/6.0.functor_cat.md -------------------------------------------------------------------------------- /doc/6.1.structured_set.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choukh/CategoryTheory/HEAD/doc/6.1.structured_set.md -------------------------------------------------------------------------------- /doc/6.2.yoneda.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choukh/CategoryTheory/HEAD/doc/6.2.yoneda.md -------------------------------------------------------------------------------- /src/Ch17_2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choukh/CategoryTheory/HEAD/src/Ch17_2.v -------------------------------------------------------------------------------- /src/Ch2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choukh/CategoryTheory/HEAD/src/Ch2.v -------------------------------------------------------------------------------- /src/Ch3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choukh/CategoryTheory/HEAD/src/Ch3.v -------------------------------------------------------------------------------- /src/Ch4.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choukh/CategoryTheory/HEAD/src/Ch4.v -------------------------------------------------------------------------------- /src/Ch5.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choukh/CategoryTheory/HEAD/src/Ch5.v -------------------------------------------------------------------------------- /src/Ch6.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choukh/CategoryTheory/HEAD/src/Ch6.v -------------------------------------------------------------------------------- /src/Lib.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choukh/CategoryTheory/HEAD/src/Lib.v -------------------------------------------------------------------------------- /src/Respects.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choukh/CategoryTheory/HEAD/src/Respects.v --------------------------------------------------------------------------------