Zobrazeno 1 - 10
of 414
pro vyhledávání: '"P. Velebil"'
We characterize strongly finitary monads on categories $\mathsf{Pos}$, $\mathsf{CPO}$ and $\mathsf{DCPO}$ as precisely those preserving sifted colimits. Or, equivalently, enriched finitary monads preserving reflexive coinserters. We study sifted coli
Externí odkaz:
http://arxiv.org/abs/2301.05730
Quantitative algebras are algebras enriched in the category $\mathsf{Met}$ of metric spaces so that all operations are nonexpanding. Mardare, Plotkin and Panangaden introduced varieties (aka $1$-basic varieties) as classes of quantitative algebras pr
Externí odkaz:
http://arxiv.org/abs/2301.01034
Quantitative algebras are $\Sigma$-algebras acting on metric spaces, where operations are nonexpanding. Mardare, Panangaden and Plotkin introduced 1-basic varieties as categories of quantitative algebras presented by quantitative equations. We prove
Externí odkaz:
http://arxiv.org/abs/2210.01565
It is well known that classical varieties of $\Sigma$-algebras correspond bijectively to finitary monads on $\mathsf{Set}$. We present an analogous result for varieties of ordered $\Sigma$-algebras, i.e., classes presented by inequations between $\Si
Externí odkaz:
http://arxiv.org/abs/2011.13839
Autor:
Jan Malaťák, Jan Velebil, Jiří Bradna, Marián Kučera, Arkadiusz Gendek, Monika Aniszewska, Tatiana Alexiou Ivanova
Publikováno v:
Atmosphere, Vol 15, Iss 4, p 452 (2024)
Biomass energy for heating is going to be part of the spectrum of renewable energy sources. However, biomass combustion produces emissions of various pollutants with negative effects at both local and global scales. To reduce some of the locally impo
Externí odkaz:
https://doaj.org/article/dc124d79143544fe9067fcba21ccb50f
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Logical Methods in Computer Science, Volume 15, Issue 1 (January 29, 2019) lmcs:4959
For a commutative quantale $\mathcal{V}$, the category $\mathcal{V}-cat$ can be perceived as a category of generalised metric spaces and non-expanding maps. We show that any type constructor $T$ (formalised as an endofunctor on sets) can be extended
Externí odkaz:
http://arxiv.org/abs/1809.02229
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.