Basic Category Theory (Cambridge Studies in Advanced Mathematics, Series Number 143) Tom Leinster