Notions of Lawvere theory
Název česky | Pojetí Lawverových teorií |
---|---|
Autoři | |
Rok publikování | 2011 |
Druh | Článek v odborném periodiku |
Časopis / Zdroj | Applied Categorical Structures |
Fakulta / Pracoviště MU | |
Citace | |
www | http://www.springerlink.com/content/j737744751616670/ |
Doi | http://dx.doi.org/10.1007/s10485-009-9215-2 |
Obor | Obecná matematika |
Klíčová slova | Lawvere theory;enriched category;monad |
Přiložené soubory | |
Popis | Je ukázáno, že ekvivalence mezi Lawverovými teoriemi a finitárními monádami může být zobecněna na obohacené kategorie a jiné limity než konečné součiny. |
Související projekty: |