x

LESSWRONG
LW

Project outline: Intro to the Universal Property — LessWrong

You are viewing version 1.6.0 of this page. Click here to view the latest version.

Project outline: Intro to the Universal Property

Edited by Eric Rogstad, alexei, Patrick Stevens last updated 31st Dec 2016

You are viewing revision 1.6.0, last edited by Eric Rogstad

The idea of not caring about things except up to isomorphism.
- 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
- Set
- Finite_set
- Empty_set
- Union
- Set_disjoint_union
- Set_product

Show how the empty set can be described entirely by its universal property.
- Universal_property

Show how the union and product can be described entirely by their universal properties, up to isomorphism.

Introduce a specific poset category: 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 $N$ under the divisibility relation, we obtain the GCD and the LCM.
- A page (or two) about least_upper_bound and greatest_lower_bound

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

Arbital proposed project

2

2