Quasivarieties and varieties of ordered algebras: regularity and exactness
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F17%3A00314828" target="_blank" >RIV/68407700:21230/17:00314828 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1017/S096012951500050X" target="_blank" >http://dx.doi.org/10.1017/S096012951500050X</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1017/S096012951500050X" target="_blank" >10.1017/S096012951500050X</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Quasivarieties and varieties of ordered algebras: regularity and exactness
Popis výsledku v původním jazyce
We characterise quasivarieties and varieties of ordered algebras categorically in terms of regularity, exactness and the existence of a suitable generator. The notions of regularity and exactness need to be understood in the sense of category theory enriched over posets. We also prove that finitary varieties of ordered algebras are cocompletions of their theories under sifted colimits (again, in the enriched sense).
Název v anglickém jazyce
Quasivarieties and varieties of ordered algebras: regularity and exactness
Popis výsledku anglicky
We characterise quasivarieties and varieties of ordered algebras categorically in terms of regularity, exactness and the existence of a suitable generator. The notions of regularity and exactness need to be understood in the sense of category theory enriched over posets. We also prove that finitary varieties of ordered algebras are cocompletions of their theories under sifted colimits (again, in the enriched sense).
Klasifikace
Druh
J<sub>imp</sub> - Článek v periodiku v databázi Web of Science
CEP obor
—
OECD FORD obor
10101 - Pure mathematics
Návaznosti výsledku
Projekt
—
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2017
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
Mathematical Structures in Computer Science
ISSN
0960-1295
e-ISSN
1469-8072
Svazek periodika
27
Číslo periodika v rámci svazku
7
Stát vydavatele periodika
GB - Spojené království Velké Británie a Severního Irska
Počet stran výsledku
42
Strana od-do
1153-1194
Kód UT WoS článku
000411727700004
EID výsledku v databázi Scopus
—