Mitchell, Barry (1965), Theory of categories, Pure and applied mathematics, 17, Academic Press, ISBN 978-0-124-99250-4, MR0202787