{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2023,7,17]]，“日期-时间”：“2023-07-17T16:34:51Z”，“时间戳”：1689611691867}，“引用-计数”：32，“出版商”：“Springer Science and Business Media LLC”“：”2010-06-27T00:00:00Z“，“timestamp”：1277596800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com/tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”Stud Logica“]，”published-print“：{”date-parts“：[[2010,8]}”，“DOI”：“10.1007\/s1125-010-9268-0”，“type”：“journal-article”，“created”：{“date-parts”：[[2010,6,26]]，“日期-时间”：“2010-06-26T14:08:42Z”，“时间戳”：1277561322000}，“页面”：“301-344”，“来源”：“交叉引用”，“被引用-被计数”：3，“标题”：[“机构概念的二分类概括”]，“前缀”：“10.1007”，“卷”：“95”，“作者”：[{“给定”：“J”，“家族”：“气候视频”，“序列”：“第一”，“从属关系”：[]}，{“给定”：“J”，“family”：“Soliveres Tur”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“published-on-line”：{“date-parts”：[[2010,6,27]]}，“reference”：[{“key”：“9268_CR1”，“volume-title”：“抽象和具体类别”，“author”：“J.Ad\u00e1mek”，“year”：“1990”，“unstructured”：“Ad\u00e1mek J.，Herrlich H.，Strecker G.E.：抽象和具体类别。John Wiley&Sons，Inc.，New York（1990）”}，｛“key”：“9268_CR2”，“first page”：“1”，“volume”：“10”，“author”：“J.B\u00e9nabou”，“year”：“1968”，“nonstructured”：“B\u00e9nabou J.:\u2018Structures algebriques dans les categories\u2019。Cahiers拓扑G\u00e9om。Diff\u00e9rentiele 10，1\u2013126（1968）“，“journal-title”：“Cahiers Topologie G\u00e 9om。Diff\u00e9rentielle“}，{“key”：“9268_CR3”，“doi-asserted-by”：“crossref”，“首页”：“115”，“doi”：“10.1016\/S0021-9800（70）80014-X”，“卷”：“8”，“作者”：“G.Birkhoff”，“年份”：“1970”，“非结构化”：“Birkhof G.，Lipson J.D.：\u2018Heterogeneous algebras\u2019。组合理论8，115\u2013133（1970）“，“期刊标题”：“组合理论”}，{“key”：“9268_CR4”，“doi-asserted-by”：“crossref”，“doi”：“10.1017\/CBO9780511619939”，“volume-title”：“Galois theorys”，“author”：“F.Borceux”，“year”：“2001”，“unstructured”：“Borceux-F.，Janelidze G.：Galois Theorys。英国剑桥大学出版社（2001）”}、{“key”：“”9268_CR5“，“首页”：“103”，“卷”：“31”，“作者”：“J.Climent”，“年份”：“2005”，“非结构化”：“Climent J.，Soliveres J.：\u2018排序集范畴中单子的完备性定理\u2019。休斯顿J.数学。31，103\u2013129（2005）“，“新闻标题”：“休斯顿数学杂志”。“}，{”key“：”9268_CR6“，”first page“：“37”，“volume”：“45”，“author”：“J.Climent”，“year”：“2010”，“unstructured”：“Climent J.，Soliveres J.：\u2018A many-sorted equarational logic语法和语义的双范畴框架\u2019。《数理逻辑报告》45，37\u201395（2010）“，“期刊标题”：“数理逻辑的报告”}，{“key”：“9268_CR7”，“unstructured”：“Cohn，P.，Universal algebration，D.Reidel Publishing Co.，Dordrech:Holland，Boston:U.S.A.，London:England，1981。”}、{“key”：《9268_CR18》，“volume-title”：“学院依赖模型理论”，“author”：“R.Diaconescu”，“2008年，“非结构化”：“Diaconescu R.：机构依赖模型理论。Birkh\u00e4user，Basel\u00b7Boston（2008）“}，{“key”：“9268_CR9”，“volume-title”：“Cat\u00e 9gories et structures”，“author”：“Ch.Ehresmann”，“year”：“1965”，“unstructured”：“Ehresman Ch.：Cat\u001e 9golies et strustures.Dunod，Paris（1965）”}，}，“key“：”9268_CR10“，”首页“153”，“卷”：“11”，“作者”：“T.Fujiwar a“，”年份“：”1959“，”非结构化“：”Fujiwara T.：关于代数系统之间的映射。大阪数学。J.11，153\u2013172（1959）“，“新闻标题”：“大阪数学”。J.“}，{”key“：”9268_CR11“，”first-page“：”253“，”volume“：“12”，”author“：”T.Fujiwara“，”year“：”1960“，”unstructured“：”Fujiwara-T.：\u2018关于代数系统II之间的映射\u2019。大阪数学。J.12253\u2013268（1960）”，“期刊标题”：“大阪数学。J.“}，{”key“：”9268_CR12“，”doi-asserted-by“：”crossref“，”unstructured“：”Goguen，J.，and R.Burstall，Introducing institutions，in E.Clarke（ed.），Proc.Logics of Programming Workshop（Pittsburgh，Pa.，1983），Springer-Verlag，Berlin，1984年，第221\u2013256页。“，”doi“：”10.1007\/3-540-12896-4_366“}”，{“key”：“9268_CR13”，“doi-assert-by”：“Crosref”，“”第一页“：”175“，”DOI“：”10.1016\/0304-3975（84）90134-8“，“卷”：“31”，“作者”：“J.Goguen”，“年份”：“1984”，“非结构化”：“Goguen J.，Burstall R.：\u2018计算语义的一些基本代数工具。第一部分：逗号类别、连字号、签名和理论。理论计算机科学31，175\u2013209（1984）“，“journal-title”：“理论计算机科学”}，{“key”：“9268_CR14”，“doi-asserted-by”：“crossref”，“first-page”：“263”，“doi”：“10.1016\/0304-3975（84）90036-7”，”volume“：”31“，”author“J.Goguen”，“year”：“1984”，“unstructured”：“Goguen J.，Burstall R.：\u2018计算语义的一些基本代数工具。第二部分：签名与抽象理论。理论计算机科学31，263\u2013295（1984）“，“journal-title”：“理论计算机科学”}，{“key”：“9268_CR15”，“doi-asserted-by”：“crossref”，“unstructured”：“Goguen，J.，and R.Burstall，《编程方法论基础研究：规范、机构、章程和羊皮纸》，摘自D.Pitt et \u00a0alii.（eds.），程序。类别理论和计算机编程暑期研讨会（吉尔福德，1985），斯普林格·弗拉格，柏林，1986年，第313\u2013333页。“，“DOI”：“10.1007\/3-540-17162-2_131”}，{“key”：“9268_CR16”，“首页”：“307”，“卷”：“11”，“作者”：“J.Goguen”，“年份”：“1985”，“非结构化”：“Goguen J.，Meseguer J.：多种等式逻辑的完备性。休斯顿J.数学。11，307\u2013334（1985）“，“新闻标题”：“休斯顿数学杂志”。“}，{”key“：”9268_CR17“，”doi-asserted-by“：”crossref“，”doi“：”10.1007\/978-0-387-77487-9“，“volume-title”：“Universal algebration”，“author”：“G.Gr\u00e4tzer”，“year”：“1979”，“unstructured”：“Gr\u00 e4tzer G.：Universal Algebrage，2nd ed.Springer-Verlag，New York-Heidelberg-Berlin（1979）”，“edition”：“2”}，“{”key“：“9268_Ctzer R18“，”doi-asserted-by“：”crossref“，”非结构化”：“Grothendieck，A.，\u2018Cat\u00e9gories fibr \u00e9es et descente（Expos\u00e9 VI）\u2019，在A.Grothendieck（编辑），Rev\u00eatements\u00e9tales et groupe fodamental中。S\u00e9minaire de G\u00e9om\u00e 9trie Alg\u00e_9brique du Bois Marie 1960 \u20131961（SGA 1），柏林斯普林格出版社，1971年，第145\u2013194页。“，”DOI“：”10.1007\/BFb0058662“}，{“key”：“9268_CR19”，“DOI-asserted-by”：“crossref”，“first-page”：“115”，“DOI”：“10.1002\/mana.19630270108”，“volume”：”27“，“作者”：“P.J.希金斯”，“年份”：“1963年”，“非结构化”：“Higgins P.J.：带算子方案的代数\u2019。数学。纳克里斯。27，115\u2013132（1963）“，“新闻标题”：“数学。纳克里斯。“}，{”key“：”9268_CR20“，”doi-asserted-by“：”crossref“，”doi“：”10.1007\/BFb0058648“，”volume-title“：”Topics in universal algebration“，”author“：”B.J\u00f3nsson“，”year“：”1972“，”unstructured“：”J\u00 f3nssen B.：Topics on universal Algebrage.Springer-Verlag，Berlin-Nework（1972）“}”，{，“首页”：“544”，“doi”：“10.1090\/S0002-9939-1965-0177024-4“，“volume”：“16”，“author”：“H.Kleisli”，“year”：“1965”，“unstructured”：“Kleisri H.：\u2018每个标准结构都是由一对伴随函子\u2019诱导的。程序。阿默尔。数学。Soc.16，544\u2013546（1965）“，“新闻标题”：“Proc。阿默尔。数学。Soc.“}，{“key”：“9268_CR22”，“doi-asserted-by”：“crossref”，“unstructured”：“Lawvere，F.W.，代数理论的函数语义，学位论文。美国哥伦比亚大学，1963.”，“doi”：“10.1073\/pnas.50.5.869”}，}，”key“：”9268_CR2“，”volume-title“：”工作数学家的类别“，”author“：”S.Mac Lane“，”年份“：”1998“，”unstructure“：”Mac Lane S.：工作数学家的范畴，第二版，Springer，纽约（1998）“，“版本”：“2”}，{“key”：“9268_CR24”，“unstructured”：“Matthiessen，G.，\u2018Theorye der Heterogenen Algebren\u2019，Mathematik-Arbeitspapiere，Nr.3（论文），德国不来梅大学1976。”}非结构化”：“Mayoh，B.，画廊和机构，DAIMI PB-191，奥胡斯大学计算机科学系-DAIMI（1985年1月）。“，”DOI“：”10.7146\/dpb.v14i191.7463“｝，｛”key“：”9268_CR26“，”DOI asserted by“：”crossref“，”非结构化“：”Meseguer，J.，General logics，in H.D.Ebbinghaus et \u00a0alii.（eds.），Logic Colloquium\u2019 87，North Holland，Amsterdam，1989，pp.275\u2013329.“，”DOI“：”10.1016\/S0049-237X（08）70132-0“｝，｛”key“：”9268_CR27“，”DOI asserted通过“：”交叉引用“，”非结构化“：”Pawlowski，W.，\u2018Context institutions\u2019，载于M.Haveraaen et \u00a0alii。（编辑），《数据类型规范的最新趋势》（挪威奥斯陆，1995年），柏林斯普林格出版社，1996年，第436\u2013457页。“，“DOI”：“10.1007\/3-540-61629-2_57”}，{“key”：“9268_CR28”，“DOI-asserted-by”：“crossref”，“unstructured”：“Poign\u00e9，A.，\u2018基金会是富有的机构，但机构是贫穷的基金会，H.Ehrig et \u00a0alii（编辑），《计算机科学中的分类方法》（柏林，1988），施普林格，柏林（1989），第82\u2013101.页doi-asserted-by“：”crossref“，”first page“：”239“，”doi“：”10.1016\/0304-3975（91）90085-G“，“volume”：“91”，“author”：“A.Tarlecki”，“year”：“1991”，“unstructured”：“Tarlecki A.，Burstall R.，Goguen J.：\u2018计算语义的一些基本代数工具：第3部分。索引类别\u2019。理论计算机科学91，239\u2013264（1991）“，“期刊标题”：“理论计算机科学”}，{“关键字”：“9268_CR31”，“首页”：“81”，“卷”：“13”，“作者”：“A.Tarski”，“年份”：“1957”，“非结构化”：“Tarski A.，Vaught R.L.：\u2018关系系统的算术扩展\u2019。合成数学。13，81\u2013102（1957）“，“新闻标题”：“合成数学”。“}，{”key“：”9268_CR32“，”unstructured“：”Wolter，U.，M.Klar，R.Wess\u00e4ly，and F.Cornelius，Four Institutions\u2013规范用逻辑系统的统一表示，技术报告Bericht-Nr.94\u201324，TU Berlin，Fachbereich Informatik，Germany，1994。“}]，”container-title“：[”Studia Logica“]，“original-title”：[]，“language”：“en”，“link“：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/s11225-010-9268-0.pdf”，“content-type”：“application\/pdf”、“content-version”：“vor”、“intended-application”：“text-mining”}，{“URL”：“http:\\/link.stringer.com/article\/10.10007\/s1122-010-9268-0\/fulltext.html”，“内容类型”：“文本\/html”、“内容-版本”：“vor”，“intended-application”：“text-mining“}，{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/s11225-010-9268-0”，“content-type”：“unspecified”，“内容-版本”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“date-parts”：[2023,6,1]]，“date-time”：”2023-06-01T19:30:37Z“，“时间戳”：1685647837000}，“分数”：1，“资源”：{“主要”：{“URL”：“http:\/\/link.springer.com/10.1007\/s11225-010-9268-0“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期-部件“：[[2010,6,27]]}，“引用-计数”：32，“日志-问题”：{“问题”：“3”，“发布-版本”：{“日期-部件”：[2010,8]}}、“备选id”：[“9268”]，“URL”：“http://\/dx。doi.org \/10.1007\/s11225-010-9268-0“，”关系“：{}，”ISSN“：[”0039-3215“，”1572-8730“]，“issn-type”：[{“value”：“0039-3215”，“type”:“print”}，{“value”：“1572-87三十”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2010,6,27]]}}}