Birkhoff's Covariety Theorem without Limitations

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F05%3A03116657" target="_blank" >RIV/68407700:21230/05:03116657 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Birkhoff's Covariety Theorem without Limitations
Original language description
An example constructed in this article demostrates that coequational presentations in the sense of J. Rutten are not sufficient for covarieties in general. However, a "natural" generalization of the concept of coequation is presented which makes the fullstrength of the dual of Birkhoff's Variety Theorem valid.
Czech name
Birkhoffova věta o kovarietách bez omezení
Czech description
Popis kovariet pomoci korovnic ve smyslu J. Ruttena neni, jak dokazuje priklad zkonstruovany v teto praci, mozny pro vsechny endofunktory kategorie mnozin. Avsak pri "prirozenem" zobecneni pojmu korovnice je dokazana plna dualizace Birkhoffovy vety o varietach

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—

Project
<a href="/en/project/GA201%2F02%2F0148" target="_blank" >GA201/02/0148: Categorical Methods of the Theory of Structures and Computer Science</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year
2005
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)