A directory to collect corpora obtained from textbooks in Category Theory.
The first corpus is Leinster's book "Basic Category Theory". Tom Leinster's book is CC 4.0 BY in the arxiv. Adding both pdf and tex source from https://arxiv.org/format/1612.09375
Harold Simmons book, "An Introduction to Category Theory", version from 2010. license not known, available from https://dl.icdst.org/pdfs/files3/589bdb0ed138159a2b3e5ccb4268a9f9.pdf
See the corpus of TAC (Theory and Applications of Categories) at https://github.com/ToposInstitute/tac-corpus and the nLab corpus (circa 2020) at https://github.com/ToposInstitute/nlab-corpus.
The TAC corpus, the BCT corpus, and the nLab corpus can be searched and browsed at Parmesan http://www.jacobcollard.com/parmesan2/
I intend to create a corpus for linear algebra based on open-source books. The first book (lightly processed by Deyan Ginev) can be found at https://drive.google.com/drive/u/0/folders/1PTbDmPmuIYSHp3F5QEhZ6jeX84W69iwl result from the Workshop "Open-source cyberinfrastructure supporting mathematics research" (https://aimath.org/pastworkshops/cyberinfrastructure.html)