MULTICATEGORIES AND VARIETIES OF MANY-SORTED ALGEBRAS

S. N. Tronin

首页> 外文期刊>Siberian Mathematical Journal >MULTICATEGORIES AND VARIETIES OF MANY-SORTED ALGEBRAS

【24h】

MULTICATEGORIES AND VARIETIES OF MANY-SORTED ALGEBRAS

机译：多分类代数的多分类和变量

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

We give a direct proof of the fact that every variety of many-sorted universal algebras is rationally equivalent to a variety of algebras over some FSet-multicategory (a many-sorted analog of FSet-operads). The construction of this multicategory is straightforward and uses the free algebras of the given variety.

机译：我们直接证明以下事实：在某种FSet-多类别（FSet-operads的多种分类）上，多种多样的通用代数在某种意义上等同于多种代数。这种多类别的构造很简单，并且使用给定变体的自由代数。

著录项

来源
《Siberian Mathematical Journal》 |2008年第5期|共15页
作者
S. N. Tronin;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类数学;
关键词
many-sorted algebra; multicategory; free algebra; variety; rational equivalence;

机译：多分类代数;多类别;自由代数;多样性;有理对等;

相似文献

外文文献
中文文献
专利

1. MULTICATEGORIES AND VARIETIES OF MANY-SORTED ALGEBRAS [J] . S. N. Tronin Siberian Mathematical Journal . 2008,第5期

机译：多分类代数的多分类和变量
2. Congruence-based proofs of the recognizability theorems for free many-sorted algebras [J] . Climent Vidal J., Cosme Llopez E. Journal of logic and computation . 2020,第2期

机译：自由多分类代数的可识别性定理的基于同余的证明
3. Congruence-based proofs of the recognizability theorems for free many-sorted algebras [J] . J Climent Vidal, E Cosme LlÓpez Journal of Logic and Computation . 2020,第1期

机译：自由多分类代数的可识别性定理的基于同余的证明
4. On the Algebraization of Many-Sorted Logics [C] . Carlos Caleiro, Ricardo Goncalves International Workshop on Recent Trends in Algebraic Development Techniques . 2007

机译：关于许多排序逻辑的代数
5. Examples of the Local L2-Cohomology of Algebraic Varieties [D] . Cruz, Joshua. 2020

机译：代数品种的局部L2-同学的实例
6. Characteristic numbers of algebraic varieties [O] . D. Kotschick 2009

机译：代数变体的特征数
7. When are profinite many-sorted algebras retracts of ultraproducts of finite many-sorted algebras? [O] . Vidal, Juan Climent, Llópez, Enric Cosme 2017

机译：什么时候有许多分类的代数回缩的超产品有限多分类代数？
8. Theory of Many-Sorted Evolving Algebras [R] . Tonino, J. F. M. 1997

机译：多排演化代数理论

MULTICATEGORIES AND VARIETIES OF MANY-SORTED ALGEBRAS

摘要

著录项

相似文献

相关主题

期刊订阅