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

- All Categories 2.2K
- Applied Category Theory Course 344
- Applied Category Theory Seminar 1
- Exercises 149
- Discussion Groups 48
- How to Use MathJax 15
- Chat 475
- Azimuth Code Project 108
- News and Information 145
- Azimuth Blog 148
- Azimuth Forum 29
- Azimuth Project 190
- - Strategy 109
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 708
- - Latest Changes 700
- - - Action 14
- - - Biodiversity 8
- - - Books 2
- - - Carbon 9
- - - Computational methods 38
- - - Climate 53
- - - Earth science 23
- - - Ecology 43
- - - Energy 29
- - - Experiments 30
- - - Geoengineering 0
- - - Mathematical methods 69
- - - Meta 9
- - - Methodology 16
- - - Natural resources 7
- - - Oceans 4
- - - Organizations 34
- - - People 6
- - - Publishing 4
- - - Reports 3
- - - Software 20
- - - Statistical methods 2
- - - Sustainability 4
- - - Things to do 2
- - - Visualisation 1
- General 39

Options

Today the workshop Applied Category Theory 2018 begins! Last night David Spivak, Bob Coecke, Jamie Vicary, Tom Leinster and others showed up at my hotel and we had a great chat. Now 60 people are listening to the welcoming address.

But the exercises must go on!

By the way, if you haven't downloaded a new copy of the book in the last week or so, you should, because David and Brendan updated it and the exercise numbers have changed:

Jerry Wedekind posted a fun exercise relating upper sets to maps between preorders:

Given a monotone function \(f: P \to Q\) between preorders, it asks you to study a certain monotone function

$$f^{*}: \mathcal{U}(Q) \to \mathcal{U}(P) $$ from the upper sets of \(Q\) to the upper sets of \(P\).

I explained upper sets here:

and Exercise 61 fits nicely into the big picture that Matthew Doty and I discussed there.

There are a couple of *new* exercises on meets and joins in the updated version of the book. These are good for beginners:

Please give us your answers, you beginners out there!

Here's one that's already been answered:

And here are some puzzles on adjoints. As we've seen, the **preimage** or **inverse image**

$$ f^{\ast}(S) = \{x \in X: f(x) \in S\} $$ gives a monotone function \(f^{\ast}: P(Y) \rightarrow P(X)\) that is the right adjoint of \(f_{!} : P(X) \to P(Y) \).

**Puzzle 20.** Does \(f^{\ast}: P(Y) \rightarrow P(X) \) have a right adjoint of its own?

**Puzzle 21.** If we give \(\mathbb{N}\) and \(\mathbb{R}\) their usual orderings, does the monotone function \(i : \mathbb{N} \to \mathbb{R}\) have a left adjoint? Does it have a right adjoint? If so, what are they?

For some answers to Puzzle 21, read here and here.

Can you find an efficient way to answer puzzles like Puzzles 20 and 21, where you're asked if some monotone function has a left or right adjoint?

## Comments

If I'm not mistaken, I think that \(f^{\ast}\) is the right adjoint of \(f_!\). I think this is the chain of adjunctions that relates the three functions induced by \(f\):

$$f_! \dashv f^{\ast} \dashv f_{\ast}.$$

`> \\(f^{\ast}: P(Y) \rightarrow P(X)\\) that is the right adjoint of \\(f_\{\ast} : P(X) \to P(Y) \\). If I'm not mistaken, I think that \\(f^{\ast}\\) is the right adjoint of \\(f_!\\). I think this is the chain of adjunctions that relates the three functions induced by \\(f\\): $$f_! \dashv f^{\ast} \dashv f_{\ast}.$$`

Dan - you're right. I'll fix that mistake.

Somewhere in our voluminous discussions we saw that the chain of adjunctions doesn't extend further in one direction unless \(f\) is specially nice. We should really check out the other direction... but I know the chain of adjunctions doesn't extend further in

eitherdirection unless \(f\) is especially nice. (If \(f\) is a bijection, it extends infinitely in both directions.)`Dan - you're right. I'll fix that mistake. Somewhere in our voluminous discussions we saw that the chain of adjunctions doesn't extend further in one direction unless \\(f\\) is specially nice. We should really check out the other direction... but I know the chain of adjunctions doesn't extend further in _either_ direction unless \\(f\\) is especially nice. (If \\(f\\) is a bijection, it extends infinitely in both directions.)`