Professor Rosický sexagenarian

Adámek, Jiří ; Paseka, Jan

Mathematica Bohemica, Tome 132 (2007) no. 4, pp. 437-443

Détail

DOI : 10.21136/MB.2007.133961

Classification : 01A70

Bibliographie

[1] Algebra. Purkyně University, Brno, 1981, text-book. (Czech)

[2] Universální algebra a teorie svazů. SPN, Praha, 1988, text-book (with L. Bican). (Czech)

[3] Locally presentable and accessible categories. Cambridge University Press, Cambridge, 1994, monograph. | MR | Zbl

[1] A note on topology compatible with the ordering. Arch. Math., Brno 5 (1969), 19–24. | MR | Zbl

[2] On the existence of graphs with a certain ordering of vertices. Arch. Math., Brno 6 (1970), 89–113. | MR

[3] Relative Komplemente im Verband der $T_1$-Topologien. Publ. Fac. Sci. Univ, Brno 518, 1970, pp. 445–460. | MR

[4] Topologies compatible with the ordering. Publ. Fac. Sci. Univ, Brno, 1971, pp. 9–23. | MR

[5] On a characterization of the lattice of $m$-ideals of an ordered set. Arch. Math., Brno 8 (1972), 137–142. | MR

[6] Full embeddings with a given restriction. Comment. Math. Univ. Carol. 14 (1973), 519–540. | MR | Zbl

[7] Strong embeddings into categories of algebras over a monad I. Comment. Math. Univ. Carol. 14 (1973), 699–718. | MR | Zbl

[8] Realizations of topologies by set-systems. Coll. Math. Soc. J. Bolyai 8. Topics in Topology, Keszthely, 1972, pp. 535–553. | MR

[9] Embeddings of lattices in the lattice of topologies. Arch. Math., Brno 9 (1973), 49–56. | MR

[10] Strong embeddings into categories of algebras over monad II. Comment. Math. Univ. Carol. 15 (1974), 131–147. | MR

[11] Remarks on topologies uniquely determined by their continuous self maps. Czech. Math. J. 24 (1974), 373–377. | MR | Zbl

[12] The topology of the unit interval is not uniquely determined by its continuous self maps. Colloq. Math. 31 (1974), 179–188. | DOI | MR | Zbl

[13] Preservation of topological properties by automorphisms of the lattice of topologies. Publ. Fac. Sci. Univ, Brno, 1974, pp. 59–62. | MR | Zbl

[14] Sublattices of the lattice of topologies. Acta Fac. Rer. Natur. Univ. Comenian., Math, 1975, pp. 39–41. | MR | Zbl

[15] On extensions of full embeddings and binding categories. Comment. Math. Univ. Carol. 15 (1974), 631–653. | MR | Zbl

[16] Codensity and binding categories. Comment. Math. Univ. Carol. 16 (1975), 515–529. | MR | Zbl

[17] Concerning binding categories. Czech. Math. J. 25 (1975), 515–529. | MR | Zbl

[18] Modular, distributive and simple intervals of the lattice of topologies. Arch. Math., Brno 11 (1975), 105–114. | MR

[19] Topologies compatible with the ordering. Publ. Fac. Sci. Univ, Brno, 1974, pp. 39–42. | MR | Zbl

[20] One example concerning testing categories. Comment. Math. Univ. Carol. 18 (1977), 71–75. | MR | Zbl

[21] One obstruction for closedness. Comment. Math. Univ. Carol. 18 (1977), 311–318. | MR | Zbl

[22] Liftings of functors in topological situations. Proc. 4th Prague Toposym, Praha, 1977, pp. 394–400. | MR | Zbl

[23] 2-categorical tools in the theory of concrete categories. Abstr. 5th Winter School on Abstract Analysis, Praha, 1977, pp. 95–99.

[24] Extensions of functors and their applications. Cah. Topologie Géom. Différ. 19 (1978), 179–219. | MR | Zbl

[25] Categories of models of infinitary Horn theories. Arch. Math., Brno (1978), 219–226. | MR | Zbl

[26] An algebraic description of ordinals. Diagrammes 2 (1979). | Zbl

[27] Equational categories. Cah. Topologie Géom. Différ. 22 (1981), 85–96. | MR | Zbl

[28] On algebraic categories. Coll. Math. Soc. J. Bolyai 29, Universal Algebra, Budapest, 1981, pp. 662–690.

[29] Implicit operations on finite algebras. Coll. Math. Soc. J. Bolyai 28, Budapest, 1981, pp. 653–668. | MR | Zbl

[30] Concrete categories and infinitary languages. J. Pure Appl. Algebra 22 (1981), 309–339. | DOI | MR | Zbl

[31] A note on algebraic categories. Arch. Math., Brno 18 (1982), 163–168. | MR | Zbl

[32] Does $\exp (X)$ exist for a proper class $X$? Abstr. 8th Winter School on Abstract Anal, Praha, 1982, pp. 138–142.

[33] Categories of models of languages $ L_{\kappa \lambda } (\mu )$. Abstr. 9th Winter School on Abstract Anal, Praha, 1982, pp. 153–157.

[34] Categories of models. Seminarberichte Fernuniversität Hagen 19, 1984, pp. 377–413. | Zbl

[35] Abstract tangent functors. Diagrammes 12 (1984), 1–11. | MR | Zbl

[36] Varieties of infinitary universal algebras. Algebra Univ. 20 (1985), 123–126. | DOI | MR | Zbl

[37] $T_1$-locales. Math. Proc. Camb. Phil. Soc. 98 (1985), 81–86. | MR

[38] Semi-initial completions. J. Pure Appl. Algebra 40 (1986), 177–189. | DOI | MR | Zbl

[39] A note on exponentiation in regular locales. Arch. Math., Brno 22 (1986), 157–158. | MR | Zbl

[40] Multiplicative lattices and frames. Acta Math. Hung. 49 (1987), 391–395. | DOI | MR | Zbl

[41] A categorical characterization of sets among classes. Arch. Math., Brno 23 (1987), 117–121. | MR | Zbl

[42] Intersections of reflective subcategories. Proc. Amer. Math. Soc. 103 (1988), 710–712. | DOI | MR | Zbl

[43] Essentially equational categories. Cah. Topologie Géom. Différ. Catég. 29 (1988), 175–192. | MR | Zbl

[44] Are all limit closed subcategories of locally presentable categories reflective. Categorical Algebra and its Applications, Lect. Notes Math. 1348, 1988, pp. 1–18. | MR | Zbl

[45] Orthogonal and prereflective subcategories. Cah. Topologie Géom. Différ. Catég. 29 (1988), 203–216. | MR | Zbl

[46] Remarks on localic groups. Categorical Algebra and its Applications, Lect. Notes Math, 1348, 1988, pp. 154–172. | MR

[47] Reflections in locally presentable categories. Arch. Math., Brno 25 (1989), 89–94. | MR | Zbl

[48] Elementary categories. Arch. Math. (Basel) 52 (1989), 284–288. | DOI | MR | Zbl

[49] Representability of concrete categories by non-constant morphism. Arch. Math., Brno 25 (1989), 115–118. | MR

[50] Quantales and $C^*$-algebras. J. London Math. Soc. 40 (1989), 398–404. | MR | Zbl

[51] Generating the monadic theory of $C^*$-algebras and related categories. Proc. Categ. Top. and Appl, World Scientific, Singapore, 1989, pp. 163–180.

[52] Topological reflections revisited. Proc. Amer. Math. Soc. 108 (1990), 605–612. | DOI | MR | Zbl

[53] Elementary categories. Arch. Math. (Basel) 52 (1989), 248–288. | MR | Zbl

[54] Multiplicative lattices and $C^*$-algebras. Cah. Topologie Géom. Différ. Catég. 30 (1989), 95–110. | MR | Zbl

[55] Unexpected properties of locally presentable categories. Algebra Univ. 27 (1990), 153–170. | DOI | MR | Zbl

[56] On orthogonal subcategories of locally presentable categories. Discrete Math. 108 (1992), 133–137. | DOI | MR | Zbl

[57] On injectivity in locally presentable categories. Trans. Amer. Math. Soc. 336 (1993), 785–804. | DOI | MR | Zbl

[58] What are locally generated categories? Proc. Proc. Categ. Conf. Como 1990, Lect. Notes Math, 1488, 1991, pp. 14–19. | MR

[59] On the equational theory of $C^*$-algebras. Algebra Univ. 30 (1993), 275–284. | DOI | MR | Zbl

[60] Characterizing spatial quantales. Algebra Univ. 34 (1995), 175–178. | MR | Zbl

[61] Models of Horn theories revisited. J. Pure Appl. Algebra 92 (1994), 185–190. | DOI | MR | Zbl

[62] Accessibility and the solution set condition. J. Pure Appl. Algebra 98 (1995), 189–208. | DOI | MR | Zbl

[63] More on directed colimits of models. Appl. Categ. Struct. 2 (1994), 71–76. | DOI | MR | Zbl

[64] Weakly locally presentable categories. Cah. Topologie Géom. Différ. Catég. 35 (1994), 179–186. | MR | Zbl

[65] Finitary sketches and finitely accessible categories. Math. Struct. Comput. Sci. 5 (1995), 315–322. | DOI | MR | Zbl

[66] Finitary sketches. J. Symb. Log. 62 (1997), 699–707. | MR | Zbl

[67] On preaccessible categories. J. Pure Appl. Algebra 105 (1995), 225–232. | DOI | MR | Zbl

[68] Quantaloids for concurrency. Appl. Categ. Struct. 9 (2001), 329–338. | DOI | MR | Zbl

[69] On geometric and finitary sketches. Appl. Categ. Struct. 4 (1996), 227–240. | DOI | MR | Zbl

[70] A topological Banach space model of linear logic. Categorical Topology, E. Giuli (ed.), Kluwer, 1996, pp. 155–162. | MR | Zbl

[71] An algebraic description of locally multipresentable categories. Theory Appl. Categ. 2 (1996), 40–54. | MR | Zbl

[72] Accessible categories, saturation and categoricity. J. Symb. Log. 62 (1997), 891–901. | DOI | MR | Zbl

[73] Finite models of sketches. J. Pure Appl. Algebra 116 (1997), 3–23. | DOI | MR | Zbl

[74] Simple involutive quantales. J. Algebra 195 (1997), 367–386. | DOI | MR | Zbl

[75] Cartesian closed exact completions. J. Pure Appl. Algebra 142 (1999), 261–270. | DOI | MR | Zbl

[76] Localizations of varieties and quasivarieties. J. Pure Appl. Algebra 148 (2000), 275–284. | DOI | MR | Zbl

[77] More on injectivity in locally presentable categories. Theory Appl. Categ. 10 (2002), 148–161. | MR | Zbl

[78] A theory of enriched sketches. Theory Appl. Categ. 4 (1998), 47–72. | MR | Zbl

[79] On multivarieties and multialgebraic categories. J. Pure Appl. Algebra 163 (2001), 1–17. | DOI | MR | Zbl

[80] On essentially algebraic theories and their generalizations. Algebra Univ. 41 (1999), 213–227. | DOI | MR | Zbl

[81] Syntactic characterizations of various classes of locally presentable categories. J. Pure Appl. Algebra 161 (2001), 65–90. | DOI | MR | Zbl

[82] Algebras over variable theories. Algebra Univ. 47 (2002), 55–64. | DOI | MR | Zbl

[83] On abstract data types presented by multiequations. Theory Comp. Sci. 275 (2002), 427–462. | DOI | MR | Zbl

[84] Comparing coequalizer and exact completions. Theory Appl. Categ. 6 (1999), 77–82. | MR | Zbl

[85] Varieties without minimal generators. Algebra Univ. 45 (2001), 23–33. | DOI | MR | Zbl

[86] Continuous categories revisited. Theory Appl. Categ. 11 (2003), 252–282. | MR | Zbl

[87] On sifted colimits and generalized varieties. Theory Appl. Categ. 8 (2001), 33–53. | MR | Zbl

[88] On the duality between varieties and algebraic theories. Algebra Univ. 49 (2003), 35–49. | DOI | MR | Zbl

[89] Uncountable orthogonality is a closure property. Bull. London Math. Soc. 33 (2001), 685–688. | DOI | MR | Zbl

[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. | MR | Zbl

[91] More on orthogonality in locally presentable categories. Cah. Topologie Géom. Différ. Catég. 42 (2001), 51–80. | MR | Zbl

[92] Injective hulls are not natural. Algebra Univ. 48 (2002), 379–388. | DOI | MR | Zbl

[93] Exact completion and representations in abelian categories. Homol. Homot. and Appl. 3 (2001), 453–466. | DOI | MR | Zbl

[94] On algebraically exact categories and essential localizations of varieties. J. Algebra 244 (2001), 450–477. | DOI | MR | Zbl

[95] How algebraic is algebra. Theory Appl. Categ. 8 (2001), 253–283. | MR | Zbl

[96] Flat covers and factorizations. J. Algebra 253 (2002), 1–13. | DOI | MR | Zbl

[97] On a generalized small-object argument for the injective subcategory problem. Cah. Topologie Géom. Différ. Catég. 43 (2002), 83–106. | MR | Zbl

[98] Weak factorization systems and topological functors. Appl. Categ. Struct. 10 (2002), 237–249. | DOI | MR | Zbl

[99] Lax factorization algebras. J. Pure Appl. Algebra 175 (2002), 355–382. | DOI | MR | Zbl

[100] Classification of accessible categories. J. Pure Appl. Algebra 175 (2002), 7–30. | DOI | MR | Zbl

[101] Injectivity and accessible categories. Cubo Matem. Educ. 4 (2002), 201–211. | MR

[102] Modal predicates and coequations. Electronic Notes in Theor. Comp. Sci. 65 (2002), 39–58.

[103] Left-determined model categories and universal homotopy theories. Trans. Amer. Math. Soc. 355 (2003), 3611–3623. | DOI | MR | Zbl

[104] On quantales and spectra of $C^{\ast }$-algebras. Appl. Categ. Struct. 11 (2003), 543–560. | DOI | MR | Zbl

[105] On pure subobjects and pure quotients. Czech. Math. J. 54 (2004), 623–636. | DOI | MR

[106] On projectivity in locally presentable categories. J. Algebra 272 (2004), 701–710. | DOI | MR | Zbl

[107] Toward a characterization of algebraic exactness. J. Algebra 272 (2004), 730–738. | DOI | MR | Zbl

[108] On von Neumann varieties. Theory Appl. Categ. 13 (2004), 5–26. | MR | Zbl

[109] A characterization of locally $D$-presentable categories. Cah. Topologie Géom. Différ. Catég. 14 (2004), 141–147. | MR

[110] Special reflexive graphs in modular varieties. Algebra Univ. 52 (2004), 5–26. | MR | Zbl

[111] Semi-abelian monadic categories. Theory Appl. Categ. 13 (2004), 106–113. | MR | Zbl

[112] When is flatness coherent? Commun. Algebra 33 (2005), 1903–1912. | DOI | MR

[113] Weak factorization systems, fractions and homotopies. Appl. Categ. Struct. 13 (2005), 141–160. | DOI | MR

[114] Operations and equations for coalgebras. Math. Struct. Comp. Sci. 15 (2005), 149–166. | DOI | MR | Zbl

[115] Generalized Brown representability in homotopy categories. Theory Appl. Categ. 14 (2005), 451–479. | MR | Zbl

[116] Completeness of cocompletions. J. Pure Appl. Algebra 196 (2005), 229–250. | DOI | MR | Zbl

[117] Pure morphisms in pro-categories. J. Pure Appl. Algebra 207 (2006), 19–35. | MR | Zbl

[118] Factorization systems and classification problems. Applied and Computational Category Theory (2006), 24–26.