等价空间的范畴与同调商的有效拓扑

IF 0.5 4区数学

Journal of Homotopy and Related Structures Pub Date : 2016-10-25 DOI:10.1007/s40062-016-0161-z

Giuseppe Rosolini

引用次数: 4

摘要

我们证明了马丁- l ?等价空间的范畴和有效拓扑给出的F型理论是2群类群的适当范畴的同调商。

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

查看原文本刊更多论文

The category of equilogical spaces and the effective topos as homotopical quotients

We show that the two models of an extensional version of Martin-L?f type theory, those given by the category of equilogical spaces and by the effective topos, are homotopical quotients of appropriate categories of 2-groupoids.

求助全文

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

来源期刊

Journal of Homotopy and Related Structures Mathematics-Geometry and Topology

自引率

0.00%

发文量

期刊介绍： Journal of Homotopy and Related Structures (JHRS) is a fully refereed international journal dealing with homotopy and related structures of mathematical and physical sciences. Journal of Homotopy and Related Structures is intended to publish papers on Homotopy in the broad sense and its related areas like Homological and homotopical algebra, K-theory, topology of manifolds, geometric and categorical structures, homology theories, topological groups and algebras, stable homotopy theory, group actions, algebraic varieties, category theory, cobordism theory, controlled topology, noncommutative geometry, motivic cohomology, differential topology, algebraic geometry.