Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I got tired of having to fight my way through Kelly’s monster yet again, and created transfinite construction of free algebras. I couldn’t really think of a good name for this page; suggestions are welcome.
Thanks! This looks much less intimidating than the original paper.
Yes, thanks very much Mike! If I can indulge in some criticism of Kelly’s work generally, I’d say that it is indeed logically thorough, but often overwrought and often cast at a less than maximally useful generality.
@Todd: Well, I wouldn’t hesitate to apply that description to the “transfinite constructions…” paper. I’m less sure about Kelly’s work in general; I think most of it is much more readable.
1 to 5 of 5