样例
·
In order to get $\lambda$-models with a rich structure of $\infty$-groupoid, which we call "homotopy $\lambda$-models", a general technique is described for solving domain equations on any cartesian closed $\infty$-category (c.c.i.) with enough points. Finally, the technique is applied in a particular c.c.i., where some examples of homotopy $\lambda$-models are given.
翻译：为了获得具有丰富结构(我们称之为“Hommotopy $\lambda$-models”)的美元/美元(lambda$-models)模型,我们称其为“motopy $/lambda$-models”,介绍了一种通用技术,用于解决具有足够分数的任何卡通卡通卡的美元/美元(c.c.i.)类(c.c.c.i.)的域方程式。最后,该技术应用在特定的c.c.i.i.,提供了一些同质 $/lambda$-models的例子。
相关内容
专知会员服务
53+阅读 · 2020年1月30日
Arxiv
0+阅读 · 2022年10月21日
Arxiv
0+阅读 · 2022年10月20日
Arxiv
0+阅读 · 2022年10月19日
相关主题
相关VIP内容
专知会员服务
53+阅读 · 2020年1月30日
相关资讯
相关论文
Arxiv
0+阅读 · 2022年10月21日
Arxiv
0+阅读 · 2022年10月20日
Arxiv
0+阅读 · 2022年10月19日
微信扫码咨询专知VIP会员