Filtry
Equational Properties of Iterative Monads
BA - Obecná matematika
- 2010 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Base modules for parametrized iterativity
BA - Obecná matematika
- 2014 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
A Description of Iterative Reflections of Monads
BA - Obecná matematika
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
How iterative reflections of monads are constructed
BA - Obecná matematika
- 2013 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Elgot Theories: A new Perspective of Iteration Theories (Extended Abstract)
BA - Obecná matematika
- 2009 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Iterativní algebry pro báze
Je zaveden pojem iterativity vzhledem k bázi (což je funktor dvou proměnných dávající v jedné proměnné finitární monády) a je podána koalgebraická konstrukce volných iterativních algeber......
BA - Obecná matematika
- 2005 •
- A
Rok uplatnění
A - Audiovizuální tvorba
Varieties of Qantitative Algebras and Their Monads
Pure mathematics
- 2022 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Husté morfismy monád
Pro libovolnou lokálně konečně presentovanou kategorii K a finitární monády T a S charakterizujeme ty morfismy monád alpha: S --> T s vlastností, že indukovaný funktor alpha_ faithful.Takovým morfismům monád říkáme husté a ...
BA - Obecná matematika
- 2007 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Monads and theories
Pure mathematics
- 2019 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Notions of Lawvere theory
BA - Obecná matematika
- 2011 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
- 1 - 10 z 534