Pultr Aleš

Prof., RNDr., DrSc.
Born September 22, 1938

• Theory of categories and structures, especially areas connected with theoretical computer science
• Member of Learned Society since 2003

Educational and professional preparation:

• 1956-1961, Faculty of Mathematics and Physics, Charles University (FMP CU);
• 1964, CSc (PhD);
• 1970, habilitation FMP CU, 1991, DrSc., 1991, Full Professor, FMP CU

Employment and academic positions:

• 1961-1964, assistant; 1964-1979, Assistant Professor;
• 1970-1991, Associate Professor;
• 1991-present, Full Professor (all) Department of Applied Mathematics and Institute of Theoretical Computer Science, FMP CU
• Published papers in combinatorics, topology, category theory, game theory and algebra. In recent years the research is concentrated in particular to special questions of partial order, such as, for instance, pointfree topology, representations of classes of distributive lattices, order structures of computer science).

Membership and positions in international organizations and societies:

• American Mathematical Society

Selected publications:

• Combinatorial, Algebraic and Topological Representations (with V. Trnková).
  North-Holland, 1980.
• On full embeddings of categories of algebras(with Z. Hedrlín). Illinois J. Math. 10, 392-406 (1996)
• The right adjoints into the categories of relational systems, Reports of the Midwest Category Seminar IV. Springer LN 137, 100-113 (1970)
• Isomorphism types of objects in categories determined by numbers of morphisms. Acta Sci. Math. Szeged, 35, 155-160 (1973)
• On algebraic recognition of direct product decompositions (with G. M. Kelly). J. of Pure and Appl. Algebra 12, 207-224 (1978)
• On a product dimension of graphs (with L. Lovász and J. Nešetřil). J. Comb. Theory B 29 (1980), 93-106
• Prohibiting repetitions makes playing games substantially harder (with F.L. Morris). Int. J. of Game Theory 13, 27-40 (1984)
• Pointless uniformities I, II. Comment. Math. Univ. Carolinae 25, 91-104, 105-120 (1984)
• Categories of diametric frames. Math. Proc. Cambridge Phil. Soc. 105, 285-297 (1989)
• On the completion of nearness frames (with B. Banaschewski and H.S. Hong). Questiones Math. 21, 19-37 (1998)
• Forbidden forests in Priestley spaces (with R.N. Ball). Cahiers de Top. et Géom. Diff. Cat. XLV-1, 2-22 (2004)