Domain Theory (1994) [pdf](cs.bham.ac.uk)
cs.bham.ac.uk
Domain Theory (1994) [pdf]
https://www.cs.bham.ac.uk/~axj/pub/papers/handy1.pdf
4 comments
Cool, to an outsider, would you recommend studying Domain Theory side by side with Category Theory, or is the latter a prerequisite of the former?
No, I wouldn't say that category theory is a prerequisite for domain theory in general.
I'm most familiar with domain theory from Winskel's "Formal Semantics of Programming Languages" (great book, cited as Win93 in the linked PDF), which has a whole chapter on the subject with no reference to category theory.
If you get deeper into domain theory (e.g. by working through this book) surely some category theory will be useful, but it's not a foundational prereq.
I'm most familiar with domain theory from Winskel's "Formal Semantics of Programming Languages" (great book, cited as Win93 in the linked PDF), which has a whole chapter on the subject with no reference to category theory.
If you get deeper into domain theory (e.g. by working through this book) surely some category theory will be useful, but it's not a foundational prereq.
I'm an outsider myself. I'm currently taking the tact of studying Domain Theory concurrent to my introduction to Category Theory, while reading up on recursion.