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

Generalized Brown representability in homotopy categories, corrected version of Theory Appl. Categ. 14 (2005), 45-479

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