Hi! Welcome to the Applied Category Theory Course. I'm no longer giving lectures, but the resources are still available and you can still discuss the course here!

A good first step is to download a copy of the text:

Brendan Fong and David Spivak, Seven Sketches in Compositionality: An Invitation to Applied Category Theory.

You can then navigate the course using this page:

The most important thing is to read and discuss my Lectures and try to do the Exercises.

On Monday May 7th we'll start Chapter 2. There's also place for discussing Chapter 1 if you want to catch up.

This course will only be fun if you actively participate. You have to ask questions, answer puzzles, and do exercises from the book, to make progress. If you can answer other students' questions, do so. There are a lot of other smart people around to talk to! Go to Chat and meet some!

If you think you've found a mistake in the book, please report it here:

If it's really a mistake, Fong and Spivak will fix it!

Getting to Know Each Other

If you're new to the Azimuth Forum, please post a comment about your interests and background in the category Chat. We should all get to know each other.

Chat is a good place for more free-wheeling discussions. I think we're gonna have tons of fun. Some of us will wind up doing interesting projects together! I want to help save the planet, and this is one way to get started.

Writing math

You can write equations using MathJax, which is a limited version of LaTeX good for the web. For "displayed" equations, centered on the page, use double dollar signs: $$E = \sqrt{m^2 + p^2}$$ produces this: $$E = \sqrt{m^2 + p^2}$$ For "inline" equations, mixed in with your text, use this other method: \\(E = \sqrt{m^2 + p^2}\\) produces this: \(E = \sqrt{m^2 + p^2}\).

Questions

If you have questions or comments on the subject of the course that don't quite fit into any of the chapter discussions, you can start a new discussion in the category Applied Category Theory Course. If you have questions about how the Azimuth Forum works, start a discussion in the category Technical.

Be Nice

It's an inevitable feature of any discussion forum that some users become rude, bully others, try to take over conversations, or try to exploit the forum as a venue to promote irrelevant ideas. Anyone who becomes annoying in these or other ways will be blocked. So be polite, be friendly, and let's focus on the course material!

Let's Go!

Read the first lecture here!