| 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)
Cambridge Tracts in Theoretical Computer Science | 2024-05-29 | Paper |
| Which Categories Are Varieties? ((Co)algebraic pearls) | 2023-12-08 | Paper |
| scientific article; zbMATH DE number 7774231 (Why is no real title available?) | 2023-12-08 | Paper |
Smallness in topology
Quaestiones Mathematicae | 2023-11-16 | Paper |
| On Kripke, Vietoris and Hausdorff Polynomial Functors | 2023-03-20 | Paper |
Varieties of ordered algebras as categories
Algebra Universalis | 2023-02-28 | Paper |
scientific article; zbMATH DE number 7650820 (Why is no real title available?)
(available as arXiv preprint) | 2023-02-07 | Paper |
| scientific article; zbMATH DE number 7649895 (Why is no real title available?) | 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
Mathematical Structures in Computer Science | 2022-12-20 | Paper |
Reiterman’s Theorem on Finite Algebras for a Monad
ACM Transactions on Computational Logic | 2022-12-08 | Paper |
| Quantitative Algebras and a Classification of Metric Monads | 2022-10-04 | Paper |
Finitary monads on the category of posets
Mathematical Structures in Computer Science | 2022-04-05 | Paper |
Approximate injectivity and smallness in metric-enriched categories
Journal of Pure and Applied Algebra | 2022-01-21 | Paper |
On the behaviour of coalgebras with side effects and algebras with effectful iteration
Journal Of Logic And Computation | 2021-10-21 | Paper |
Varieties of ordered algebras as categories
(available as arXiv preprint) | 2021-10-13 | Paper |
scientific article; zbMATH DE number 7379294 (Why is no real title available?)
(available as arXiv preprint) | 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
Advances in Mathematics | 2020-12-30 | Paper |
On well-founded and recursive coalgebras
(available as arXiv preprint) | 2020-09-23 | Paper |
Approximate injectivity and smallness in metric-enriched categories
(available as arXiv preprint) | 2020-06-02 | Paper |
Eilenberg Theorems for Free
(available as arXiv preprint) | 2020-05-26 | Paper |
How nice are free completions of categories?
Topology and its Applications | 2020-04-06 | Paper |
A farewell to Professor RNDr. Věra Trnková, DrSc.
Commentationes Mathematicae Universitatis Carolinae | 2020-03-06 | Paper |
Colimit-dense subcategories
Commentationes Mathematicae Universitatis Carolinae | 2020-03-06 | Paper |
On the Behaviour of Coalgebras with Side Effects and Algebras with Effectful Iteration
(available as arXiv preprint) | 2019-11-14 | Paper |
| Finitely presentable algebras for finitary monads | 2019-11-14 | Paper |
Finitely presentable algebras for finitary monads
(available as arXiv preprint) | 2019-11-14 | Paper |
| On finitary functors | 2019-11-14 | Paper |
On finitary functors
(available as arXiv preprint) | 2019-11-14 | Paper |
Algebraic cocompleteness and finitary functors
(available as arXiv preprint) | 2019-03-06 | Paper |
On functors preserving coproducts and algebras with iterativity
Theoretical Computer Science | 2019-02-21 | Paper |
Generalized Eilenberg theorem. Varieties of languages in a category
ACM Transactions on Computational Logic | 2019-02-07 | Paper |
| On algebras with effectful iteration | 2018-10-23 | Paper |
A formula for codensity monads and density comonads
Applied Categorical Structures | 2018-10-15 | Paper |
On corecursive algebras for functors preserving coproducts
(available as arXiv preprint) | 2018-08-13 | Paper |
A categorical approach to syntactic monoids
(available as arXiv preprint) | 2018-05-30 | Paper |
Varieties of Languages in a Category
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Algebra and local presentability: how algebraic are they? (A survey)
Tbilisi Mathematical Journal | 2018-01-23 | Paper |
Syntactic monoids in a category
(available as arXiv preprint) | 2017-07-11 | Paper |
| scientific article; zbMATH DE number 6740664 (Why is no real title available?) | 2017-07-07 | Paper |
Coproducts of monads on Set
2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
| KZ-monadic categories and their logic | 2017-03-14 | Paper |
Fixed points of set functors: how many iterations are needed?
Applied Categorical Structures | 2016-10-20 | Paper |
Kan injectivity in order-enriched categories
Mathematical Structures in Computer Science | 2016-07-27 | Paper |
Fixed Points of Functors - A Short Abstract
Coalgebraic Methods in Computer Science | 2016-07-15 | Paper |
Profinite monads, profinite equations, and Reiterman's theorem
Lecture Notes in Computer Science | 2016-06-10 | Paper |
| On continuous nondeterminism and state minimality | 2016-05-13 | Paper |
Elgot theories: a new perspective of iteration theories (extended abstract)
Electronic Notes in Theoretical Computer Science | 2016-05-10 | Paper |
| On reflective subcategories of locally presentable categories | 2015-12-14 | Paper |
On reflective subcategories of locally presentable categories
(available as arXiv preprint) | 2015-12-14 | Paper |
Coalgebraic constructions of canonical nondeterministic automata
Theoretical Computer Science | 2015-11-10 | Paper |
Canonical nondeterministic automata
Advanced Information Systems Engineering | 2015-09-11 | Paper |
On final coalgebras of power-set functors and saturated trees
Applied Categorical Structures | 2015-08-03 | Paper |
On finitary functors and their presentations
Journal of Computer and System Sciences | 2015-04-28 | Paper |
Corecursive algebras, corecursive monads and Bloom monads
Logical Methods in Computer Science | 2014-09-30 | Paper |
Generalized Eilenberg theorem. I: Local varieties of languages
Lecture Notes in Computer Science | 2014-04-16 | Paper |
Base modules for parametrized iterativity
Theoretical Computer Science | 2014-02-04 | Paper |
Erratum to ``A logic of injectivity
Journal of Homotopy and Related Structures | 2014-01-08 | Paper |
| How iterative are iterative algebras? | 2013-12-04 | Paper |
How iterative reflections of monads are constructed
Information and Computation | 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
Logical Methods in Computer Science | 2013-09-06 | Paper |
| On a description of terminal coalgebras and iterative theories | 2013-08-23 | Paper |
On rational monads and free iterative theories
Electronic Notes in Theoretical Computer Science | 2013-08-16 | Paper |
Final coalgebras and a solution theorem for arbitrary endofunctors
Electronic Notes in Theoretical Computer Science | 2013-08-15 | Paper |
From varieties of algebras to covarieties of coalgebras
Electronic Notes in Theoretical Computer Science | 2013-04-26 | Paper |
A coalgebraic view of infinite trees and iteration
Electronic Notes in Theoretical Computer Science | 2013-04-26 | Paper |
Birkhoff's variety theorem in many sorts
Algebra Universalis | 2012-11-27 | Paper |
Relatively terminal coalgebras
Journal of Pure and Applied Algebra | 2012-10-16 | Paper |
Recursive program schemes and context-free monads
Electronic Notes in Theoretical Computer Science | 2012-10-02 | Paper |
On Finitary Functors and Their Presentations
Coalgebraic Methods in Computer Science | 2012-09-20 | Paper |
| Power-set functors and saturated trees | 2012-09-18 | Paper |
A Coalgebraic Perspective on Minimization and Determinization
Foundations of Software Science and Computational Structures | 2012-06-22 | Paper |
Well-pointed coalgebras (extended abstract)
Foundations of Software Science and Computational Structures | 2012-06-22 | Paper |
Semantics of higher-order recursion schemes
Lecture Notes in Computer Science | 2012-06-01 | Paper |
On second-order iterative monads
Theoretical Computer Science | 2011-09-22 | Paper |
From corecursive algebras to corecursive monads
Algebra and Coalgebra in Computer Science | 2011-09-02 | Paper |
| scientific article; zbMATH DE number 5934744 (Why is no real title available?) | 2011-08-01 | Paper |
| scientific article; zbMATH DE number 5934744 (Why is no real title available?) | 2011-08-01 | Paper |
Initial algebras and terminal coalgebras in many-sorted sets
Mathematical Structures in Computer Science | 2011-06-10 | Paper |
Elgot theories: a new perspective on the equational properties of iteration
Mathematical Structures in Computer Science | 2011-06-10 | Paper |
Semantics of higher-order recursion schemes
Logical Methods in Computer Science | 2011-05-26 | Paper |
Equational properties of iterative monads
Information and Computation | 2011-01-14 | Paper |
Presentation of set functors: a coalgebraic perspective
Journal Of Logic And Computation | 2010-11-11 | Paper |
| Algebraic theories. A categorical introduction to general algebra. With a foreword by F. W. Lawvere | 2010-10-28 | Paper |
| On quasi-equations in locally presentable categories. II: A logic | 2010-07-09 | Paper |
Iterative reflections of monads
Mathematical Structures in Computer Science | 2010-06-02 | Paper |
| Quasi-equations in locally presentable categories | 2010-03-10 | Paper |
A logic of injectivity
Journal of Homotopy and Related Structures | 2010-02-17 | Paper |
A logic of injectivity
Journal of Homotopy and Related Structures | 2010-02-17 | Paper |
A logic of injectivity
Journal of Homotopy and Related Structures | 2010-02-17 | Paper |
A logic of implications in algebra and coalgebra
Algebra Universalis | 2010-01-04 | Paper |
The orthogonal subcategory problem and the small object argument
Applied Categorical Structures | 2009-09-02 | Paper |
A Description of Iterative Reflections of Monads (Extended Abstract)
Foundations of Software Science and Computational Structures | 2009-03-31 | Paper |
| Analytic functors and weak pullbacks | 2009-03-09 | Paper |
Bases for parametrized iterativity
Information and Computation | 2009-03-04 | Paper |
On Algebras with Iteration
Journal Of Logic And Computation | 2008-12-22 | Paper |
| A logic of orthogonality. | 2008-11-19 | Paper |
| A logic of orthogonality. | 2008-11-19 | Paper |
What Are Iteration Theories?
Mathematical Foundations of Computer Science 2007 | 2008-09-17 | Paper |
Recursive coalgebras of finitary functors
RAIRO - Theoretical Informatics and Applications | 2008-07-21 | Paper |
Recursive coalgebras of finitary functors
RAIRO - Theoretical Informatics and Applications | 2008-07-21 | Paper |
Recursive coalgebras of finitary functors
RAIRO - Theoretical Informatics and Applications | 2008-07-21 | Paper |
| Iterative algebras: how iterative are they? | 2008-03-31 | Paper |
| Iterative algebras: how iterative are they? | 2008-03-31 | Paper |
Algebras with parametrized iterativity
Theoretical Computer Science | 2007-12-18 | Paper |
Elgot Algebras
Logical Methods in Computer Science | 2007-10-11 | Paper |
Iterative algebras at work
Mathematical Structures in Computer Science | 2007-02-07 | Paper |
| Birkhoff's covariety theorem without limitations. | 2007-01-30 | Paper |
| Birkhoff's covariety theorem without limitations. | 2007-01-30 | Paper |
The intersection of algebra and coalgebra
Theoretical Computer Science | 2007-01-09 | Paper |
| Abstract and concrete categories: the joy of cats | 2006-11-30 | Paper |
| Abstract and concrete categories: the joy of cats | 2006-11-30 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Algebra and Coalgebra in Computer Science
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Pure morphisms in pro-categories
Journal of Pure and Applied Algebra | 2006-09-13 | Paper |
Terminal coalgebras and free iterative theories
Information and Computation | 2006-08-16 | Paper |
On the duality between varieties and algebraic theories
Algebra Universalis | 2006-07-12 | Paper |
Morita equivalence of many-sorted algebraic theories
Journal of Algebra | 2006-05-29 | Paper |
On Pure Quotients and Pure Subobjects
Czechoslovak Mathematical Journal | 2006-02-14 | Paper |
On Pure Quotients and Pure Subobjects
Czechoslovak Mathematical Journal | 2006-02-14 | Paper |
A categorical characterization of varieties
Algebra Universalis | 2006-01-17 | Paper |
| scientific article; zbMATH DE number 2242853 (Why is no real title available?) | 2006-01-03 | Paper |
A general final coalgebra theorem
Mathematical Structures in Computer Science | 2005-08-03 | Paper |
| scientific article; zbMATH DE number 2172972 (Why is no real title available?) | 2005-06-01 | Paper |
| scientific article; zbMATH DE number 2172972 (Why is no real title available?) | 2005-06-01 | Paper |
Injective hulls are not natural.
Algebra Universalis | 2005-04-19 | Paper |
On quasivarieties and varieties as categories
Studia Logica | 2005-04-07 | Paper |
On reflective subcategories of varieties
Journal of Algebra | 2004-11-19 | Paper |
On tree coalgebras and coalgebra presentations
Theoretical Computer Science | 2004-10-27 | Paper |
On coalgebra based on classes
Theoretical Computer Science | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2061574 (Why is no real title available?) | 2004-03-21 | Paper |
| scientific article; zbMATH DE number 2061622 (Why is no real title available?) | 2004-03-21 | Paper |
Toward a characterization of algebraic exactness.
Journal of Algebra | 2004-03-14 | Paper |
Some remarks on finitary and iterative monads
Applied Categorical Structures | 2004-01-06 | Paper |
Free iterative theories: a coalgebraic view
Mathematical Structures in Computer Science | 2003-10-13 | Paper |
On varieties and covarieties in a category
Mathematical Structures in Computer Science | 2003-10-13 | Paper |
Infinite trees and completely iterative theories: A coalgebraic view
Theoretical Computer Science | 2003-07-30 | Paper |
On final coalgebras of continuous functors
Theoretical Computer Science | 2003-07-29 | Paper |
How accessible are categories of algebras?
Journal of Pure and Applied Algebra | 2003-06-18 | Paper |
| scientific article; zbMATH DE number 1924517 (Why is no real title available?) | 2003-06-05 | Paper |
| scientific article; zbMATH DE number 1924517 (Why is no real title available?) | 2003-06-05 | Paper |
On algebraically exact categories and essential localizations of varieties
Journal of Algebra | 2003-02-11 | Paper |
Final Coalgebras are Ideal Completions of Initial Algebras
Journal Of Logic And Computation | 2003-01-14 | Paper |
A classification of accessible categories
Journal of Pure and Applied Algebra | 2002-12-02 | Paper |
| scientific article; zbMATH DE number 1799497 (Why is no real title available?) | 2002-11-05 | Paper |
| scientific article; zbMATH DE number 1799497 (Why is no real title available?) | 2002-11-05 | Paper |
Weak factorization systems and topological functors
Applied Categorical Structures | 2002-08-19 | Paper |
On abstract data types presented by multiequations
Theoretical Computer Science | 2002-07-31 | Paper |
A remark on conservative cocompletions of categories
Journal of Pure and Applied Algebra | 2002-07-24 | Paper |
On multivarieties and multialgebraic categories
Journal of Pure and Applied Algebra | 2002-05-29 | Paper |
More on injectivity in locally presentable categories
Theory and Applications of Categories | 2002-04-16 | Paper |
More on injectivity in locally presentable categories
Theory and Applications of Categories | 2002-04-16 | Paper |
On functors which are lax epimorphisms
Theory and Applications of Categories | 2001-12-11 | Paper |
On functors which are lax epimorphisms
Theory and Applications of Categories | 2001-12-11 | Paper |
Constructions of solid hulls
Applied Categorical Structures | 2001-11-04 | Paper |
More on orthogonality in locally presentable categories
Cahiers de Topologie et Géométrie Différentielle Catégoriques | 2001-07-17 | Paper |
More on orthogonality in locally presentable categories
Cahiers de Topologie et Géométrie Différentielle Catégoriques | 2001-07-17 | Paper |
How large are left exact functors?
Theory and Applications of Categories | 2001-07-09 | Paper |
How large are left exact functors?
Theory and Applications of Categories | 2001-07-09 | Paper |
Morita equivalence of sketches
Applied Categorical Structures | 2001-06-21 | Paper |
On essentially algebraic theories and their generalizations
Algebra Universalis | 2001-06-10 | Paper |
How algebraic is algebra?
Theory and Applications of Categories | 2001-04-18 | Paper |
How algebraic is algebra?
Theory and Applications of Categories | 2001-04-18 | Paper |
| scientific article; zbMATH DE number 1560717 (Why is no real title available?) | 2001-02-08 | Paper |
| scientific article; zbMATH DE number 1560717 (Why is no real title available?) | 2001-02-08 | Paper |
| scientific article; zbMATH DE number 1467484 (Why is no real title available?) | 2000-07-23 | Paper |
| scientific article; zbMATH DE number 1467484 (Why is no real title available?) | 2000-07-23 | Paper |
Algebraic theories of quasivarieties
Journal of Algebra | 1999-03-09 | Paper |
Finitary sketches
Journal of Symbolic Logic | 1998-04-05 | Paper |
A categorical generalization of Scott domains
Mathematical Structures in Computer Science | 1998-03-17 | Paper |
| scientific article; zbMATH DE number 1058167 (Why is no real title available?) | 1998-01-11 | Paper |
A remark on fixed points of functors in topological categories
Applied Categorical Structures | 1997-11-19 | Paper |
Finite models of sketches
Journal of Pure and Applied Algebra | 1997-07-08 | Paper |
How to sketch quasivarieties
Journal of Algebra | 1997-04-13 | Paper |
On the greatest fixed point of a set functor
Theoretical Computer Science | 1997-02-28 | Paper |
| scientific article; zbMATH DE number 918299 (Why is no real title available?) | 1996-12-09 | Paper |
| scientific article; zbMATH DE number 918299 (Why is no real title available?) | 1996-12-09 | Paper |
On pure morphisms in accessible categories
Journal of Pure and Applied Algebra | 1996-12-08 | Paper |
On geometric and finitary sketches
Applied Categorical Structures | 1996-11-12 | Paper |
| scientific article; zbMATH DE number 897932 (Why is no real title available?) | 1996-11-03 | Paper |
Finitary sketches and finitely accessible categories
Mathematical Structures in Computer Science | 1996-06-06 | Paper |
On preaccessible categories
Journal of Pure and Applied Algebra | 1996-05-19 | Paper |
Continuous algebras revisited
Journal of Computer and System Sciences | 1996-02-26 | Paper |
Recursive data types in algebraically \(\omega\)-complete categories
Information and Computation | 1995-07-10 | Paper |
| scientific article; zbMATH DE number 672104 (Why is no real title available?) | 1995-03-28 | Paper |
| scientific article; zbMATH DE number 672104 (Why is no real title available?) | 1995-03-28 | Paper |
| scientific article; zbMATH DE number 427786 (Why is no real title available?) | 1995-01-16 | Paper |
| Věra Trnková's unbelievable 60 | 1994-10-26 | Paper |
| scientific article; zbMATH DE number 575948 (Why is no real title available?) | 1994-05-26 | Paper |
Existence and Nonexistence of Regular Generators
Canadian Mathematical Bulletin | 1994-05-08 | Paper |
| scientific article; zbMATH DE number 436445 (Why is no real title available?) | 1993-12-20 | Paper |
| scientific article; zbMATH DE number 436445 (Why is no real title available?) | 1993-12-20 | Paper |
On Injectivity in Locally Presentable Categories
Transactions of the American Mathematical Society | 1993-08-11 | Paper |
| A farewell to Jan Reiterman | 1993-08-08 | Paper |
| scientific article; zbMATH DE number 195102 (Why is no real title available?) | 1993-06-05 | Paper |
The quasitopos hull of the category of uniform spaces -- a correction
Topology and its Applications | 1993-05-16 | Paper |
| scientific article; zbMATH DE number 46168 (Why is no real title available?) | 1993-01-23 | Paper |
On orthogonal subcategories of locally presentable categories
Discrete Mathematics | 1993-01-17 | Paper |
| scientific article; zbMATH DE number 52519 (Why is no real title available?) | 1992-09-18 | Paper |
| scientific article; zbMATH DE number 16371 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 19478 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 6036 (Why is no real title available?) | 1992-06-25 | Paper |
Corrigendum: How complete are categories of algebras
Bulletin of the Australian Mathematical Society | 1991-01-01 | Paper |
How many variables does a quasivariety need?
Algebra Universalis | 1990-01-01 | Paper |
Unexpected properties of locally presentable categories
Algebra Universalis | 1990-01-01 | Paper |
A characterization of concrete quasitopoi by injectivity
Journal of Pure and Applied Algebra | 1990-01-01 | Paper |
Topological Reflections Revisited
Proceedings of the American Mathematical Society | 1990-01-01 | Paper |
Total categories with generators
Journal of Algebra | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4150463 (Why is no real title available?) | 1990-01-01 | Paper |
Monadic decompositions
Journal of Pure and Applied Algebra | 1989-01-01 | Paper |
Injectivity of topological categories
Algebra Universalis | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4068820 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4068820 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4077517 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4077517 (Why is no real title available?) | 1988-01-01 | Paper |
On the logic of continuous algebras
Notre Dame Journal of Formal Logic | 1988-01-01 | Paper |
Intersections of Reflective Subcategories
Proceedings of the American Mathematical Society | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4093713 (Why is no real title available?) | 1988-01-01 | Paper |
How complete are categories of algebras?
Bulletin of the Australian Mathematical Society | 1987-01-01 | Paper |
The quasitopos hull of the category of uniform spaces
Topology and its Applications | 1987-01-01 | Paper |
Absolutely definable varieties of continuous algebras
Algebra Universalis | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3968855 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3995940 (Why is no real title available?) | 1986-01-01 | Paper |
On a problem of Herrlich concerning topological axioms
Topology and its Applications | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3961917 (Why is no real title available?) | 1986-01-01 | Paper |
Arbitrarily Large Continuous Algebras on One Generator
Transactions of the American Mathematical Society | 1985-01-01 | Paper |
The Birkhoff variety theorem for continuous algebras
Algebra Universalis | 1985-01-01 | Paper |
Cartesian closed hull of the category of uniform spaces
Topology and its Applications | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3951524 (Why is no real title available?) | 1985-01-01 | Paper |
Fixed Points as Equations and Solutions
Canadian Journal of Mathematics | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3811817 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3811817 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3828118 (Why is no real title available?) | 1983-01-01 | Paper |
Separately continuous algebras
Theoretical Computer Science | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3809802 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3753067 (Why is no real title available?) | 1982-01-01 | Paper |
Construction of free continuous algebras
Algebra Universalis | 1982-01-01 | Paper |
| Embeddings into categories with fixed points in representations | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3776870 (Why is no real title available?) | 1981-01-01 | Paper |
Tree constructions of free continuous algebras
Journal of Computer and System Sciences | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3726564 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3726564 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3715786 (Why is no real title available?) | 1981-01-01 | Paper |
Varietors and machines in a category
Algebra Universalis | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3681974 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3710373 (Why is no real title available?) | 1980-01-01 | Paper |
Are colimits of algebras simple to construct?
Journal of Algebra | 1980-01-01 | Paper |
Cartesian closed initial completions
Topology and its Applications | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3646291 (Why is no real title available?) | 1979-01-01 | Paper |
| On congruence lattices in a category | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3652616 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3660795 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3665178 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3665179 (Why is no real title available?) | 1979-01-01 | Paper |
Least fixed point of a functor
Journal of Computer and System Sciences | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3680042 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3680042 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3627398 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3627397 (Why is no real title available?) | 1979-01-01 | Paper |
On the Cogeneration of Algebras
Mathematische Nachrichten | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3726562 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3651370 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3570639 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3577429 (Why is no real title available?) | 1977-01-01 | Paper |
On a representation of semigroups by products of algebras and relations
Colloquium Mathematicum | 1977-01-01 | Paper |
Colimits of algebras revisited
Bulletin of the Australian Mathematical Society | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3574080 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3585647 (Why is no real title available?) | 1977-01-01 | Paper |
Realization theory for automata in categories
Journal of Pure and Applied Algebra | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3588574 (Why is no real title available?) | 1977-01-01 | Paper |
| Limits and colimits in generalized algebraic categories | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3534685 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3563196 (Why is no real title available?) | 1976-01-01 | Paper |
Cogeneration of algebras in regular categories
Bulletin of the Australian Mathematical Society | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3482548 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3542674 (Why is no real title available?) | 1975-01-01 | Paper |
Sums of Boolean spaces represent every group
Pacific Journal of Mathematics | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3503142 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3458870 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3450415 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3384245 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3353312 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3333320 (Why is no real title available?) | 1970-01-01 | Paper |
A Finitary Adjoint Functor Theorem
(available as arXiv preprint) | N/A | Paper |
Categories which are varieties of classical or ordered algebras
(available as arXiv preprint) | N/A | Paper |
Varieties of quantitative algebras as categories
(available as arXiv preprint) | N/A | Paper |
