@article{CTGDC_1993__34_3_162_0, author = {Ad\'amek, Ji\v{r}i}, title = {A farewell to {Jan} {Reiterman}}, journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques}, pages = {162--166}, publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS}, volume = {34}, number = {3}, year = {1993}, mrnumber = {1239465}, zbl = {0781.01005}, language = {en}, url = {http://www.numdam.org/item/CTGDC_1993__34_3_162_0/} }
TY - JOUR AU - Adámek, Jiři TI - A farewell to Jan Reiterman JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques PY - 1993 SP - 162 EP - 166 VL - 34 IS - 3 PB - Dunod éditeur, publié avec le concours du CNRS UR - http://www.numdam.org/item/CTGDC_1993__34_3_162_0/ LA - en ID - CTGDC_1993__34_3_162_0 ER -
Adámek, Jiři. A farewell to Jan Reiterman. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 34 (1993) no. 3, pp. 162-166. http://www.numdam.org/item/CTGDC_1993__34_3_162_0/
[1] On the category of filters, CMUC (Comment. Math. Univ. Carolinae) 11 (1970), 19-29. | MR | Zbl
:[2] An example concerning set-functors, CMUC 12 (1971), 227-233. | MR | Zbl
[3] Set functors III-monomorphisms, epimorphisms, iso-morphisms, CMUC 14 (1973), 441-455. | MR | Zbl
,[4] Pevné body ve varietách unárních algeber a v reprezentacích monoidú, Acta Polytechnica IV (1973), 1, 5-8.
:[5] Fixed point property of unary algebras, Algebra Universalis 4 (1974), 163-165. | MR | Zbl
:[6] Jan Reiterman ; On the existence of special homogenous monoids, Semigroup Forum 9 (1974), 95-101. | Zbl
Koubek,[7] Factor categories of the category of sets: description and concreteness, J. Pure Appl. Algebra 4 (1974), 71-77. | MR | Zbl
:[8] Fixed points in representations of categories, Transactions of the American Math. Soc. 211 (1975), 239-247. | Zbl
:[9] The categories of preshcaves containing any category of algebras, Disertationes Mathematicae CXXIV, Waszawa, 1975. | MR | Zbl
, :[10] Atoms in uniformities, Seminar Uniform Spaces, MÚ ČSAV (1975), 73-81. | MR | Zbl
, :[11] Free algebras, input processes and free monads, CMUC 16 (1975), 339-351. | MR | Zbl
, , , :[12] Exactness of the set-valued colim, CMUC 17 (1976), 97-103. | Zbl
,[13] A set functor which commutes with all homfunctors is a homfunctor, Czech. Math. J. 26 (101) (1976), 183-191. | MR | Zbl
:[14] Atoms and proximal fineness, Seminar Uniform Spaces, MÚ ČSAV (1976), 37-41. | Zbl
,[15] A left adjoint construction related to free triples, J. Pure Appl. Algebra 10 (1) (1977), 57-72. | MR | Zbl
:[16] Topological categories containing any category of algebras, Czech. Math. J. 27 (1977), 626-643. | MR | Zbl
:[17] A non-zero dimensional atom, Seminar Uniform Spaces, MÚ ČSAV (1978). | Zbl
, :[18] One more categorical model of universal algebra, Math. Z. 161 (1978), 137-146. | MR | Zbl
:[19] Categorical constructions of free algebras, coliinits and completions of partial algebras, J. Pure Appl. Algebra 14 (1979), 195-231. | MR | Zbl
:[20] Large algebraic theories with small algebras, Bull. Austral. Math. Soc. 19 (1978), 371-380. | MR | Zbl
:[21] A note to the ADJ's subjet system, Fundam. of Comput. Theory, Akademie Verlag Berlin, 1979, pp. 387-390. | MR | Zbl
:[22] Small-fibred semitopological functors without small-fibred initial completions, CMUC 20 (3) (1979), 539-546. | MR | Zbl
[23] Structure-semantics relation for non-varietal equational theories, Algebra Universalis 10 (1980), 399-401. | MR | Zbl
:[24] Dynamic algebras which are not Kripke structures, MFCS'80, Springer-Verlag Berlin, pp. 529-538. | MR
, :[25] Complements in the lattice of uniformities, CM UC 22 (1981), 399-412. | MR | Zbl
,[26] Embeddings into categories with fixed points in representations, Czech. Math. J. 31 (1981), 368-389. | MR | Zbl
, :[27] Representation of dynamic algebras with reversion, MFCS'81, Springer-Verlag Berlin, Heidelberg, New York, pp. 463-472. | MR | Zbl
,[28] Tree constructions of free continuous algebras, Journal of Comp. and System Sci. 24 (1982), 114-146. | MR | Zbl
, :[29] The Birkhoff theorem for finite algebras, Algebra Universalis 14 (1982), 1-10. | MR | Zbl
:[30] Algebraic theories and varieties of functor algebras, Fund. Math., CXVIII (1983), 59-68. | MR | Zbl
:[31] Cartesian closed hull of the category of uniform spaces, Topology & its applications 19 (1985), 261-276. | MR | Zbl
, :[32] Realization of cartesian closed topological hulls; Manusc. Math. 53 (1985), 1-33. | Zbl
, , :[33] Arbitrary large continuous algebras on one generator, Trans. American Math. Soc. 291 (2) (1985), 681-699. | MR | Zbl
, :[34] The Birkhoff theorem for continuous algebras, Algebra Universalis 20 (1985), 328-350. | MR | Zbl
, :[35] On threshold graphs and hypergraphs, Discrete Math. 54 (1985), 193-200. | MR | Zbl
, :[36] Ou locally small based algebraic theories, CM UC 27 (2) (1986), 325-340. | MR | Zbl
[37] Topological categories presented by small sets of axioms, J. Pure Appl. Algebra 42 (1986), 1-14. | Zbl
:[38] Continuous semilattices, Theoret. Comp. Sci. 43 (1986), 293-313. | MR | Zbl
, :[39] Dynamic algebras with test, Comp. System Sci. 35 (1987), 229-242. | MR | Zbl
:[40] The quasitopos hull of the category of uniform spaces, Topology & its Applications 27 (1987), 97-104. | MR | Zbl
,[41] Embeddings of trees into euclidean spaces, Graphs & Combinatorics 4 (1988), 43-47. | MR | Zbl
, , ,[42] On comparison of subset systems, CMUC 29 (1988), 169-177. | MR | Zbl
, , , , :[43] Ultrafilters on ω and atoms in the lattice of uniformities I, Topology and its Applications 30 (1988), 1-17. | Zbl
, , ,[44] Ultrafilters on w and atoms in the lattice of uniformities II, Topology and its Applications 30 (1988), 107-125. | MR | Zbl
, , , :[45] Geometrical embeddings of graphs, Disc. Math. 74 (1989), 291-319. | MR | Zbl
, :[46] Embeddings of graphs into euclidean spaces, Discrete Comput. Geometry 4 (1989), 349-364. | MR | Zbl
, ,[47] On the logic of continuous algebras, Notre Dame J. of Formal Logic 29 (1988), 365-380. | MR | Zbl
, , , :[48] The category of complete lattices as a category of algebras, Algebra Univ. 26 (1989), 367-379. | MR | Zbl
:[49] A note on monotone paths in labeled graphs, Combinatorica 9 (2) (1989), 231-232. | MR | Zbl
:[50] Cocolnpleteness almost implies completeness, Categorical Topology & its Relation to Analysis, Algebra and Combinatorics, World Scientific, Singapore, London, Hongkong, 1989, pp. 246-256.
, , :[51] Cartesian closed hull for metric spaces, CMUC 31 (1990), 1-6. | MR | Zbl
, :[52] On universally topological hulls and quasitopos hulls, Houston J. Math. 17 (1991), 375-383. | MR | Zbl
, ,[53] On ωα-compactness, J. Comb. Theory, to appear.
, , :[54] Concrete full embeddings into categories of algebras and coalgebras, J. Pure Appl. Algebra, to appear. | MR | Zbl
:[55] Effective descent maps of topological spaces, submitted. | Zbl
, :[56] Continuous algebras revisited, submitted. | Zbl
, , :[57] Banach fixpoint theorem as a base for data-type equations, Seminarberichte 44, Fernuniversität Hagen, 1992, pp. 1-18.
, :[58] The category of uniform spaces as a completion of the category of metric spaces, CMUC, to appear. | MR | Zbl
, :[59] Fascets of descent II, in preparation.
, , :[1] Foundations of General Topology (in Czech), with and , Technical Publishing House (SNTL) Praha, 1977.
[2] Analysis of Algorithms (in Czech). Lecture Notes of the Czech Technical University Prague, 1983.