| Title:
|
Professor Rosický sexagenarian (English) |
| Author:
|
Adámek, Jiří |
| Author:
|
Paseka, Jan |
| Language:
|
English |
| Journal:
|
Mathematica Bohemica |
| ISSN:
|
0862-7959 (print) |
| ISSN:
|
2464-7136 (online) |
| Volume:
|
132 |
| Issue:
|
4 |
| Year:
|
2007 |
| Pages:
|
437-443 |
| Summary lang:
|
English |
| . |
| Category:
|
news |
| . |
| MSC:
|
01A70 |
| idMR:
|
MR2365326 |
| DOI:
|
10.21136/MB.2007.133961 |
| . |
| Date available:
|
2009-09-24T22:33:23Z |
| Last updated:
|
2020-07-29 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/133961 |
| . |
| Reference:
|
[1] : Algebra.Purkyně University, Brno, 1981, text-book. (Czech) |
| Reference:
|
[2] : Universální algebra a teorie svazů.SPN, Praha, 1988, text-book (with L. Bican). (Czech) |
| Reference:
|
[3] : Locally presentable and accessible categories.Cambridge University Press, Cambridge, 1994, monograph. Zbl 0795.18007, MR 1294136 |
| Reference:
|
[1] : A note on topology compatible with the ordering.Arch. Math., Brno 5 (1969), 19–24. Zbl 0235.06003, MR 0282344 |
| Reference:
|
[2] : On the existence of graphs with a certain ordering of vertices.Arch. Math., Brno 6 (1970), 89–113. MR 0294162 |
| Reference:
|
[3] : Relative Komplemente im Verband der $T_1$-Topologien.Publ. Fac. Sci. Univ, Brno 518, 1970, pp. 445–460. MR 0289382 |
| Reference:
|
[4] : Topologies compatible with the ordering.Publ. Fac. Sci. Univ, Brno, 1971, pp. 9–23. MR 0326682 |
| Reference:
|
[5] : On a characterization of the lattice of $m$-ideals of an ordered set.Arch. Math., Brno 8 (1972), 137–142. MR 0335375 |
| Reference:
|
[6] : Full embeddings with a given restriction.Comment. Math. Univ. Carol. 14 (1973), 519–540. Zbl 0267.18007, MR 0327866 |
| Reference:
|
[7] : Strong embeddings into categories of algebras over a monad I.Comment. Math. Univ. Carol. 14 (1973), 699–718. Zbl 0269.18002, MR 0330257 |
| Reference:
|
[8] : Realizations of topologies by set-systems.Coll. Math. Soc. J. Bolyai 8. Topics in Topology, Keszthely, 1972, pp. 535–553. MR 0355945 |
| Reference:
|
[9] : Embeddings of lattices in the lattice of topologies.Arch. Math., Brno 9 (1973), 49–56. MR 0372803 |
| Reference:
|
[10] : Strong embeddings into categories of algebras over monad II.Comment. Math. Univ. Carol. 15 (1974), 131–147. MR 0342583 |
| Reference:
|
[11] : Remarks on topologies uniquely determined by their continuous self maps.Czech. Math. J. 24 (1974), 373–377. Zbl 0331.54003, MR 0348697 |
| Reference:
|
[12] : The topology of the unit interval is not uniquely determined by its continuous self maps.Colloq. Math. 31 (1974), 179–188. Zbl 0289.54024, MR 0365446, 10.4064/cm-31-2-179-188 |
| Reference:
|
[13] : Preservation of topological properties by automorphisms of the lattice of topologies.Publ. Fac. Sci. Univ, Brno, 1974, pp. 59–62. Zbl 0376.54002, MR 0397639 |
| Reference:
|
[14] : Sublattices of the lattice of topologies.Acta Fac. Rer. Natur. Univ. Comenian., Math, 1975, pp. 39–41. Zbl 0292.54004, MR 0353230 |
| Reference:
|
[15] : On extensions of full embeddings and binding categories.Comment. Math. Univ. Carol. 15 (1974), 631–653. Zbl 0291.18005, MR 0354805 |
| Reference:
|
[16] : Codensity and binding categories.Comment. Math. Univ. Carol. 16 (1975), 515–529. Zbl 0314.18003, MR 0376800 |
| Reference:
|
[17] : Concerning binding categories.Czech. Math. J. 25 (1975), 515–529. Zbl 0335.18004, MR 0387375 |
| Reference:
|
[18] : Modular, distributive and simple intervals of the lattice of topologies.Arch. Math., Brno 11 (1975), 105–114. MR 0410621 |
| Reference:
|
[19] : Topologies compatible with the ordering.Publ. Fac. Sci. Univ, Brno, 1974, pp. 39–42. Zbl 0293.06010, MR 0392739 |
| Reference:
|
[20] : One example concerning testing categories.Comment. Math. Univ. Carol. 18 (1977), 71–75. Zbl 0355.18007, MR 0432730 |
| Reference:
|
[21] : One obstruction for closedness.Comment. Math. Univ. Carol. 18 (1977), 311–318. Zbl 0359.18011, MR 0470025 |
| Reference:
|
[22] : Liftings of functors in topological situations.Proc. 4th Prague Toposym, Praha, 1977, pp. 394–400. Zbl 0372.54004, MR 0482623 |
| Reference:
|
[23] : 2-categorical tools in the theory of concrete categories.Abstr. 5th Winter School on Abstract Analysis, Praha, 1977, pp. 95–99. |
| Reference:
|
[24] : Extensions of functors and their applications.Cah. Topologie Géom. Différ. 19 (1978), 179–219. Zbl 0393.18002, MR 0528346 |
| Reference:
|
[25] : Categories of models of infinitary Horn theories.Arch. Math., Brno (1978), 219–226. Zbl 0404.18003, MR 0512765 |
| Reference:
|
[26] : An algebraic description of ordinals.Diagrammes 2 (1979). Zbl 0515.03028 |
| Reference:
|
[27] : Equational categories.Cah. Topologie Géom. Différ. 22 (1981), 85–96. Zbl 0463.18002, MR 0609163 |
| Reference:
|
[28] : On algebraic categories.Coll. Math. Soc. J. Bolyai 29, Universal Algebra, Budapest, 1981, pp. 662–690. |
| Reference:
|
[29] : Implicit operations on finite algebras.Coll. Math. Soc. J. Bolyai 28, Budapest, 1981, pp. 653–668. Zbl 0478.08002, MR 0648638 |
| Reference:
|
[30] : Concrete categories and infinitary languages.J. Pure Appl. Algebra 22 (1981), 309–339. Zbl 0475.18001, MR 0629337, 10.1016/0022-4049(81)90105-5 |
| Reference:
|
[31] : A note on algebraic categories.Arch. Math., Brno 18 (1982), 163–168. Zbl 0511.18007, MR 0682104 |
| Reference:
|
[32] : Does $\exp (X)$ exist for a proper class $X$? Abstr.8th Winter School on Abstract Anal, Praha, 1982, pp. 138–142. |
| Reference:
|
[33] : Categories of models of languages $ L_{\kappa \lambda } (\mu )$.Abstr. 9th Winter School on Abstract Anal, Praha, 1982, pp. 153–157. |
| Reference:
|
[34] : Categories of models.Seminarberichte Fernuniversität Hagen 19, 1984, pp. 377–413. Zbl 0563.03017 |
| Reference:
|
[35] : Abstract tangent functors.Diagrammes 12 (1984), 1–11. Zbl 0561.18008, MR 0800500 |
| Reference:
|
[36] : Varieties of infinitary universal algebras.Algebra Univ. 20 (1985), 123–126. Zbl 0559.08002, MR 0790910, 10.1007/BF01236811 |
| Reference:
|
[37] : $T_1$-locales.Math. Proc. Camb. Phil. Soc. 98 (1985), 81–86. MR 0789721 |
| Reference:
|
[38] : Semi-initial completions.J. Pure Appl. Algebra 40 (1986), 177–189. Zbl 0587.18001, MR 0830320, 10.1016/0022-4049(86)90039-3 |
| Reference:
|
[39] : A note on exponentiation in regular locales.Arch. Math., Brno 22 (1986), 157–158. Zbl 0609.54009, MR 0868131 |
| Reference:
|
[40] : Multiplicative lattices and frames.Acta Math. Hung. 49 (1987), 391–395. Zbl 0623.06006, MR 0891051, 10.1007/BF01951002 |
| Reference:
|
[41] : A categorical characterization of sets among classes.Arch. Math., Brno 23 (1987), 117–121. Zbl 0632.18003, MR 0930328 |
| Reference:
|
[42] : Intersections of reflective subcategories.Proc. Amer. Math. Soc. 103 (1988), 710–712. Zbl 0675.18002, MR 0947643, 10.1090/S0002-9939-1988-0947643-9 |
| Reference:
|
[43] : Essentially equational categories.Cah. Topologie Géom. Différ. Catég. 29 (1988), 175–192. Zbl 0659.18010, MR 0975371 |
| Reference:
|
[44] : Are all limit closed subcategories of locally presentable categories reflective.Categorical Algebra and its Applications, Lect. Notes Math. 1348, 1988, pp. 1–18. Zbl 0668.18004, MR 0975956 |
| Reference:
|
[45] : Orthogonal and prereflective subcategories.Cah. Topologie Géom. Différ. Catég. 29 (1988), 203–216. Zbl 0669.18001, MR 0975373 |
| Reference:
|
[46] : Remarks on localic groups.Categorical Algebra and its Applications, Lect. Notes Math, 1348, 1988, pp. 154–172. MR 0975968 |
| Reference:
|
[47] : Reflections in locally presentable categories.Arch. Math., Brno 25 (1989), 89–94. Zbl 0742.18002, MR 1189203 |
| Reference:
|
[48] : Elementary categories.Arch. Math. (Basel) 52 (1989), 284–288. Zbl 0665.18004, MR 0989884, 10.1007/BF01194392 |
| Reference:
|
[49] : Representability of concrete categories by non-constant morphism.Arch. Math., Brno 25 (1989), 115–118. MR 1189207 |
| Reference:
|
[50] : Quantales and $C^*$-algebras.J. London Math. Soc. 40 (1989), 398–404. Zbl 0705.06009, MR 1053610 |
| Reference:
|
[51] : Generating the monadic theory of $C^*$-algebras and related categories.Proc. Categ. Top. and Appl, World Scientific, Singapore, 1989, pp. 163–180. |
| Reference:
|
[52] : Topological reflections revisited.Proc. Amer. Math. Soc. 108 (1990), 605–612. Zbl 0694.18006, MR 0987614, 10.1090/S0002-9939-1990-0987614-9 |
| Reference:
|
[53] : Elementary categories.Arch. Math. (Basel) 52 (1989), 248–288. Zbl 0665.18004, MR 1006723 |
| Reference:
|
[54] : Multiplicative lattices and $C^*$-algebras.Cah. Topologie Géom. Différ. Catég. 30 (1989), 95–110. Zbl 0676.46047, MR 1004734 |
| Reference:
|
[55] : Unexpected properties of locally presentable categories.Algebra Univ. 27 (1990), 153–170. Zbl 0701.18003, MR 1037859, 10.1007/BF01182450 |
| Reference:
|
[56] : On orthogonal subcategories of locally presentable categories.Discrete Math. 108 (1992), 133–137. Zbl 0767.18002, MR 1189836, 10.1016/0012-365X(92)90667-5 |
| Reference:
|
[57] : On injectivity in locally presentable categories.Trans. Amer. Math. Soc. 336 (1993), 785–804. Zbl 0789.18003, MR 1085935, 10.1090/S0002-9947-1993-1085935-2 |
| Reference:
|
[58] : What are locally generated categories? Proc.Proc. Categ. Conf. Como 1990, Lect. Notes Math, 1488, 1991, pp. 14–19. MR 1173001 |
| Reference:
|
[59] : On the equational theory of $C^*$-algebras.Algebra Univ. 30 (1993), 275–284. Zbl 0817.46057, MR 1223636, 10.1007/BF01196099 |
| Reference:
|
[60] : Characterizing spatial quantales.Algebra Univ. 34 (1995), 175–178. Zbl 0837.46055, MR 1348946 |
| Reference:
|
[61] : Models of Horn theories revisited.J. Pure Appl. Algebra 92 (1994), 185–190. Zbl 0798.18004, MR 1261125, 10.1016/0022-4049(94)90023-X |
| Reference:
|
[62] : Accessibility and the solution set condition.J. Pure Appl. Algebra 98 (1995), 189–208. Zbl 0817.18004, MR 1319969, 10.1016/0022-4049(94)00035-H |
| Reference:
|
[63] : More on directed colimits of models.Appl. Categ. Struct. 2 (1994), 71–76. Zbl 0801.18004, MR 1283214, 10.1007/BF00878503 |
| Reference:
|
[64] : Weakly locally presentable categories.Cah. Topologie Géom. Différ. Catég. 35 (1994), 179–186. Zbl 0809.18001, MR 1295116 |
| Reference:
|
[65] : Finitary sketches and finitely accessible categories.Math. Struct. Comput. Sci. 5 (1995), 315–322. Zbl 0838.18001, MR 1361603, 10.1017/S0960129500000773 |
| Reference:
|
[66] : Finitary sketches.J. Symb. Log. 62 (1997), 699–707. Zbl 0885.18001, MR 1472119 |
| Reference:
|
[67] : On preaccessible categories.J. Pure Appl. Algebra 105 (1995), 225–232. Zbl 0852.18003, MR 1367868, 10.1016/0022-4049(94)00152-9 |
| Reference:
|
[68] : Quantaloids for concurrency.Appl. Categ. Struct. 9 (2001), 329–338. Zbl 0991.18008, MR 1847304, 10.1023/A:1011252012003 |
| Reference:
|
[69] : On geometric and finitary sketches.Appl. Categ. Struct. 4 (1996), 227–240. Zbl 0855.18005, MR 1406100, 10.1007/BF00122254 |
| Reference:
|
[70] : A topological Banach space model of linear logic.Categorical Topology, E. Giuli (ed.), Kluwer, 1996, pp. 155–162. Zbl 0891.46046, MR 1412582 |
| Reference:
|
[71] : An algebraic description of locally multipresentable categories.Theory Appl. Categ. 2 (1996), 40–54. Zbl 0853.18006, MR 1399320 |
| Reference:
|
[72] : Accessible categories, saturation and categoricity.J. Symb. Log. 62 (1997), 891–901. Zbl 0891.03034, MR 1472128, 10.2307/2275577 |
| Reference:
|
[73] : Finite models of sketches.J. Pure Appl. Algebra 116 (1997), 3–23. Zbl 0867.18005, MR 1437610, 10.1016/S0022-4049(96)00159-4 |
| Reference:
|
[74] : Simple involutive quantales.J. Algebra 195 (1997), 367–386. Zbl 0894.06005, MR 1469630, 10.1006/jabr.1997.7051 |
| Reference:
|
[75] : Cartesian closed exact completions.J. Pure Appl. Algebra 142 (1999), 261–270. Zbl 0937.18003, MR 1721095, 10.1016/S0022-4049(98)00146-7 |
| Reference:
|
[76] : Localizations of varieties and quasivarieties.J. Pure Appl. Algebra 148 (2000), 275–284. Zbl 0948.18009, MR 1758734, 10.1016/S0022-4049(98)00155-8 |
| Reference:
|
[77] : More on injectivity in locally presentable categories.Theory Appl. Categ. 10 (2002), 148–161. Zbl 0993.18006, MR 1895512 |
| Reference:
|
[78] : A theory of enriched sketches.Theory Appl. Categ. 4 (1998), 47–72. Zbl 0981.18006, MR 1624638 |
| Reference:
|
[79] : On multivarieties and multialgebraic categories.J. Pure Appl. Algebra 163 (2001), 1–17. Zbl 0986.18007, MR 1847373, 10.1016/S0022-4049(01)00015-9 |
| Reference:
|
[80] : On essentially algebraic theories and their generalizations.Algebra Univ. 41 (1999), 213–227. Zbl 0970.18006, MR 1699341, 10.1007/s000120050111 |
| Reference:
|
[81] : Syntactic characterizations of various classes of locally presentable categories.J. Pure Appl. Algebra 161 (2001), 65–90. Zbl 0982.18006, MR 1834079, 10.1016/S0022-4049(01)00016-0 |
| Reference:
|
[82] : Algebras over variable theories.Algebra Univ. 47 (2002), 55–64. Zbl 1061.18007, MR 1901732, 10.1007/s00012-002-8174-3 |
| Reference:
|
[83] : On abstract data types presented by multiequations.Theory Comp. Sci. 275 (2002), 427–462. Zbl 1026.68031, MR 1902100, 10.1016/S0304-3975(01)00189-X |
| Reference:
|
[84] : Comparing coequalizer and exact completions.Theory Appl. Categ. 6 (1999), 77–82. Zbl 0941.18004, MR 1732464 |
| Reference:
|
[85] : Varieties without minimal generators.Algebra Univ. 45 (2001), 23–33. Zbl 1044.18001, MR 1809854, 10.1007/s000120050199 |
| Reference:
|
[86] : Continuous categories revisited.Theory Appl. Categ. 11 (2003), 252–282. Zbl 1018.18003, MR 1988399 |
| Reference:
|
[87] : On sifted colimits and generalized varieties.Theory Appl. Categ. 8 (2001), 33–53. Zbl 0971.18004, MR 1815045 |
| Reference:
|
[88] : On the duality between varieties and algebraic theories.Algebra Univ. 49 (2003), 35–49. Zbl 1090.18004, MR 1978611, 10.1007/s000120300002 |
| Reference:
|
[89] : Uncountable orthogonality is a closure property.Bull. London Math. Soc. 33 (2001), 685–688. Zbl 1031.18004, MR 1853779, 10.1112/S0024609301008451 |
| Reference:
|
[90] : Quantales.Current Research in Operational Quantum Logic: Algebras, Categories and Languages, B. Coecke, D. Moore, A. Wilce (eds.), Kluwer, Dordrecht, 2000, pp. 245–262. Zbl 1008.46026, MR 1907153 |
| Reference:
|
[91] : More on orthogonality in locally presentable categories.Cah. Topologie Géom. Différ. Catég. 42 (2001), 51–80. Zbl 0981.18007, MR 1820765 |
| Reference:
|
[92] : Injective hulls are not natural.Algebra Univ. 48 (2002), 379–388. Zbl 1061.18010, MR 1967087, 10.1007/s000120200006 |
| Reference:
|
[93] : Exact completion and representations in abelian categories.Homol. Homot. and Appl. 3 (2001), 453–466. Zbl 0993.18001, MR 1875916, 10.4310/HHA.2001.v3.n3.a1 |
| Reference:
|
[94] : On algebraically exact categories and essential localizations of varieties.J. Algebra 244 (2001), 450–477. Zbl 1004.18006, MR 1859036, 10.1006/jabr.2000.8577 |
| Reference:
|
[95] : How algebraic is algebra.Theory Appl. Categ. 8 (2001), 253–283. Zbl 0978.18006, MR 1825435 |
| Reference:
|
[96] : Flat covers and factorizations.J. Algebra 253 (2002), 1–13. Zbl 1024.18002, MR 1925005, 10.1016/S0021-8693(02)00043-1 |
| Reference:
|
[97] : On a generalized small-object argument for the injective subcategory problem.Cah. Topologie Géom. Différ. Catég. 43 (2002), 83–106. Zbl 1002.18002, MR 1913101 |
| Reference:
|
[98] : Weak factorization systems and topological functors.Appl. Categ. Struct. 10 (2002), 237–249. Zbl 0997.18002, MR 1916156, 10.1023/A:1015270120061 |
| Reference:
|
[99] : Lax factorization algebras.J. Pure Appl. Algebra 175 (2002), 355–382. Zbl 1013.18001, MR 1935984, 10.1016/S0022-4049(02)00141-X |
| Reference:
|
[100] : Classification of accessible categories.J. Pure Appl. Algebra 175 (2002), 7–30. Zbl 1010.18005, MR 1935970, 10.1016/S0022-4049(02)00126-3 |
| Reference:
|
[101] : Injectivity and accessible categories.Cubo Matem. Educ. 4 (2002), 201–211. MR 1928825 |
| Reference:
|
[102] : Modal predicates and coequations.Electronic Notes in Theor. Comp. Sci. 65 (2002), 39–58. |
| Reference:
|
[103] : Left-determined model categories and universal homotopy theories.Trans. Amer. Math. Soc. 355 (2003), 3611–3623. Zbl 1030.55015, MR 1990164, 10.1090/S0002-9947-03-03322-1 |
| Reference:
|
[104] : On quantales and spectra of $C^{\ast }$-algebras.Appl. Categ. Struct. 11 (2003), 543–560. Zbl 1044.46052, MR 2017650, 10.1023/A:1026106305210 |
| Reference:
|
[105] : On pure subobjects and pure quotients.Czech. Math. J. 54 (2004), 623–636. MR 2086721, 10.1007/s10587-004-6413-9 |
| Reference:
|
[106] : On projectivity in locally presentable categories.J. Algebra 272 (2004), 701–710. Zbl 1040.18008, MR 2028077, 10.1016/j.jalgebra.2003.09.014 |
| Reference:
|
[107] : Toward a characterization of algebraic exactness.J. Algebra 272 (2004), 730–738. Zbl 1044.18002, MR 2028079, 10.1016/j.jalgebra.2003.06.009 |
| Reference:
|
[108] : On von Neumann varieties.Theory Appl. Categ. 13 (2004), 5–26. Zbl 1057.18004, MR 2116320 |
| Reference:
|
[109] : A characterization of locally $D$-presentable categories.Cah. Topologie Géom. Différ. Catég. 14 (2004), 141–147. MR 2072935 |
| Reference:
|
[110] : Special reflexive graphs in modular varieties.Algebra Univ. 52 (2004), 5–26. Zbl 1087.08006, MR 2099784 |
| Reference:
|
[111] : Semi-abelian monadic categories.Theory Appl. Categ. 13 (2004), 106–113. Zbl 1063.18008, MR 2116325 |
| Reference:
|
[112] : When is flatness coherent? Commun.Algebra 33 (2005), 1903–1912. MR 2150850, 10.1081/AGB-200063333 |
| Reference:
|
[113] : Weak factorization systems, fractions and homotopies.Appl. Categ. Struct. 13 (2005), 141–160. MR 2141595, 10.1007/s10485-004-6730-z |
| Reference:
|
[114] : Operations and equations for coalgebras.Math. Struct. Comp. Sci. 15 (2005), 149–166. Zbl 1066.08005, MR 2121493, 10.1017/S0960129504004402 |
| Reference:
|
[115] : Generalized Brown representability in homotopy categories.Theory Appl. Categ. 14 (2005), 451–479. Zbl 1091.18002, MR 2211427 |
| Reference:
|
[116] : Completeness of cocompletions.J. Pure Appl. Algebra 196 (2005), 229–250. Zbl 1068.18002, MR 2110524, 10.1016/j.jpaa.2004.08.019 |
| Reference:
|
[117] : Pure morphisms in pro-categories.J. Pure Appl. Algebra 207 (2006), 19–35. Zbl 1099.18002, MR 2244258 |
| Reference:
|
[118] : Factorization systems and classification problems.Applied and Computational Category Theory (2006), 24–26. |
| . |
