Talk:Bourbaki–Witt theorem

From Wikipedia, the free encyclopedia

If someone could elaborate on the applications of Bourbaki-Witt to computer science, along with any others it might have, it would be much appreciated. I don't know all that much about it other than the basic set theoretic stuff.

There is a little about this at Knaster-Tarski theorem. Usually things like that go on in domain theory. Charles Matthews 19:41, 23 Sep 2004 (UTC)