近似同态与某些框架映射之间的对应关系

arXiv - MATH - Category Theory Pub Date : 2024-07-16 DOI:arxiv-2407.11528

Ando Razafindrakoto

{"title":"近似同态与某些框架映射之间的对应关系","authors":"Ando Razafindrakoto","doi":"arxiv-2407.11528","DOIUrl":null,"url":null,"abstract":"We exhibit the proximity frames and proximity homomorphisms as a Kleisli\ncategory of a comonad whose underlying functor takes a proximity frame to its\nframe of round ideals. This construction is known in the literature as {\\em\nstable compactification} (\\cite{BezHar2}). We show that the frame of round\nideals naturally carries with it two proximities of interest from which two\ncomonads are induced.","PeriodicalId":501135,"journal":{"name":"arXiv - MATH - Category Theory","volume":"38 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"A correspondence between proximity homomorphisms and certain frame maps via a comonad\",\"authors\":\"Ando Razafindrakoto\",\"doi\":\"arxiv-2407.11528\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We exhibit the proximity frames and proximity homomorphisms as a Kleisli\\ncategory of a comonad whose underlying functor takes a proximity frame to its\\nframe of round ideals. This construction is known in the literature as {\\\\em\\nstable compactification} (\\\\cite{BezHar2}). We show that the frame of round\\nideals naturally carries with it two proximities of interest from which two\\ncomonads are induced.\",\"PeriodicalId\":501135,\"journal\":{\"name\":\"arXiv - MATH - Category Theory\",\"volume\":\"38 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-07-16\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - MATH - Category Theory\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2407.11528\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - MATH - Category Theory","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2407.11528","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

我们把邻近框架和邻近同态展示为一个组合子的 Kleislicategory，它的底层函子把邻近框架带到它的圆理想框架。这种构造在文献中被称为{emstable compactification} (\cite{BezHar2})。我们证明，圆理想的框架天然地携带着两个感兴趣的邻近性，从中可以诱导出两个单胞子。

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

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

A correspondence between proximity homomorphisms and certain frame maps via a comonad

We exhibit the proximity frames and proximity homomorphisms as a Kleisli category of a comonad whose underlying functor takes a proximity frame to its frame of round ideals. This construction is known in the literature as {\em stable compactification} (\cite{BezHar2}). We show that the frame of round ideals naturally carries with it two proximities of interest from which two comonads are induced.

求助全文

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

来源期刊

arXiv - MATH - Category Theory

自引率

0.00%

发文量

期刊最新文献

Cyclic Segal Spaces Unbiased multicategory theory Multivariate functorial difference A Fibrational Theory of First Order Differential Structures A local-global principle for parametrized $\infty$-categories