Basic concepts of enriched category theory / - Kelly, G. M. (Cambridge University Press,, 1982)