Explore >> Select a destination
|
You are here 
|
ncatlab.org | ||
| | | | |
jiggerwit.wordpress.com
|
|
| | | | | In the texbook I'm using for a first course in algebraic geometry, the proof of Bezout's theorem is awful. Looking around, I find an abundance of awful proofs. A good proof is one that I would want to commit to memory. Here is a good proof of Bezout's theorem, which is due to Gurjar and... | |
| | | | |
bartoszmilewski.com
|
|
| | | | | Abstract: I derive a free monoidal (applicative) functor as an initial algebra of a higher-order functor using Day convolution. I thought I was done with monoids for a while, after writing my Monoids on Steroids post, but I keep bumping into them. This time I read a paper by Capriotti and Kaposi about Free Applicative... | |
| | | | |
mattbaker.blog
|
|
| | | | | In my previous post, I presented a proof of the existence portion of the structure theorem for finitely generated modules over a PID based on the Smith Normal Form of a matrix. In this post, I'd like to explain how the uniqueness portion of that theorem is actually a special case of a more general... | |
| | | | |
kristalcantwell.wordpress.com
|
|
| | | Mini-polymath 4 has started. It is based on question 3 of the IMO. The research thread is here. There is a wiki here. | ||
