内部多范畴函子的下降

IF 0.6 4区数学 Q3 MATHEMATICS

Applied Categorical Structures Pub Date : 2023-01-17 DOI:10.1007/s10485-022-09706-9

Rui Prezado, Fernando Lucatelli Nunes

{"title":"内部多范畴函子的下降","authors":"Rui Prezado, Fernando Lucatelli Nunes","doi":"10.1007/s10485-022-09706-9","DOIUrl":null,"url":null,"abstract":"<div><p>We give sufficient conditions for effective descent in categories of (generalized) internal multicategories. Two approaches to study effective descent morphisms are pursued. The first one relies on establishing the category of internal multicategories as an equalizer of categories of diagrams. The second approach extends the techniques developed by Ivan Le Creurer in his study of descent for internal essentially algebraic structures.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":null,"pages":null},"PeriodicalIF":0.6000,"publicationDate":"2023-01-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-022-09706-9.pdf","citationCount":"1","resultStr":"{\"title\":\"Descent for internal multicategory functors\",\"authors\":\"Rui Prezado, Fernando Lucatelli Nunes\",\"doi\":\"10.1007/s10485-022-09706-9\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>We give sufficient conditions for effective descent in categories of (generalized) internal multicategories. Two approaches to study effective descent morphisms are pursued. The first one relies on establishing the category of internal multicategories as an equalizer of categories of diagrams. The second approach extends the techniques developed by Ivan Le Creurer in his study of descent for internal essentially algebraic structures.</p></div>\",\"PeriodicalId\":7952,\"journal\":{\"name\":\"Applied Categorical Structures\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.6000,\"publicationDate\":\"2023-01-17\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://link.springer.com/content/pdf/10.1007/s10485-022-09706-9.pdf\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Applied Categorical Structures\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://link.springer.com/article/10.1007/s10485-022-09706-9\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Applied Categorical Structures","FirstCategoryId":"100","ListUrlMain":"https://link.springer.com/article/10.1007/s10485-022-09706-9","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS","Score":null,"Total":0}

引用次数: 1

摘要

给出了广义内多范畴有效下降的充分条件。本文探讨了两种研究有效血统多态性的方法。第一个依赖于建立内部多类别的类别，作为图表类别的均衡器。第二种方法扩展了Ivan Le Creurer在研究内部本质代数结构的下降时所开发的技术。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

Descent for internal multicategory functors

查看原文本刊更多论文

Descent for internal multicategory functors

We give sufficient conditions for effective descent in categories of (generalized) internal multicategories. Two approaches to study effective descent morphisms are pursued. The first one relies on establishing the category of internal multicategories as an equalizer of categories of diagrams. The second approach extends the techniques developed by Ivan Le Creurer in his study of descent for internal essentially algebraic structures.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Applied Categorical Structures 数学-数学

CiteScore

1.30

自引率

16.70%

发文量

审稿时长

>12 weeks

期刊介绍： Applied Categorical Structures focuses on applications of results, techniques and ideas from category theory to mathematics, physics and computer science. These include the study of topological and algebraic categories, representation theory, algebraic geometry, homological and homotopical algebra, derived and triangulated categories, categorification of (geometric) invariants, categorical investigations in mathematical physics, higher category theory and applications, categorical investigations in functional analysis, in continuous order theory and in theoretical computer science. In addition, the journal also follows the development of emerging fields in which the application of categorical methods proves to be relevant. Applied Categorical Structures publishes both carefully refereed research papers and survey papers. It promotes communication and increases the dissemination of new results and ideas among mathematicians and computer scientists who use categorical methods in their research.