| Publication | Date of Publication | Type |
|---|
| Varieties of quantitative algebras and their monads | 2024-12-06 | Paper |
| Strongly finitary monads for varieties of quantitative algebras | 2024-11-26 | Paper |
| On Kripke, Vietoris and Hausdorff polynomial functors ((co)algebraic pearls) | 2024-11-26 | Paper |
| Initial algebras and terminal coalgebras. The theory of fixed points of functors (to appear) | 2024-05-29 | Paper |
| Which Categories Are Varieties? ((Co)algebraic pearls) | 2023-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6061663 | 2023-12-08 | Paper |
| Smallness in topology | 2023-11-16 | Paper |
| On Kripke, Vietoris and Hausdorff Polynomial Functors | 2023-03-20 | Paper |
| Varieties of ordered algebras as categories | 2023-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5874192 | 2023-02-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875353 | 2023-02-03 | Paper |
| Sifted Colimits, Strongly Finitary Monads and Continuous Algebras | 2023-01-13 | Paper |
| Varieties of Quantitative or Continuous Algebras (Extended Abstract) | 2023-01-03 | Paper |
| A categorical view of varieties of ordered algebras | 2022-12-20 | Paper |
| Reiterman’s Theorem on Finite Algebras for a Monad | 2022-12-08 | Paper |
| Quantitative Algebras and a Classification of Metric Monads | 2022-10-04 | Paper |
| Finitary monads on the category of posets | 2022-04-05 | Paper |
| Approximate injectivity and smallness in metric-enriched categories | 2022-01-21 | Paper |
| On the behaviour of coalgebras with side effects and algebras with effectful iteration | 2021-10-21 | Paper |
| Varieties of ordered algebras as categories | 2021-10-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5009709 | 2021-08-05 | Paper |
| An Initial Algebra Theorem Without Iteration | 2021-04-20 | Paper |
| Approximate coalgebra homomorphisms and approximate solutions | 2021-02-22 | Paper |
| Algebraic cocompleteness and finitary functors | 2021-02-12 | Paper |
| D-ultrafilters and their monads | 2020-12-30 | Paper |
| On well-founded and recursive coalgebras | 2020-09-23 | Paper |
| Approximate injectivity and smallness in metric-enriched categories | 2020-06-02 | Paper |
| Eilenberg Theorems for Free | 2020-05-26 | Paper |
| How nice are free completions of categories? | 2020-04-06 | Paper |
| A farewell to Professor RNDr. Věra Trnková, DrSc. | 2020-03-06 | Paper |
| Colimit-dense subcategories | 2020-03-06 | Paper |
| On the Behaviour of Coalgebras with Side Effects and Algebras with Effectful Iteration | 2019-11-14 | Paper |
| On Finitary Functors | 2019-11-14 | Paper |
| Finitely Presentable Algebras For Finitary Monads | 2019-11-14 | Paper |
| Algebraic cocompleteness and finitary functors | 2019-03-06 | Paper |
| On functors preserving coproducts and algebras with iterativity | 2019-02-21 | Paper |
| Generalized Eilenberg Theorem | 2019-02-07 | Paper |
| On algebras with effectful iteration | 2018-10-23 | Paper |
| A formula for codensity monads and density comonads | 2018-10-15 | Paper |
| On Corecursive Algebras for Functors Preserving Coproducts. | 2018-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4643960 | 2018-05-30 | Paper |
| Varieties of Languages in a Category | 2018-04-23 | Paper |
| Algebra and local presentability: how algebraic are they? (A survey) | 2018-01-23 | Paper |
| Syntactic Monoids in a Category | 2017-07-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5274901 | 2017-07-07 | Paper |
| Coproducts of Monads on Set | 2017-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2969086 | 2017-03-14 | Paper |
| Fixed points of set functors: how many iterations are needed? | 2016-10-20 | Paper |
| Kan injectivity in order-enriched categories | 2016-07-27 | Paper |
| Fixed Points of Functors - A Short Abstract | 2016-07-15 | Paper |
| Profinite Monads, Profinite Equations, and Reiterman’s Theorem | 2016-06-10 | Paper |
| On continuous nondeterminism and state minimality | 2016-05-13 | Paper |
| Elgot theories: a new perspective of iteration theories (extended abstract) | 2016-05-10 | Paper |
| On reflective subcategories of locally presentable categories | 2015-12-14 | Paper |
| Coalgebraic constructions of canonical nondeterministic automata | 2015-11-10 | Paper |
| Canonical Nondeterministic Automata | 2015-09-11 | Paper |
| On final coalgebras of power-set functors and saturated trees | 2015-08-03 | Paper |
| On finitary functors and their presentations | 2015-04-28 | Paper |
| Corecursive algebras, corecursive monads and Bloom monads | 2014-09-30 | Paper |
| Generalized Eilenberg Theorem I: Local Varieties of Languages | 2014-04-16 | Paper |
| Base modules for parametrized iterativity | 2014-02-04 | Paper |
| Erratum to ``A logic of injectivity | 2014-01-08 | Paper |
| How iterative are iterative algebras? | 2013-12-04 | Paper |
| How iterative reflections of monads are constructed | 2013-11-29 | Paper |
| Elgot algebras (extended abstract) | 2013-10-08 | Paper |
| Iterative algebras for a base | 2013-09-20 | Paper |
| From iterative algebras to iterative theories (extended abstract) | 2013-09-11 | Paper |
| Well-pointed coalgebras | 2013-09-06 | Paper |
| On a description of terminal coalgebras and iterative theories | 2013-08-23 | Paper |
| On rational monads and free iterative theories | 2013-08-16 | Paper |
| Final coalgebras and a solution theorem for arbitrary endofunctors | 2013-08-15 | Paper |
| From Varieties of Algebras to Covarieties of Coalgebras | 2013-04-26 | Paper |
| A Coalgebraic View of Infinite Trees and Iteration | 2013-04-26 | Paper |
| Birkhoff's variety theorem in many sorts | 2012-11-27 | Paper |
| Relatively terminal coalgebras | 2012-10-16 | Paper |
| Recursive program schemes and context-free monads | 2012-10-02 | Paper |
| On Finitary Functors and Their Presentations | 2012-09-20 | Paper |
| Power-set functors and saturated trees | 2012-09-18 | Paper |
| A Coalgebraic Perspective on Minimization and Determinization | 2012-06-22 | Paper |
| Well-Pointed Coalgebras (Extended Abstract) | 2012-06-22 | Paper |
| Semantics of Higher-Order Recursion Schemes | 2012-06-01 | Paper |
| On second-order iterative monads | 2011-09-22 | Paper |
| From Corecursive Algebras to Corecursive Monads | 2011-09-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5200272 | 2011-08-01 | Paper |
| Elgot theories: a new perspective on the equational properties of iteration | 2011-06-10 | Paper |
| Initial algebras and terminal coalgebras in many-sorted sets | 2011-06-10 | Paper |
| Semantics of Higher-Order Recursion Schemes | 2011-05-26 | Paper |
| Equational properties of iterative monads | 2011-01-14 | Paper |
| Presentation of Set Functors: A Coalgebraic Perspective | 2010-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3164468 | 2010-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3574402 | 2010-07-09 | Paper |
| Iterative reflections of monads | 2010-06-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5188216 | 2010-03-10 | Paper |
| A logic of injectivity | 2010-02-17 | Paper |
| A logic of implications in algebra and coalgebra | 2010-01-04 | Paper |
| The orthogonal subcategory problem and the small object argument | 2009-09-02 | Paper |
| A Description of Iterative Reflections of Monads (Extended Abstract) | 2009-03-31 | Paper |
| Analytic functors and weak pullbacks | 2009-03-09 | Paper |
| Bases for parametrized iterativity | 2009-03-04 | Paper |
| On Algebras with Iteration | 2008-12-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3539842 | 2008-11-19 | Paper |
| What Are Iteration Theories? | 2008-09-17 | Paper |
| Recursive coalgebras of finitary functors | 2008-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5454623 | 2008-03-31 | Paper |
| Algebras with parametrized iterativity | 2007-12-18 | Paper |
| Elgot Algebras | 2007-10-11 | Paper |
| Iterative algebras at work | 2007-02-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3417718 | 2007-01-30 | Paper |
| The intersection of algebra and coalgebra | 2007-01-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3411966 | 2006-11-30 | Paper |
| Computer Science Logic | 2006-11-01 | Paper |
| Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
| Pure morphisms in pro-categories | 2006-09-13 | Paper |
| Terminal coalgebras and free iterative theories | 2006-08-16 | Paper |
| On the duality between varieties and algebraic theories | 2006-07-12 | Paper |
| Morita equivalence of many-sorted algebraic theories | 2006-05-29 | Paper |
| On Pure Quotients and Pure Subobjects | 2006-02-14 | Paper |
| A categorical characterization of varieties | 2006-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5715379 | 2006-01-03 | Paper |
| A general final coalgebra theorem | 2005-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4680360 | 2005-06-01 | Paper |
| Injective hulls are not natural. | 2005-04-19 | Paper |
| On quasivarieties and varieties as categories | 2005-04-07 | Paper |
| On reflective subcategories of varieties | 2004-11-19 | Paper |
| On tree coalgebras and coalgebra presentations | 2004-10-27 | Paper |
| On coalgebra based on classes | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4457259 | 2004-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4457308 | 2004-03-21 | Paper |
| Toward a characterization of algebraic exactness. | 2004-03-14 | Paper |
| Some remarks on finitary and iterative monads | 2004-01-06 | Paper |
| Free iterative theories: a coalgebraic view | 2003-10-13 | Paper |
| On varieties and covarieties in a category | 2003-10-13 | Paper |
| Infinite trees and completely iterative theories: A coalgebraic view | 2003-07-30 | Paper |
| On final coalgebras of continuous functors | 2003-07-29 | Paper |
| How accessible are categories of algebras? | 2003-06-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4707055 | 2003-06-05 | Paper |
| On algebraically exact categories and essential localizations of varieties | 2003-02-11 | Paper |
| Final Coalgebras are Ideal Completions of Initial Algebras | 2003-01-14 | Paper |
| A classification of accessible categories | 2002-12-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3146268 | 2002-11-05 | Paper |
| Weak factorization systems and topological functors | 2002-08-19 | Paper |
| On abstract data types presented by multiequations | 2002-07-31 | Paper |
| A remark on conservative cocompletions of categories | 2002-07-24 | Paper |
| On multivarieties and multialgebraic categories | 2002-05-29 | Paper |
| More on injectivity in locally presentable categories | 2002-04-16 | Paper |
| On functors which are lax epimorphisms | 2001-12-11 | Paper |
| Constructions of solid hulls | 2001-11-04 | Paper |
| More on orthogonality in locally presentable categories | 2001-07-17 | Paper |
| How large are left exact functors? | 2001-07-09 | Paper |
| Morita equivalence of sketches | 2001-06-21 | Paper |
| On essentially algebraic theories and their generalizations | 2001-06-10 | Paper |
| How algebraic is algebra? | 2001-04-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4527392 | 2001-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4488088 | 2000-07-23 | Paper |
| Algebraic theories of quasivarieties | 1999-03-09 | Paper |
| Finitary sketches | 1998-04-05 | Paper |
| A categorical generalization of Scott domains | 1998-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4353286 | 1998-01-11 | Paper |
| A remark on fixed points of functors in topological categories | 1997-11-19 | Paper |
| Finite models of sketches | 1997-07-08 | Paper |
| How to sketch quasivarieties | 1997-04-13 | Paper |
| On the greatest fixed point of a set functor | 1997-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4888800 | 1996-12-09 | Paper |
| On pure morphisms in accessible categories | 1996-12-08 | Paper |
| On geometric and finitary sketches | 1996-11-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4884923 | 1996-11-03 | Paper |
| Finitary sketches and finitely accessible categories | 1996-06-06 | Paper |
| On preaccessible categories | 1996-05-19 | Paper |
| Continuous algebras revisited | 1996-02-26 | Paper |
| Recursive data types in algebraically \(\omega\)-complete categories | 1995-07-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4311224 | 1995-03-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3137393 | 1995-01-16 | Paper |
| Věra Trnková's unbelievable 60 | 1994-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4293501 | 1994-05-26 | Paper |
| Existence and Nonexistence of Regular Generators | 1994-05-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3139894 | 1993-12-20 | Paper |
| On Injectivity in Locally Presentable Categories | 1993-08-11 | Paper |
| A farewell to Jan Reiterman | 1993-08-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4693062 | 1993-06-05 | Paper |
| The quasitopos hull of the category of uniform spaces -- a correction | 1993-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3996444 | 1993-01-23 | Paper |
| On orthogonal subcategories of locally presentable categories | 1993-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4002819 | 1992-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3978965 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3973025 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4712042 | 1992-06-25 | Paper |
| Corrigendum: How complete are categories of algebras | 1991-01-01 | Paper |
| Unexpected properties of locally presentable categories | 1990-01-01 | Paper |
| A characterization of concrete quasitopoi by injectivity | 1990-01-01 | Paper |
| Topological Reflections Revisited | 1990-01-01 | Paper |
| Total categories with generators | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3480249 | 1990-01-01 | Paper |
| How many variables does a quasivariety need? | 1990-01-01 | Paper |
| Monadic decompositions | 1989-01-01 | Paper |
| Injectivity of topological categories | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3801512 | 1988-01-01 | Paper |
| Intersections of Reflective Subcategories | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3820771 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3808286 | 1988-01-01 | Paper |
| On the logic of continuous algebras | 1988-01-01 | Paper |
| How complete are categories of algebras? | 1987-01-01 | Paper |
| The quasitopos hull of the category of uniform spaces | 1987-01-01 | Paper |
| Absolutely definable varieties of continuous algebras | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3735912 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4723930 | 1986-01-01 | Paper |
| On a problem of Herrlich concerning topological axioms | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3729135 | 1986-01-01 | Paper |
| The Birkhoff variety theorem for continuous algebras | 1985-01-01 | Paper |
| Cartesian closed hull of the category of uniform spaces | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3721385 | 1985-01-01 | Paper |
| Arbitrarily Large Continuous Algebras on One Generator | 1985-01-01 | Paper |
| Fixed Points as Equations and Solutions | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3659956 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3035660 | 1983-01-01 | Paper |
| Separately continuous algebras | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3658168 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3936886 | 1982-01-01 | Paper |
| Construction of free continuous algebras | 1982-01-01 | Paper |
| Embeddings into categories with fixed points in representations | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3956403 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3915137 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3905439 | 1981-01-01 | Paper |
| Varietors and machines in a category | 1981-01-01 | Paper |
| Tree constructions of free continuous algebras | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3877835 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3901649 | 1980-01-01 | Paper |
| Cartesian closed initial completions | 1980-01-01 | Paper |
| Are colimits of algebras simple to construct? | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3051388 | 1979-01-01 | Paper |
| On congruence lattices in a category | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3852399 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3859261 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3864046 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3864047 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3876100 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4189415 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4189414 | 1979-01-01 | Paper |
| On the Cogeneration of Algebras | 1979-01-01 | Paper |
| Least fixed point of a functor | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3915135 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3851260 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4141958 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4146876 | 1977-01-01 | Paper |
| On a representation of semigroups by products of algebras and relations | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4154726 | 1977-01-01 | Paper |
| Realization theory for automata in categories | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4156359 | 1977-01-01 | Paper |
| Colimits of algebras revisited | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4145864 | 1977-01-01 | Paper |
| Limits and colimits in generalized algebraic categories | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4112100 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4135610 | 1976-01-01 | Paper |
| Cogeneration of algebras in regular categories | 1976-01-01 | Paper |
| Sums of Boolean spaces represent every group | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4083346 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4118026 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4065693 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4044767 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4773844 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5654199 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5628150 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5611044 | 1970-01-01 | Paper |
| A Finitary Adjoint Functor Theorem | N/A | Paper |
| Categories which are varieties of classical or ordered algebras | N/A | Paper |
| Varieties of quantitative algebras as categories | N/A | Paper |
