/explore
|
You are here 
|
grossack.site | ||
| | | | |
terrytao.wordpress.com
In these notes we quickly review the basics of abstract measure theory and integration theory, which were covered in the previous course but will of course be relied upon in the current course. Th... |
|
| | | | | ||
| | | | |
www.jeremykun.com
Last time we investigated the (very unintuitive) concept of a topological space as a set of "points" endowed with a description of which subsets are open. Now in order to actually arrive at a discussion of interesting and useful topological spaces, we need to be able to take simple topological spaces and build them up into more complex ones. This will take the form of subspaces and quotients, and through these we will make rigorous the notion of "gluing" and "building" spaces. |
|
| | | | | ||
| | | | |
leanprover-community.github.io
[AI summary] This blog post discusses the formalization of topology and related concepts in the Lean theorem prover, covering typeclasses, filters, compactness, Hausdorff spaces, and file organization within the mathlib library. |
|
| | | | | ||
| | | | |
thehousecarpenter.wordpress.com
A natural transformation is an operation on a category, or more precisely a family of operations, one for each object in the category, which is preserved by morphisms in the category. Each operation in the family is associated with a specific object $latex A$ in the category, which it is said to be on. The... |
|
| | | |||
