http://comonad.com/reader/2012/unnatural-transformations-and-quantifiers/ types, (co)monads, substructural logic Sat, 29 Dec 2012 15:18:06 -0800 http://wordpress.org/?v=2.8.4 hourly 1 http://comonad.com/reader/2012/unnatural-transformations-and-quantifiers/comment-page-1/#comment-106988 Alexandra Thu, 13 Dec 2012 17:53:28 +0000 http://comonad.com/reader/?p=660#comment-106988 I really don't like maths that much but it always fascinate me like magic. This site is very informative and useful for the maths students, so please keep updating. I really don’t like maths that much but it always fascinate me like magic. This site is very informative and useful for the maths students, so please keep updating.

]]> http://comonad.com/reader/2012/unnatural-transformations-and-quantifiers/comment-page-1/#comment-106560 Madeline Jones Fri, 16 Nov 2012 11:04:24 +0000 http://comonad.com/reader/?p=660#comment-106560 I actually stumbled on to this site when I was looking for something else. I found it very interesting and informative. I am doing my graduation with major as math. I would appreciate if you keep updating regularly. I actually stumbled on to this site when I was looking for something else. I found it very interesting and informative. I am doing my graduation with major as math. I would appreciate if you keep updating regularly.

]]> http://comonad.com/reader/2012/unnatural-transformations-and-quantifiers/comment-page-1/#comment-106102 Dan Piponi Mon, 24 Sep 2012 01:26:49 +0000 http://comonad.com/reader/?p=660#comment-106102 A while back I was playing with free theorems and was surprised to find types for which the free theorem wasn't the obvious expression of (di)naturality. I was a bit perturbed. I guess I should have considered it a feature rather than a bug and investigated further. A while back I was playing with free theorems and was surprised to find types for which the free theorem wasn’t the obvious expression of (di)naturality. I was a bit perturbed. I guess I should have considered it a feature rather than a bug and investigated further.

]]>