Marco Benini

Order (and small disorder)

In most textbooks, one finds that a category represents a preorder exactly when there is at most one arrow between any pair of objects. But, surprisingly, the same is told about partial orders!

In fact, both statements are correct. The key is in the word pair.

If pair means ordered pair, i.e., an element of the Cartesian product over the set of elements with itself, then the statement identifies exactly the categories representing preorders. But, when the word pair means a set composed by two elements, not necessarily distinct, then the statement identifies exactly the categories representing partial orders.

Ironically, to represent partial orders (which are “more ordered” than preorders), we must use a disordered notion of pair!

Leave a Reply

Please log in using one of these methods to post your comment:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

Information

This entry was posted on March 29, 2011 by in Category Theory, Mathematics, Topos Theory.
%d bloggers like this: