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.