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 354
- 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

Given preorders \(A\) and \(B\), let their **product** \(A \times B\) be the cartesian product of sets \(A\) and \(B\) made into a preorder as follows:

$$ (a,b) \le (a',b') \textrm{ if and only if } a \le a' \textrm{ and } b \le b' .$$ Draw the product of the two preorders drawn below:

## Comments

`<center> ![Product](https://docs.google.com/drawings/d/e/2PACX-1vSDPTMFV6q0bYV4ee-Khkg5_1f_5Kfv3dBj7Pc2NhqiT3b7PyGQexE87KbIqRfAdUf8N0iyM9hT9PE6/pub?w=282&h=280) </center>`

This is pretty fascinating to me. You can imagine acquiring the product by extruding \(A\) from \(B\). But it also works just as well by imagining extruding \(B\) from \(A\)!

It's like we're replacing every element in one preorder with a copy of the other preorder, and distributing edges of the original preorder through the copies.

Product constructions aren't particularly

newto me, but... There's something incredibly pleasant about a geometric explanation.`This is pretty fascinating to me. You can imagine acquiring the product by extruding \\(A\\) from \\(B\\). But it also works just as well by imagining extruding \\(B\\) from \\(A\\)! ![](https://i.imgur.com/iP02W2C.png) It's like we're replacing every element in one preorder with a copy of the other preorder, and distributing edges of the original preorder through the copies. Product constructions aren't particularly _new_ to me, but... There's something incredibly pleasant about a geometric explanation.`

Here's another image showing what I mean by "replacing every element". The outer edge "distributes" through the larger cells onto every analogous pair.

`Here's another image showing what I mean by "replacing every element". The outer edge "distributes" through the larger cells onto every analogous pair. ![](https://i.imgur.com/j9oGOC0.png)`

Nice illustrations @JonathanCastello . https://forum.azimuthproject.org/discussion/comment/17639/#Comment_17639 in particular shows commutivity of paths.

`Nice illustrations @JonathanCastello . https://forum.azimuthproject.org/discussion/comment/17639/#Comment_17639 in particular shows commutivity of paths.`