category-theory/chapter-1/.gitignore