Explore >> Select a destination
|
You are here 
|
ncatlab.org | ||
| | | | |
grossack.site
|
|
| | | | | Chris Grossack's math blog and professional website. | |
| | | | |
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... | |
| | | | |
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... | |
| | | | |
mmph.wordpress.com
|
|
| | | The recent post on cloud computing and Google Docs made me ask myself whether Google Docs supports (La)TeX. It turned out you can insert LaTeX equations into your Google doc (as discussed in more detail e.g. here) but that's that for now. There exists a LaTeX Lab project aspiring to develop a web-based LaTeX editor... | ||
