Thanks everyone for the answers. Mine is just an experiment, but if I
succeed in keeping it
up and to come with something useful, I won't hesitate to poke you :)
Btw, in case I succeed, posts will appear here:
http://www.alfredodinapoli.com/posts.html
and here:
[1] For more discussion on this point, see n-Lab and n-Cafe:
http://ncatlab.org/
http://golem.ph.utexas.edu/category/
Wren, thanks very much for these two links. I've been trying for forever to get
a foot into metamathematics and type theory in particular (not having the option
of
Morning Cafe,
I'm planning to do a series of write-ups about Category Theory, to publish
them on the company's blog I'm currently employed.
I'm not a CT expert, but since the best way to learn something is to
explain it to others, I want to take a shot :)
In my mind I will structure the posts
There was a conversation on the cafe about this last month. Check out:
https://groups.google.com/forum/#!topic/haskell-cafe/tBO2AowUvMY
Category theory is a language of composition. In logical terms,
different categories are models of different axioms. That said, a rich
enough category is
Thank you Alexander for the reply.
My wondering is: is Hask a category created by Haskell researchers or was
something already present in literature?
Cheers,
A.
On 13 January 2013 17:44, Alexander Solla alex.so...@gmail.com wrote:
There was a conversation on the cafe about this last month.
On 1/13/13 12:44 PM, Alexander Solla wrote:
Hask is a very rich category, and is suitable for encoding a lot (but not
all) of category theory. As far as I know, the actual boundary is as yet
unknown.
I'm not sure that's the most appropriate way to render things. In
general, rich categories
On 1/13/13 1:53 PM, Alfredo Di Napoli wrote:
Thank you Alexander for the reply.
My wondering is: is Hask a category created by Haskell researchers or was
something already present in literature?
Hask was created by Haskellers in discussions on blogs etc. If one is
being particular about the
On 01/13/2013 03:15 AM, Alfredo Di Napoli wrote:
Morning Cafe,
I'm planning to do a series of write-ups about Category Theory, to
publish them on the company's blog I'm currently employed.
I'm not a CT expert, but since the best way to learn something is to
explain it to others, I want to