Jakob on Nostr: Lombardi-Quitté's *Commutative Algebra: Constructive Methods* is a great book, but I ...
Lombardi-Quitté's *Commutative Algebra: Constructive Methods* is a great book, but I wish they had opted for a slightly less concrete and more abstract POV… I guess there are two kinds of people interested in constructive mathematics – the hardcore abstract people from type theory and (higher) category theory and the rather concrete people interested in concrete computations and algorithms. I feel like I'm somewhere in the middle.
Published at
2026-01-15 17:41:28 UTCEvent JSON
{
"id": "9c21b7289c627543fdf66a52b93817dae2cb0b4ce824dd5701a9be5baf100c2a",
"pubkey": "eaea88d91f76773d93fe0f189b5f5f62f9647c2f72d92783fae135e7738e6cb9",
"created_at": 1768498888,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/jdw/statuses/115900343128153171",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "Lombardi-Quitté's *Commutative Algebra: Constructive Methods* is a great book, but I wish they had opted for a slightly less concrete and more abstract POV… I guess there are two kinds of people interested in constructive mathematics – the hardcore abstract people from type theory and (higher) category theory and the rather concrete people interested in concrete computations and algorithms. I feel like I'm somewhere in the middle.",
"sig": "f4b748e4ad6f0f5343c8f7f3db541626acc8aed890f3f2f380eedb9f307cf6e2bdd65ee50a6ea20aeaf03c983033a0e60622cc386443b41c0e5b96e1a7bf6a75"
}
