Prof. RNDr. Jiri ADAMEK, DrSc.

E-mail: adamek@math.feld.cvut.cz

Research interests:

Category theory and its applications in computer science, locally presentable categories, topological categories.

Recent publications:

• J. Adamek and J. Rosicky, "On orthogonal subcategories of locally presentable categories," Discrete Mathem. 108 (1992),133-137
• J. Adamek and J. Rosicky, "Injectivity in locally presentable categories," Transactions Amer. Matm. Soc. 336 (1993), 785-804
• J. Adamek and J. Rosicky, Locally Presentable and Accessible Categories. Cambridge University Press , Cambridge,1994
• J. Adamek and J. Reiterman, "Categorical and algebraic methods in computer science," In Workshop 92, Part A. Prague : Czech Technical University,1992, p. 13-14
• J. Adamek and J. Reiterman, "Data types in metrically enriched categories," In Workshop 93, Part A. Prague, Czech Technical University, 1993, p. 53-54
• J. Adamek and J. Reiterman, "The category of uniform spaces as a completion of the category of metric spaces," Commentationes Mathem. Univ. Carolinae, 33, No. 4 (1993), p. 689-693
• J. Adamek and J. Rosicky, "Injectivity in locally presentable categories," Transactions AMS, 336, (1993), p. 785-804
• J. Adamek, "Sketches and presentation of structures " In CTU Seminar '94, Part A. Prague : Czech Technical University,1994, p. 37-38
• J. Adamek and J. Rosicky, Locally Presentable and Accessible Categories Cambridge: Cambridge University Press, 1994
• J.Adamek, "A Remark on Fixed Points of Functors in Topological Categories, " In Applied Cat. Structures. No. 3 (1995), p. 91-96
• J.Adamek, " Recursive Data Types in Algebraically Omega-Complete Categories,," In Information and Computation, No. 118 (1995), p. 1-10
• J.Adamek, " Finitary Sketches II ," International Category Theory Conference: Halifax 09.07.1995. - Praha : CVUT FEL
• J.Adamek, " Categorical Generalization of Scott Domains," Category Theory and Computer Science : Cambridge, 06.08.1995 - Praha: CVUT FEL
• J.Adamek, " On Scott - Complete Categories," Workshop on Logic Programming and Domains : Dormstadt, 24.05.1995. - Praha : CVUT FEL
• J.Adamek, " On the Largest Fixed Point of a Set Functor ," In Theoretical Comp. Science. No. 15 (1995), p. 1-19