In troduction to category theory - Krishnan V. Sankrithi (New York North-Holland, 1981)