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 323
- Applied Category Theory Exercises 149
- Applied Category Theory Discussion Groups 43
- Applied Category Theory Formula Examples 15
- Chat 468
- Azimuth Code Project 107
- News and Information 145
- Azimuth Blog 148
- Azimuth Forum 29
- Azimuth Project 190
- - Strategy 109
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 707
- - Latest Changes 699
- - - 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 38

Options

The basic laws of arithmetic, like \(a \times (b + c) = a\times b + a \times c\), are secretly laws of set theory. But they apply not only to sets, but to many other structures!

Emily Riehl explained this in Eugenia Cheng's recent "Categories for All" session at a meeting of the Mathematical Association of America. Check out her slides:

- Emily Riehl, Categorifying cardinal arithmetic, MAA MathFest, August 4, 2018

To hear her discuss this argument, and math in general, listen to her episode of *My Favorite Theorem*:

- Evelyn Lamb, Emily Riehl's favorite theorem,
*Scientific American*, May 24, 2018.

Her proof that \(a \times (b + c) = a\times b + a\times c\) involves three facts about the category of sets:

It has

**binary coproducts**(the disjoint union \(A + B\) of two sets).It has

**binary products**(the cartesian product \(A \times B\) of two sets).It is

**Cartesian closed**(there's a set \(\mathrm{Fun}(A,B)\) of functions from \(A\) to \(B\)).

The defining property of the coproduct \(A + B\) is that a function from \(A+B\) to any set \(X\) is 'the same as' a function from \(A\) to \(X\) together with a function from \(B\) to \(X\).

The defining property of the product \(A \times B\) is that a function from any set \(X\) to \(A+B\) is the same as a function from \(X\) to \(A\) together with a function from \(X\) to \(B\).

The defining property of \(\mathrm{Fun}(A,B)\) is that a function from any set \(X\) to \(\mathrm{Fun}(A,B)\) is the same as a function from \(A \times X\) to \(B\). This change of viewpoint is called **currying**, and Riehl uses it twice in her proof.

She calls the defining property of \(+\) 'pairing', and she uses that twice too. I would call this **copairing**, but she wisely decided that sounds too technical.

Her proof actually never uses the defining property of \(\times\), which I would call **pairing**.

Her argument works for any category that has the necessary properties! For example, the category of topological spaces and continuous maps. But it's nice to see that lurking inside grade-school arithmetic there is an introduction to category theory.

## Comments

This is great proof but I can't help noticing that the argument

doesn'twork inTopbecause it's not cartesian closed. Nevertheless the result holds. Now I'm wondering why!`This is great proof but I can't help noticing that the argument *doesn't* work in **Top** because it's not cartesian closed. Nevertheless the result holds. Now I'm wondering why!`

Hmm, it was pretty dumb of me to give the example of topological spaces: these days, algebraic topologists usually tweak the category \(\mathbf{Top}\) to get a 'convenient category' of topological spaces that

iscartesian closed. I was just trying to grab ahold of some obvious category where \(\times\) distributes over \(+\). I should have taken something like the category of graphs.I don't know a beautiful formal explanation for why \(\times\) distributes over \(+\) in \(\mathbf{Top}\).

`Hmm, it was pretty dumb of me to give the example of topological spaces: these days, algebraic topologists usually tweak the category \\(\mathbf{Top}\\) to get a ['convenient category'](https://ncatlab.org/nlab/show/convenient+category+of+topological+spaces) of topological spaces that _is_ cartesian closed. I was just trying to grab ahold of some obvious category where \\(\times\\) distributes over \\(+\\). I should have taken something like the category of graphs. I don't know a beautiful formal explanation for why \\(\times\\) distributes over \\(+\\) in \\(\mathbf{Top}\\).`

Here's something that's been on my mind for the past month, but haven't had the opportunity to ask, can we categorify the zero-product property?

\[ x \times y = 0 \Leftrightarrow a =0 \lor b =0 \]

`Here's something that's been on my mind for the past month, but haven't had the opportunity to ask, can we categorify the zero-product property? \\[ x \times y = 0 \Leftrightarrow a =0 \lor b =0 \\]`

Also, the zero-property rule also works for equations and inequalities.

For instance the equation

\[ 0 = x^2 + y^2 -1 \]

and

\[ 0 = |x+y|+|x-y|-2 \]

can be combined to give,

\[ 0 = (x^2 + y^2 -1)(|x+y|+|x-y|-2). \]

`Also, the zero-property rule also works for equations and inequalities. For instance the equation \\[ 0 = x^2 + y^2 -1 \\] and \\[ 0 = |x+y|+|x-y|-2 \\] can be combined to give, \\[ 0 = (x^2 + y^2 -1)(|x+y|+|x-y|-2). \\]`

Interesting question, Keith! I guess we can look for categories where a product \(x \times y\) is initial iff either \(x\) or \(y\) is initial:

$$ x \times y \cong 0 \quad \iff \quad x \cong 0\textrm{ or } y \cong 0. $$ Examples include the category of sets and the category of topological spaces. Counterexamples include the category of vector spaces and the category of abelian groups.

Either implication here seems somewhat interesting, because 'initial object' is a colimit and 'product' is a limit, and generally limits and colimits don't play well together without extra conditions. The backwards equation \( \Leftarrow \) is true in any cartesian closed category, I believe, since then \(x \times -\) is a left adjoint, so it preserves colimits.

The concept of 'strict initial object' seems relevant:

`Interesting question, Keith! I guess we can look for categories where a product \\(x \times y\\) is initial iff either \\(x\\) or \\(y\\) is initial: \[ x \times y \cong 0 \quad \iff \quad x \cong 0\textrm{ or } y \cong 0. \] Examples include the category of sets and the category of topological spaces. Counterexamples include the category of vector spaces and the category of abelian groups. Either implication here seems somewhat interesting, because 'initial object' is a colimit and 'product' is a limit, and generally limits and colimits don't play well together without extra conditions. The backwards equation \\( \Leftarrow \\) is true in any cartesian closed category, I believe, since then \\(x \times -\\) is a left adjoint, so it preserves colimits. The concept of 'strict initial object' seems relevant: * nLab, [Strict initial object](https://ncatlab.org/nlab/show/initial+object#Strict).`

If we can transform any two functions \(f,g : x \to y\), where \(f(x) =y\) and \(g(x)=y\), into standard form \((y-f(x))=0\) and \((y-g(x))=0\), and then those two standard forms combined via the zero-product property, \((y-f(x)) \times (y-g(x)) = 0\), can we do the same with sets?

For instance, given sets \(X\) and \(Y\), and two function \(f,g : X \to Y\), can we create a 'standard form' for the function of sets, \((Y \setminus f(X)) \cong \varnothing\) and \((Y \setminus g(X)) \cong \varnothing\), and then can we combine the two 'standard forms' via the zero-Cartesian product property, \((Y \setminus f(X)) \times (Y \setminus g(X)) \cong \varnothing\)?

`If we can transform any two functions \\(f,g : x \to y\\), where \\(f(x) =y\\) and \\(g(x)=y\\), into standard form \\((y-f(x))=0\\) and \\((y-g(x))=0\\), and then those two standard forms combined via the zero-product property, \\((y-f(x)) \times (y-g(x)) = 0\\), can we do the same with sets? For instance, given sets \\(X\\) and \\(Y\\), and two function \\(f,g : X \to Y\\), can we create a 'standard form' for the function of sets, \\((Y \setminus f(X)) \cong \varnothing\\) and \\((Y \setminus g(X)) \cong \varnothing\\), and then can we combine the two 'standard forms' via the zero-Cartesian product property, \\((Y \setminus f(X)) \times (Y \setminus g(X)) \cong \varnothing\\)?`

Are you using \(f \colon x \to y \) to mean that \(f\) is a function with \(f(x) = y\)? Nobody does that. We write \(f \colon x \mapsto y \) for this purpose.

The reason is that \(f \colon x \to y\) means that \(f \) is a function from the set \(x\) to the set \(y\). Admittedly it's unconventional to use lower-case letters as names for sets, but if you write \(f \colon x \to y\) and tell me \(f\) is a function, I have to conclude it's a function from the set \(x\) to the set \(y\).

Anyway, sorry to nitpick, but my brain is melting from strange notation before I even get to the actual question. I think the answer is "no".

`Are you using \\(f \colon x \to y \\) to mean that \\(f\\) is a function with \\(f(x) = y\\)? Nobody does that. We write \\(f \colon x \mapsto y \\) for this purpose. The reason is that \\(f \colon x \to y\\) means that \\(f \\) is a function from the set \\(x\\) to the set \\(y\\). Admittedly it's unconventional to use lower-case letters as names for sets, but if you write \\(f \colon x \to y\\) and tell me \\(f\\) is a function, I have to conclude it's a function from the set \\(x\\) to the set \\(y\\). Anyway, sorry to nitpick, but my brain is melting from strange notation before I even get to the actual question. I think the answer is "no".`