Jiří Velebil

Available identifiers

zbMath Open velebil.jiriWikidataQ102342188 ScholiaQ102342188MaRDI QIDQ234458

List of research outcomes

Publication	Date of Publication	Type
A categorical view of varieties of ordered algebras	2022-12-20	Paper
Extending set functors to generalised metric spaces	2019-02-25	Paper
An institutional approach to positive coalgebraic logic	2018-02-13	Paper
Quasivarieties and varieties of ordered algebras: regularity and exactness	2017-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q5275341	2017-07-11	Paper
https://portal.mardi4nfdi.de/entity/Q5274901	2017-07-07	Paper
Morita equivalence for many-sorted enriched theories	2016-12-15	Paper
Kan injectivity in order-enriched categories	2016-07-27	Paper
Relation lifting, a survey	2016-06-22	Paper
Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract)	2016-05-10	Paper
Positive fragments of coalgebraic logics	2015-10-29	Paper
https://portal.mardi4nfdi.de/entity/Q5419875	2014-06-11	Paper
https://portal.mardi4nfdi.de/entity/Q5419889	2014-06-11	Paper
An elementary characterisation of sifted weights	2014-05-13	Paper
Base modules for parametrized iterativity	2014-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q2863900	2013-12-04	Paper
How iterative reflections of monads are constructed	2013-11-29	Paper
Relation lifting, with an application to the many-valued cover modality	2013-10-29	Paper
https://portal.mardi4nfdi.de/entity/Q2852346	2013-10-08	Paper
https://portal.mardi4nfdi.de/entity/Q2849883	2013-09-20	Paper
Positive Fragments of Coalgebraic Logics	2013-09-13	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
Enriched logical connections	2013-08-01	Paper
A Coalgebraic View of Infinite Trees and Iteration	2013-04-26	Paper
Recursive Program Schemes and Context-Free Monads	2012-10-02	Paper
Semantics of Higher-Order Recursion Schemes	2012-06-01	Paper
Final coalgebras in accessible categories	2011-10-21	Paper
On second-order iterative monads	2011-09-22	Paper
Relation Liftings on Preorders and Posets	2011-09-02	Paper
Equational presentations of functors and monads	2011-06-10	Paper
On monotone modalities and adjointness	2011-06-10	Paper
Elgot theories: a new perspective on the equational properties of iteration	2011-06-10	Paper
Semantics of Higher-Order Recursion Schemes	2011-05-26	Paper
Equational properties of iterative monads	2011-01-14	Paper
Iterative reflections of monads	2010-06-02	Paper
https://portal.mardi4nfdi.de/entity/Q3635983	2009-06-30	Paper
A Description of Iterative Reflections of Monads (Extended Abstract)	2009-03-31	Paper
https://portal.mardi4nfdi.de/entity/Q3614500	2009-03-09	Paper
Bases for parametrized iterativity	2009-03-04	Paper
What Are Iteration Theories?	2008-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q5454623	2008-03-31	Paper
Algebras with parametrized iterativity	2007-12-18	Paper
https://portal.mardi4nfdi.de/entity/Q5423978	2007-11-01	Paper
Elgot Algebras	2007-10-11	Paper
Iterative algebras at work	2007-02-07	Paper
A general final coalgebra theorem	2005-08-03	Paper
Completeness of cocompletions	2005-04-07	Paper
On coalgebra based on classes	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4457308	2004-03-21	Paper
Some remarks on finitary and iterative monads	2004-01-06	Paper
Free iterative theories: a coalgebraic view	2003-10-13	Paper
Infinite trees and completely iterative theories: A coalgebraic view	2003-07-30	Paper
A remark on conservative cocompletions of categories	2002-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q4790673	2002-01-01	Paper
Categorical generalization of a universal domain	2000-05-30	Paper
On categories generalizing universal domains	2000-03-08	Paper
https://portal.mardi4nfdi.de/entity/Q5687245	1997-07-20	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jiří Velebil