J. Adamek and J. Rosicky, Locally Presentable and Accessible Categories, London Mathematical Society Lecture Note Series, Vol. 189, Cambridge University Press, 1994. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Presheaf Models for Concurrency - Cattani, Winskel (1996) (35 citations) (Correct)
....hope in moving to more abstract presheaf models is to be able to relate the theory of concurrency with the theory of domains, though this has to be understood in a generalised sense, in which domains can be proper categories, not just complete partial orders. 14 Finitely accessible categories [1], the category analogue of algebraic complete partial orders, are obvious candidates for such generalised domains; roughly a finitely accessible category has a basis of finite (finitely presentable) objects from which every object is obtainable as a directed colimit. As proposed in [14] one ....
Ad'amek, J., and Rosicky, J., Locally Presentable and Accessible Categories. London Mathematical Society Lecture Note Series, 189. Cambridge University
Presheaf Models for Concurrency - Cattani, Winskel (1997) (35 citations) (Correct)
....One hope in moving to more abstract presheaf models is to be able to relate the theory of concurrency with the theory of domains, though this has to be understood in a generalised sense, in which domains can be proper categories, not just complete partial orders. Finitely accessible categories [1], the category analogue of algebraic complete partial orders, are obvious candidates for such generalised domains; roughly a finitely accessible category has a basis of finite (finitely presentable) objects from which every object is obtainable as a directed colimit. As proposed in [16] one ....
Ad'amek, J., and Rosicky, J., Locally Presentable and Accessible Categories. London Mathematical Society Lecture Note Series, 189. Cambridge University Press, 1994.
Combining Effects: Sum and Tensor - Hyland, Plotkin, Power (Correct)
No context found.
J. Adamek and J. Rosicky, Locally Presentable and Accessible Categories, London Mathematical Society Lecture Note Series, Vol. 189, Cambridge University Press, 1994.
Combining Continuations with Other Effects - Hyland, Levy, Plotkin, Power (Correct)
No context found.
J. Adamek & J. Rosicky, Locally Presentable and Accessible Categories, London Mathematical Society Lecture Note Series, 189, CUP, 1994.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC