It looks like you're new here. If you want to get involved, click one of these buttons!

- All Categories 2.3K
- Chat 498
- Study Groups 16
- Petri Nets 7
- Epidemiology 3
- Leaf Modeling 1
- Review Sections 9
- MIT 2020: Programming with Categories 52
- MIT 2020: Lectures 21
- MIT 2020: Exercises 25
- MIT 2019: Applied Category Theory 339
- MIT 2019: Lectures 79
- MIT 2019: Exercises 149
- MIT 2019: Chat 50
- UCR ACT Seminar 4
- General 65
- Azimuth Code Project 110
- Statistical methods 2
- Drafts 2
- Math Syntax Demos 15
- Wiki - Latest Changes 3
- Strategy 113
- Azimuth Project 1.1K
- - Spam 1
- News and Information 147
- Azimuth Blog 149
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 707

Options

We can make any set \(X\) into a poset where we say \(x \leq y\) if and only if \(x = y\). A poset of this form is called the **discrete** poset.

Show that monotone maps between discrete posets are just functions.

## Comments

Monotone maps are functions by definition. I'm not sure what this exercise was really asking.

`Monotone maps are functions by definition. I'm not sure what this exercise was really asking.`

I think the exercise is getting at the issue that there is no monotonic relation that needs to be preserved by the mapping, hence it is "just" a function.

`I think the exercise is getting at the issue that there is no monotonic relation that needs to be preserved by the mapping, hence it is "just" a function.`

Let \(P, Q\) be discrete preorders, and let \(f : P \to Q\) be a function. Let \(x, y \in P\), and suppose \(x \le y\); then \(x = y\), since \(P\) is a discrete preorder. So \(f(x) = f(y)\), hence \(f(x) \le f(y)\). Therefore, \(f\) is a monotone map.

Notice that we didn't actually use the fact that \(Q\) is a discrete preorder. Thus, any function out of a discrete preorder (to an arbitrary preorder) is a monotone map.

`Let \\(P, Q\\) be discrete preorders, and let \\(f : P \to Q\\) be a function. Let \\(x, y \in P\\), and suppose \\(x \le y\\); then \\(x = y\\), since \\(P\\) is a discrete preorder. So \\(f(x) = f(y)\\), hence \\(f(x) \le f(y)\\). Therefore, \\(f\\) is a monotone map. Notice that we didn't actually use the fact that \\(Q\\) is a discrete preorder. Thus, any function out of a discrete preorder (to an arbitrary preorder) is a monotone map.`

When a mathematician says "monotone maps between discrete posets are

justfunctions", they mean thateveryfunction between discrete posets is a monotone map.This is much stronger than saying "monotone maps between discrete posets are functions", which is also true, but boring. The word

justchanges everything.But Jonathan is right: we can say even more. Remember, for any set \(X\):

Setting \(x \leq y\) if and only if \(x = y\) gives you a preorder on \(X\) called the

discretepreorder.Setting \(x \leq y \) for all \(x,y \in X\) gives you a preorder on \(X\) called the

codiscretepreorder.Any function from a discrete preorder to any preorder is a monotone map. Similarly, any function from any preorder to a codiscrete preorder is a monotone map!

`When a mathematician says "monotone maps between discrete posets are _just_ functions", they mean that _every_ function between discrete posets is a monotone map. This is much stronger than saying "monotone maps between discrete posets are functions", which is also true, but boring. The word _just_ changes everything. But Jonathan is right: we can say even more. Remember, for any set \\(X\\): 1. Setting \\(x \leq y\\) if and only if \\(x = y\\) gives you a preorder on \\(X\\) called the **discrete** preorder. 2. Setting \\(x \leq y \\) for all \\(x,y \in X\\) gives you a preorder on \\(X\\) called the **codiscrete** preorder. Any function from a discrete preorder to any preorder is a monotone map. Similarly, any function from any preorder to a codiscrete preorder is a monotone map!`

John wrote:

Why is this preorder called "codiscrete"? In what sense is it dual to the discrete preorder?

Usually to obtain the dual of a category we reverse its arrows; but for the discrete preorder, reversing the inequalities should still give a discrete preorder.

`[John](https://forum.azimuthproject.org/profile/17/John%20Baez) wrote: > Setting \\(x \leq y \\) for all \\(x,y \in X\\) gives you a preorder on \\(X\\) called the **codiscrete** preorder. Why is this preorder called "codiscrete"? In what sense is it dual to the discrete preorder? Usually to obtain the dual of a category we reverse its arrows; but for the discrete preorder, reversing the inequalities should still give a discrete preorder.`

I assume it has something to do with this:

I'd love to hear what the reason is well!

`I assume it has something to do with this: > Any function from a discrete preorder to any preorder is a monotone map. Similarly, any function from any preorder to a codiscrete preorder is a monotone map! I'd love to hear what the reason is well!`