Welcome [golem.ph.utexas.edu]
Welcome ... name
Galois Theory | The n-Category Café - University of Texas at Austin
2024年8月15日 · Galois Theory Posted by Tom Leinster. I’ve just arXived my notes for Edinburgh’s undergraduate Galois theory course, which I taught from 2021 to 2023.. I first shared the notes on my website some time ago. But it took me a while to arXiv them, because I wanted to simultaneously make public most of the other course materials.
The n-Category Café - University of Texas at Austin
Previously: Part 7.Next: Part 9. By this point in the course, we’ve finished the delicate work of assembling all the customary set-theoretic apparatus from the axioms, and we’ve started proving major theorems.This week, we met well ordered sets and developed all the theory we’ll need. The main results were: every family of well ordered sets has a least member — informally, “the well ...
The n-Category Café - University of Texas at Austin
2024年10月26日 · The Octoberfest is a noble tradition in category theory: a low-key, friendly conference for researchers to share their work and thoughts. This year it’s on Saturday October 26th and Sunday October 27th. It’s being run by Rick Blute out of the University of Ottawa. However, the meeting is entirely virtual, so you can join from anywhere using this zoom link.
Axiomatic Set Theory 10: Cardinal Arithmetic | The n-Category Café
4 天之前 · Previously: Part 9. The course is over! The grand finale was the theorem that. X × Y ≅ X + Y ≅ max (X, Y) X \times Y \cong X + Y \cong max(X, Y) . for all infinite sets X X and Y Y.Proving this required most of the concepts and results from the second half of the course: well ordered sets, the Cantor–Bernstein theorem, the Hartogs theorem, Zorn’s lemma, and so on.
Grothendieck's "Tohoku" paper | The n-Category Café
2010年9月7日 · Michael Barr has spent a lot of time and effort translating Grothendieck’s legendary “Tohoku” paper into English. If you don’t mind violating Grothendieck’s stated wishes, you can now read this translation:. Alexandre Grothendieck, On certain aspects of homological algebra, trans. Michael Barr. It’s about abelian categories, sheaves of modules, resolutions, derived functors, and ...
Algebraic Closure | The n-Category Café - University of Texas at …
2021年4月13日 · Thanks for that — I had a much more complicated argument in mind, so I’m glad you came up with that simpler one. Here’s a variant on your example: splitting an idempotent is an example of a filtered colimit, and if you split the idempotent 0: ℤ → ℤ 0: \mathbb{Z} \to \mathbb{Z} in Ab Ab, you also get the trivial group.. The argument I had in …
EGA1: The Language of Schemes | The n-Category Café
2020年2月6日 · Tim Hosgood, Ryan Keleti and others have finished an English translation of this classic:. Alexander Grothendieck, EGA1: The Language of Schemes and the LaTeX files are now open-source on GitHub. They are working on the rest of EGA, and they could use help!
April 2021 Archives | The n-Category Café - University of Texas at …
2021年4月30日 · I recently learned of the Just Mathematics Collective, an “international collective of mathematicians” whose “goal is to shift the global mathematics community towards justice”.. It’s an ambitious initiative. We’ve had lots of discussions on this blog about specific places where the practice of mathematics meets real-world problems: surveillance of …
Large Sets 6 | The n-Category Café - University of Texas at Austin
2021年6月24日 · It seems like there’s no reason to do case analysis on whether ℶ ω \beth_\omega exists in the given model. We can instead say that a set is “small” if it smaller than all cardinals which are ℶ ω \beth_\omega.In general, if we wanted to provide a model of “there are at most n n strong limit cardinals” for some n n, we could just say that a set is “small” if …