Hi! Welcome to the **[Applied Category Theory Course](https://johncarlosbaez.wordpress.com/2018/03/26/seven-sketches-in-compositionality/)**. 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](http://math.mit.edu/~dspivak/teaching/sp18/7Sketches.pdf)_.

* [[Applied Category Theory]].

The most important thing is to read and discuss my [Lectures](http://www.azimuthproject.org/azimuth/show/Applied+Category+Theory#Course) and try to do the [Exercises](http://www.azimuthproject.org/azimuth/show/Applied+Category+Theory#Exercises).

On Monday May 7th we'll start [Chapter 2](https://forum.azimuthproject.org/discussion/2073/chapter-2). There's also place for discussing [Chapter 1](https://forum.azimuthproject.org/discussion/1718/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](https://forum.azimuthproject.org/categories/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**

[Chat](https://forum.azimuthproject.org/categories/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](http://www.azimuthproject.org/azimuth/show/HomePage), and this is one way to get started.

**Writing math**

You can write equations using [MathJax](http://docs.mathjax.org/en/latest/start.html), 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](https://forum.azimuthproject.org/categories/applied-category-theory-course). If you have questions about how the Azimuth Forum works, start a discussion in the category [Technical](https://forum.azimuthproject.org/categories/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!**