Explore >> Select a destination
|
You are here 
|
ianwrightsite.wordpress.com | ||
| | | | |
acko.net
|
|
| | | | | Exploring the outer limits: on the nature of infinity, continuity and convergence. | |
| | | | |
gowers.wordpress.com
|
|
| | | | | It's been a while since I have written a post in the "somewhat philosophical" category, which is where I put questions like "How can one statement be stronger than an another, equivalent, statement?" This post is about a question that I've intended for a long time to sort out in my mind but have found... | |
| | | | |
njwildberger.com
|
|
| | | | | There are several approaches to the modern theory of "real numbers". Unfortunately, none of them makes complete sense. One hundred years ago, there was vigorous discussion about the ambiguities with them and Cantor's theory of "infinite sets". As time went by, the debate subsided but the difficulties didn't really go away. A largely unquestioning uniformity... | |
| | | | |
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... | ||
