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 355
- Applied Category Theory Seminar 4
- Exercises 149
- Discussion Groups 49
- How to Use MathJax 15
- Chat 480
- Azimuth Code Project 108
- News and Information 145
- Azimuth Blog 149
- Azimuth Forum 29
- Azimuth Project 189
- - Strategy 108
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 711
- - Latest Changes 701
- - - 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 21
- - - Statistical methods 2
- - - Sustainability 4
- - - Things to do 2
- - - Visualisation 1
- General 39

Options

A thread for general comments or suggestions on my series of picture posts for John's 2018 Applied category theory course.

Some feedback I'd particularly welcome:

**Errors.**I made various mistakes while putting these together. I think everything's correct now, but please let me know of any false statements.**Use of images.**I tried to size the images and the fonts so that it would look roughly the same as a post on the forums. Since images are totally inflexible, some problems may arise. Is the font size large enough to read clearly? Are the images unpleasant to use, e.g. on mobile? Is being locked into the white background I chose really irritating?**Narrowness.**All my intuition on this material so far comes from finite sets. If the things I say are incomplete, misleading, or incorrect in the wider world of orders, I appreciate being corrected. Similarly, much of the stuff I wrote may only be true for posets, not preorders, which again may mean that my focus was in the wrong places.

It's a hassle to update the images, but I do want to fix any problems if possible.

## Comments

These are great! I feel like I'm getting a better intuition for everything from taking another pass over the material with your picture posts. I'm excited to see what you might turn out for the later chapters :)

For what it's worth, I especially liked your exploration of the relation \({\trianglelefteq} \subseteq P \times Q\). I thought that really brought a new angle on what Galois connections are made of.

`These are great! I feel like I'm getting a better intuition for everything from taking another pass over the material with your picture posts. I'm excited to see what you might turn out for the later chapters :) For what it's worth, I especially liked your exploration of the relation \\({\trianglelefteq} \subseteq P \times Q\\). I thought that really brought a new angle on what Galois connections are made of.`

Thanks Jonathan! I was kind of worried about including that relation. It grew into quite a large detour, and I didn't want the amount of text to discourage anyone from continuing to the last post, which is my favorite of the series.

I did want to see how uniformly I could treat the monotonicity and adjunction conditions, so I included it anyway. It may not be that practical, but I'm glad to know someone besides me found it interesting.

`Thanks Jonathan! I was kind of worried about including that relation. It grew into quite a large detour, and I didn't want the amount of text to discourage anyone from continuing to the last post, which is my favorite of the series. I did want to see how uniformly I could treat the monotonicity and adjunction conditions, so I included it anyway. It may not be that practical, but I'm glad to know someone besides me found it interesting.`

Pete these look great! Thanks for making them.

`Pete these look great! Thanks for making them.`

I'm doing the same as Jonathan. Very helpful to someone whose mathematical education is insufficient for a class like this.

Thanks again, Pete!

`I'm doing the same as [Jonathan](https://forum.azimuthproject.org/discussion/comment/18618/#Comment_18618). Very helpful to someone whose mathematical education is insufficient for a class like this. Thanks again, Pete!`

Thank you Pete! I started late and your pictures were of great help in understanding adjoints. Especially the visual representation on placing isomorphic elements on top of each other or having hatched arrow to differenciate left adjoints from right adjoints was great!

`Thank you Pete! I started late and your pictures were of great help in understanding adjoints. Especially the visual representation on placing isomorphic elements on top of each other or having hatched arrow to differenciate left adjoints from right adjoints was great!`