epicallan/category-theory-notes not found