The following pages link to Jiří Velebil (Q234458):
Displaying 50 items.
- Relation lifting, a survey (Q299182) (← links)
- How iterative reflections of monads are constructed (Q384934) (← links)
- Equational properties of iterative monads (Q618163) (← links)
- On second-order iterative monads (Q639639) (← links)
- Bases for parametrized iterativity (Q1004388) (← links)
- Categorical generalization of a universal domain (Q1306717) (← links)
- Infinite trees and completely iterative theories: A coalgebraic view (Q1399957) (← links)
- Some remarks on finitary and iterative monads (Q1417765) (← links)
- On coalgebra based on classes (Q1434346) (← links)
- Completeness of cocompletions (Q1770534) (← links)
- Morita equivalence for many-sorted enriched theories (Q2374328) (← links)
- Enriched logical connections (Q2392097) (← links)
- Base modules for parametrized iterativity (Q2435311) (← links)
- Algebras with parametrized iterativity (Q2464938) (← links)
- Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract) (Q2805168) (← links)
- Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors (Q2842550) (← links)
- On Rational Monads and Free Iterative Theories (Q2842813) (← links)
- Positive Fragments of Coalgebraic Logics (Q2848939) (← links)
- (Q2849883) (← links)
- (Q2852346) (← links)
- Relation lifting, with an application to the many-valued cover modality (Q2856480) (← links)
- (Q2863900) (← links)
- Recursive Program Schemes and Context-Free Monads (Q2919447) (← links)
- Equational presentations of functors and monads (Q3005991) (← links)
- On monotone modalities and adjointness (Q3005992) (← links)
- Elgot theories: a new perspective on the equational properties of iteration (Q3005993) (← links)
- Relation Liftings on Preorders and Posets (Q3090865) (← links)
- Final coalgebras in accessible categories (Q3094168) (← links)
- An institutional approach to positive coalgebraic logic (Q3133183) (← links)
- Positive fragments of coalgebraic logics (Q3196349) (← links)
- Iterative algebras at work (Q3419788) (← links)
- What Are Iteration Theories? (Q3525573) (← links)
- Iterative reflections of monads (Q3564343) (← links)
- (Q3614500) (← links)
- A Description of Iterative Reflections of Monads (Extended Abstract) (Q3617727) (← links)
- (Q3635983) (← links)
- On categories generalizing universal domains (Q4248541) (← links)
- Free iterative theories: a coalgebraic view (Q4408807) (← links)
- (Q4457308) (← links)
- Extending set functors to generalised metric spaces (Q4625693) (← links)
- (Q4790673) (← links)
- A Coalgebraic View of Infinite Trees and Iteration (Q4917030) (← links)
- A categorical view of varieties of ordered algebras (Q5058361) (← links)
- (Q5274901) (← links)
- (Q5275341) (← links)
- Elgot Algebras (Q5310675) (← links)
- Quasivarieties and varieties of ordered algebras: regularity and exactness (Q5361148) (← links)
- (Q5419875) (← links)
- (Q5419889) (← links)
- (Q5423978) (← links)
