Project outline: Intro to the Universal Property
Category theory is famously very difficult to understand, even for people with a relatively high level of mathematical maturity. Universal properties are perhaps the easiest important theme of category theory.
With this project, we want to produce an explanation that will clearly communicate this core concept in category theory, the universal property, to a wide audience of learners.
This page is an outline for the project, the below links are to pages within its scope.
The idea of not caring about things except up to isomorphism.
The idea that we can describe objects based entirely on how they interact with other objects.
Introduce the category of finite sets, describing the empty set, disjoint union and product
Show how the union and product can be described entirely by their universal properties, up to isomorphism.
Introduce a specific poset category: \(\mathbb{N}\) with an arrow between \(a\) and \(b\) iff \(a\) divides \(b\). (Not sure about this one—maybe it already requires knowing what a category is?)
Describe the least upper bound and greatest lower bounds in a poset; in particular, in \(\mathbb{N}\) under the divisibility relation, we obtain the GCD and the LCM.
A page (or two) about poset least upper bound and greatest lower bound in a poset (these actually already exist! join and meet)
Describe the universal properties of the LUB and GLB; compare them with the union and coproduct.
Wrap up by explaining that this kind of property crops up all over the place.
Parents:
- Project proposal: Intro to the Universal Property
Proposal for one of the first Arbital Projects.
- Arbital proposed project
Collecting all project proposals under this page.
This page is an outline for the Universal Property project.
Progress on the project will be measured by tracking the state of the pages linked below, as they transition from redlinks to stubs, etc.