In this lecture, I’ll give a bit of an overview of what we will be doing this semester, and in particular how it will differ from . We will start in earnest with the rudiments of category theory in the next lecture. Hopefully document content to meet the needs of learning, work effectively.