Dense Morphisms of Monads

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

Result language
angličtina
Original language name
Dense Morphisms of Monads
Original language description
Given an arbitrary locally finitely presentable category K and finitary monads T and S on K, we characterize monad morphisms alpha: S --> T with the property that the induced functor alpha_*: K^T --> K^S between the categories of Eilenberg-Moore algebrasis fully faithful. We call such monad morphisms dense and give a characterization of them in the spirit of Beth's definability theorem. We also give a characterization in terms of epimorphic property of alpha and clarify the connection between various notions of epimorphisms between monads.
Czech name
Husté morfismy monád
Czech description
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_*: K^T --> K^S mezi kategoriemi Eilenberg-Mooreových algeber je fully faithful.Takovým morfismům monád říkáme husté a podáváme jejich charakterizaci v duchu Bethovy věty o definovatelnosti. Podáváme též charakterizaci pomocí epimorfní vlastnosti alphy a vysvětlujeme souvislosti mezi různými pojmy epimorfismů monád.

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%2F06%2F0664" target="_blank" >GA201/06/0664: Categorical methods of the theory of structures</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

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

Similar results(10)