×
保罗·巴尔丹;菲利波·邦奇;安德烈亚·科拉迪尼;托拜厄斯·海因德尔;巴巴拉·科尼格

粘合剂类别的格理论观点。 （英语） Zbl 1217.18004号

J.塞姆。计算。 46，第3期，222-245（2011）.
首先粗略地给出一些定义：如果通常的交换正方形都是拉回的，那么两个函子之间的自然变换（beta:F\RightarrowG:{mathcal C}\到{mathcalD}\）是笛卡尔变换。
让\（D:{mathcal I}\到{mathcalC}\）是一个图。（D\）的古柯音是（\varphi^{A}:D\右箭头A\）到常数函子（A:{mathcal I}\到{mathcalC}\）的自然变换。（D）的colimit是由自然普遍性属性定义的cocone（varphi^A）。如果给定另一个图（D'：{mathcal I}到{mathcalC}）、古柯碱（varphi^{B}:D'到B\）、笛卡尔自然变换（beta:D\Rightarrow D'\）和变换（s:B\到a\）在（{mathcall C}\）中的态射（s：B\到a当且仅当\（{\mathcal C}\）中关联的交换平方是回拉时，才是一个colimit。
最后，如果一个类别\（｛\mathcal C｝\）有回调，则它被称为粘性，沿着单轴的推出和沿着单轴的推出是Van Kampen推出。
粘合剂类别中的子对象形成分配晶格。在粘着范畴中定义了不可约对象的概念后，证明了任何（有限）对象都可以作为其不可约子对象的共线来获得，这就是范坎彭共线。
给出了分配格表示理论的应用。
审核人：格里戈尔·卢格勒阿纳乌（Cluj-Napoca）

引用于2文件

MSC公司：

18A30型 极限和共线（乘积、和、有向极限、推出、纤维乘积、均衡器、核、末端和共端等）
05年6月 分配格的结构与表示理论

关键词：

范坎彭结肠炎;粘合剂类别;不可约物体;子对象晶格
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldan}等人，J.Symb。计算。46，第3号，222--245（2011；Zbl 1217.18004）
全文： 内政部 链接

参考文献：

[1] 巴尔丹，P。；Corradini，A。；海因德尔，T。；柯尼希，B。；Sobociñski，P.，《粘合剂类别中的展开文法》（Lenisa，M.；Kurz，A.；Tarlekci，A.，《CALCO’09会议录》）。CALCO’09会议记录，LNCS，第5728卷（2009），Springer），350-366·Zbl 1239.68036号
[2] Birkhoff，G.，《关于子代数的组合》，《剑桥哲学学会学报》，29，441-464（1933）
[3] Birkhoff，G.，《格理论》（1967），美国数学学会·Zbl 0126.03801号
[4] Carboni，A。；Lack，S。；Walters，R.，《广义与分布范畴导论》，《纯粹与应用代数杂志》，84，2，145-158（1993）·Zbl 0784.18001号
[5] Cockett，R.，Guo，X.，2007年。连接限制类别和粘合的重要性。在CT’07上发表。；Cockett，R.，Guo，X.，2007年。连接限制类别和粘合的重要性。在CT’07上发布。
[6] Corradini，A。；海因德尔，T。；赫尔曼，F。；König，B.，Sesqui-pushout重写，（Corradini，A.；Ehrig，H.；Montanari，U.；Ribeiro，L.；Rozenberg，G.，《2006年ICGT会议录》。2006年ICGT会议记录，LNCS，第4178卷（2006），Springer），30-45·兹比尔1156.68423
[7] Corradini，A。；Montanari，美国。；罗西，F。；Ehrig，H。；赫克尔，R。；Löwe，M.，图变换的代数方法I：基本概念和双推出方法，（Rozenberg，G.，《图语法和图变换计算手册》，第1卷：基础（1997），《世界科学》，163-246
[8] Davey，B.A。；Priestley，H.A.，《格与序导论》（2002），剑桥大学出版社·Zbl 1002.06001号
[9] Ehrig，H。；Ehrig，K。；Prange，U。；Taentzer，G.（代数图变换的基础。代数图变换基础，理论计算机科学专著（2006），Springer）·Zbl 1095.68047号
[10] 弗雷德·P·J。；Scedrov，A.，《类别，寓言》（1990），北荷兰人·Zbl 0698.18002号
[11] Heindel，T.，《弱粘性类别重写的保密性》，理论计算机科学电子笔记，229，3，97-115（2009）·Zbl 1291.68260号
[12] 海因德尔，T。；Sobociñski，P.，Van Kampen结肠炎作为跨距内的双结肠炎，（CALCO’09会议记录）。CALCO’09会议记录，LNCS，第5728卷（2009），Springer），335-349·Zbl 1239.18003号
[13] Johnstone，P.T.，Stone spaces（剑桥高等数学研究，第3卷（1982），剑桥大学出版社）·Zbl 0499.54001号
[14] Lack，S。；Sobocinnski，P.，粘合剂和准粘合剂类别，RAIRO-理论信息学和应用，39，3（2005）·Zbl 1078.18010号
[15] Mac Lane，S.，《工作数学家的类别》（1971），斯普林格出版社·Zbl 0232.18001号
[16] 萨索内，V。；Sobocinnski，P.，Petri网的同余，理论计算机科学电子笔记，127，2，107-120（2005）·Zbl 1272.68320号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。