Explore >> Select a destination
|
You are here 
|
mattbaker.blog | ||
| | | | |
xorshammer.com
|
|
| | | | | There are a number of applications of logic to ordinary mathematics, with the most coming from (I believe) model theory. One of the easiest and most striking that I know is called Ax's Theorem. Ax's Theorem: For all polynomial functions $latex f\colon \mathbb{C}^n\to \mathbb{C}^n$, if $latex f$ is injective, then $latex f$ is surjective. Very... | |
| | | | |
alanrendall.wordpress.com
|
|
| | | | | In a previous post I discussed the Brouwer fixed point theorem and I mentioned the fact that it applies to any non-empty closed bounded convex subset of a Euclidean space, since a subset of this kind is homeomorphic to a closed ball in a Euclidean space. However I did not prove the latter statement. I... | |
| | | | |
qchu.wordpress.com
|
|
| | | | | Let $latex k$ be a commutative ring. A popular thing to do on this blog is to think about the Morita 2-category $latex \text{Mor}(k)$ of algebras, bimodules, and bimodule homomorphisms over $latex k$, but it might be unclear exactly what we're doing when we do this. What are we studying when we study the Morita... | |
| | | | |
jedleland.wordpress.com
|
|
| | | I made it five years on twitter without any complete strangers telling me to die. Tonight, that all changed. Oh well. I had a good run. | ||
