A directory to collect corpora obtained from textbooks in Category Theory. We have permission from Tom Leinster, Emily Riehl, and Rob Goldblatt to use their books for experiments extracting math concepts.
-
The first corpus uses 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.
-
Riehl's book "Category Theory in Context", was published in November 2016 by Dover Publications. Emily hosts a free PDF copy of her book here, see her page.
-
Goldblatt's book "Topoi: The Categorial Analysis of Logic" is available as an Internet edition in the Cornell University Library Historical Mathematics Monographs Collection, 2002; Dover Publications reprint, 2006; Downloadable as pdf from Project Euclid, 2014.
-
Harold Simmon's book, An Introduction to Category Theory, version from 2010, license not known.
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 using Parmesan
Linear Algebra Corpora
I intend to create a corpus for linear algebra based on open-source books. The first book was lightly processed by Deyan Ginev, a result from the Workshop Open-source cyberinfrastructure supporting mathematics research