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.
have added more hyperlinks to technical term (such as directed-join-preserving)
(In hyperlinking Scott domain I see that the page is missing. That would be great to create, or maybe it should be redirecting to dcpo!?)
took the liberty, as I have the annoying habit, of adjusting the grammar: Instead of “A Scott-complete category is a generalization…” made it “The notion of Scott-complete categories is a generalization…” and similarly in other cases.
1 to 4 of 4