We're going to feature whatever we choose as the current project on the front page, and I want to include some intro text. What do you think of the following (adapted from the first paragraph above):

Help us build an intuitive explanation of this fundamental concept in category theory!

Category theory is famously very difficult to understand, even for people with a relatively high level of mathematical maturity. With this project, we want to produce an explanation that will clearly communicate a core concept in category theory, the universal property, to a wide audience of learners.

See below for our current progress on the project, as well as how you can contribute.

## Comments

Patrick Stevens

Looks good to me!