Research

Algebras over variable theories, Alg. Univ. 47 (2002), 55-64, with D.B.Benson and M. Neèesal

On abstract data types presented by multiequations, Theor. Comp. Sci. 275 (2002), 427-462 , with J.Adámek and M.Hébert

Flat covers and factorizations, J. of Algebra, 253 (2002), 1-13

On a generalized small-object argument for the injective subcategory problem, Cahiers Top. Geom. Diff. Cat. XLIII (2002), 83-106, with J. Adámek, H. Herrlich and W.Tholen

Weak factorization systems and topological functors, Appl. Cat. Str. 10 (2002), 237-249, with J. Adámek, H. Herrlich and W.Tholen

Injectivity and accessible categories, Cubo Matem. Educ. 4 (2002), 201-211

Modal predicates and coequations, Electronic Notes in Theor. Comp. Sci. 65, 1 (2002), with A.Kurz

Classification of accessible categories, J. Pure Appl. Alg. 175 (2002), 7-30 with J. Adámek, F. Borceux and S. Lack

Injective hulls are not natural, Alg. Univ. 48 (2002), 379-388 with J.Adámek, H.Herrlich and W.Tholen

More on injectivity in locally presentable categories, Th. Appl. Categ. 10 (2002), 148-161 with J.Adámek and F.Borceux

On the duality between varieties and algebraic theories, Alg. Univ. 49 (2003), 35-49, with J.Adámek and F.W.Lawvere

Continuous categories revisited, Th. Appl. Categ. 11 (2003), 252-282 with J.Adámek and F.W.Lawvere

Left-determined model categories and universal homotopy theories, Trans. Amer. Math. Soc. 355 (2003), 3611-3623 with W.Tholen

On pure subobjects and pure quotients, Czech. Math. Jour. 54 (2004), 623-636 with J.Adámek

On projectivity in locally presentable categories, J. Alg. 272 (2004), 701-710

Toward a characterization of algebraic exactness, J. Alg. 272 (2004), 730-738 with J.Adámek

A characterization of locally D-presentable categories, Cah. Top. Geom. Diff. Cat. XLV (2004), 141-146 with C.Centazzo and E.M.Vitale

On von Neumann varieties, Th. Appl. Cat. 13 (2004), 5-26 with F.Borceux

Semi-abelian monadic categories, Th. Appl. Cat. 13 (2004), 106-113 with M.Gran

Special reflexive graphs in modular varieties, Alg. Univ. 52 (2004), 89-102 with M.Gran

When is flatness coherent?, Comm. in Alg. 33 (2005), 1903-1912 with T.Beke and P.Karazeris

Weak factorization systems, fractions and homotopies, Appl. Cat. Struct. 13 (2005), 141-160 with A.Kurz

Pure morphisms in pro-categories, J. Pure Appl. Alg. 207 (2006), 19-35 with J.Adámek

Purity in algebra, with F.Borceux, Alg. Univ. 56 (2007), 17-35

Factorizations, fibrations and torsion, J. Homot. Relat. Struct. 2 (2007). 295-314 with W. Tholen

A convenient category for directed homotopy, with L. Fajstrup, Th. Appl. Cat. 21 (2008), 7-20

Mal'cev conditions revisited, with D. Bourn, Appl. Cat. Str. 16 (2008), 723-733

On combinatorial model categories, Appl. Cat. Str. 17 (2009), 303-316

To appear shortly

Papers submitted for publication

Are all cofibrantly generated model categories combinatorial?

Others

On homotopy varieties, corrected version of Adv. Math. 214 (2007), 525-550

Talks

Class-combinatorial model categories, Calais 2008

Homotopy accessible categories, Brussels 2008

Phantom accessible triangulated categories, Paderborn 2009

Facets of accessibility, Durham 2009

Prednásky

Matematická logika

Texty

Testy

Teorie mnozin I

Texty

Testy

Teorie mnozin II

Texty

Testy

Základy matematiky

Texty

Testy