Skip to content

Commit fd9cf7f

Browse files
feelings -> opinions in field guide
1 parent 1ef3902 commit fd9cf7f

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

_posts/2026-01-05-algebraist-field-guide.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ Mathematicians have constructed a small but diverse ecosystem of number systems,
1515
- Why don't more people talk about the [beautiful polynomial quotient construction of complex numbers](#4a-polynomial-quotient-my-favourite)? (Genuine question!)
1616
- Isn't everything just quotienting and universal properties at the end of the day? (Stopping before I have to start learning category theory.)
1717

18-
With that in mind, we'll walk through some standard ways of building the main number systems in this *field* guide -- from the ring $\mathbb{Z}$, through *fields* (haha) $\mathbb{Q}$, $\mathbb{R}$ and $\mathbb{C}$, to the division algebras $\mathbb{H}$ and $\mathbb{O}$ -- with a distinctive algebraic flavour, noting what each construction buys you and what it costs. Read this post at your level. The constructions are there if you want them -- the mathematician feelings are there if you don't. One attribution: this post benefited from conversations with an AI assistant who is very patient with algebraists.
18+
With that in mind, we'll walk through some standard ways of building the main number systems in this *field* guide -- from the ring $\mathbb{Z}$, through *fields* (haha) $\mathbb{Q}$, $\mathbb{R}$ and $\mathbb{C}$, to the division algebras $\mathbb{H}$ and $\mathbb{O}$ -- with a distinctive algebraic flavour, noting what each construction buys you and what it costs. Read this post at your level. The constructions are there if you want them -- the mathematician opinions are there if you don't. One attribution: this post benefited from conversations with an AI assistant who is very patient with algebraists.
1919

2020
Along the way, we'll pause to notice how different mathematicians tend to react as constructions are made and familiar rules begin to slip. Algebraists, analysts, geometers and category theorists value different kinds of structure, and tolerate different kinds of failure. We'll keep a playful eye on these reactions as we go -- with category theorists, as ever, remaining slightly off to one side. Let's first meet the main characters.
2121

@@ -123,7 +123,7 @@ Octonions push the pattern one step further. You lose associativity, intuition,
123123

124124
---
125125

126-
Now, let's dive into the constructions, one number system at a time. Read the following sections (numbered 1 to 6) at your level. The constructions are there if you want them -- the mathematician feelings are there if you don't.
126+
Now, let's dive into the constructions, one number system at a time. Read the following sections (numbered 1 to 6) at your level. The constructions are there if you want them -- the mathematician opinions are there if you don't.
127127

128128
## 1. The integers (ℤ)
129129

0 commit comments

Comments
 (0)