It looks like you're new here. If you want to get involved, click one of these buttons!
Hi ! I'm a recent PhD graduate & current postdoc, working on the certification of database engines using the Coq theorem prover. I've been interested in category theory ever since my undergraduate studies in mathematics, though I've never actually directly applied it to any project I've worked on. With respect to my background: I've read S.Awodey's & B.Pierce's books and, every now and then, posts from n-Category Cafe & B.Milewski's blog. It's wonderful to have the opportunity to participate in an open course with so many interested people and I hope I'll be able to keep up with the pace ! Thank you for the great initiative :)