CATEGORIES WHICH ARE VARIETIES OF CLASSICAL OR ORDERED ALGEBRAS
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F25%3A00389439" target="_blank" >RIV/68407700:21230/25:00389439 - isvavai.cz</a>
Výsledek na webu
<a href="http://www.tac.mta.ca/tac/volumes/43/3/43-03.pdf" target="_blank" >http://www.tac.mta.ca/tac/volumes/43/3/43-03.pdf</a>
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
CATEGORIES WHICH ARE VARIETIES OF CLASSICAL OR ORDERED ALGEBRAS
Popis výsledku v původním jazyce
Following ideas of Lawvere and Linton we prove that classical varieties are precisely the exact categories with a varietal generator. This means a strong generator which is abstractly finite and regularly projective. An analogous characterization of varieties of ordered algebras is also presented. We work with order-enriched categories, and introduce the concept of sub congruence (corresponding to congruence in ordinary categories): it is a relation which is order-reflexive and transitive. Varieties of ordered algebras are precisely the categories with effective sub congruences and a subvarietal generator. This means a strong generator which is abstractly finite and subregularly projective.
Název v anglickém jazyce
CATEGORIES WHICH ARE VARIETIES OF CLASSICAL OR ORDERED ALGEBRAS
Popis výsledku anglicky
Following ideas of Lawvere and Linton we prove that classical varieties are precisely the exact categories with a varietal generator. This means a strong generator which is abstractly finite and regularly projective. An analogous characterization of varieties of ordered algebras is also presented. We work with order-enriched categories, and introduce the concept of sub congruence (corresponding to congruence in ordinary categories): it is a relation which is order-reflexive and transitive. Varieties of ordered algebras are precisely the categories with effective sub congruences and a subvarietal generator. This means a strong generator which is abstractly finite and subregularly projective.
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
<a href="/cs/project/GA22-02964S" target="_blank" >GA22-02964S: Obohacené kategorie a jejich aplikace</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2025
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
Theory and Applications of Categories
ISSN
1201-561X
e-ISSN
1201-561X
Svazek periodika
43
Číslo periodika v rámci svazku
3
Stát vydavatele periodika
CA - Kanada
Počet stran výsledku
30
Strana od-do
39-68
Kód UT WoS článku
001446314500003
EID výsledku v databázi Scopus
2-s2.0-105001525828