? ?
Notes from a Medium-Sized Island [entries|archive|friends|userinfo]
Jason

[ website | My Website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

- [Dec. 16th, 2000|02:40 pm]
Jason
OS review session, whee.
Read Lambek & Scott's description of D. Scott's construction
of a ccc with a nonterminal object U s.t. U =~ U x U =~ U^U.
It has an interesting lemma about finding fixed points
by colimit.
LinkReply