Follow

Wrote a new chapter of the Category Theory book - Orders.

This is just part one, part two is coming soon(ish).

boris-marinov.github.io/catego

· · Web · 1 · 2 · 3

@borko Just a quick remark: your definition of a maximum is different from the one that is usually used in mathematics: Usually, an element is called a maximum if there exst no strictly larger element. So in the given example, both the red element and the green element would be considered maxima. (In a lattice, both concepts of a maximum agree.)

Sign in to participate in the conversation
Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!