../ Problems/ 17-May-2023 16:43 - figures/ 17-May-2023 16:43 - sections/ 17-May-2023 16:43 - svg-inkscape/ 17-May-2023 16:43 - Categorification.bib 17-May-2023 16:43 0 Categorification.html 17-May-2023 16:43 2872300 Categorification.md 17-May-2023 16:43 48692 Categorification.pdf 17-May-2023 16:43 1984642 Categorification.tex 17-May-2023 16:43 58092 Makefile 17-May-2023 16:43 2404 data.md 17-May-2023 16:43 478