It looks like you're new here. If you want to get involved, click one of these buttons!
I'm a software developer with a background in philosophy and computer science. I became interested in Category Theory a few years ago because I liked the elegant looking diagrams, but I really became hooked when I understood what a pullback was. My primary references have been Schanuel and Lawvere (2009) and Awodey (2006). My main goal with this course is to build a wider repertoire of examples that I can use to ground my intuitions that have been floating around since I began. I'm also really interested in toposes and categorical logic (I'm not sure if any of that will be covered in the course, but it's fascinating to me).