From tool to object: full-fledged category theory

Abstract

There has been considerable internal development of CT from the beginning to the end of the period under consideration, often in interaction with the applications. While particular conceptual achievements often are mentioned in the context of the original applications in chapters 2–4, it is desirable to present also some diachronical, organized overview of these developments. This will be done in the present chapter. Some parts of this chapter have the character of a commented subject index ordered according to systematic criteria and hence are more appropriate for reference purposes than for direct reading; but others contain important bricks in the wall of my overall interpretation.