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

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

Abstract

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.

查看原文

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

本刊更多论文

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

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

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

求助全文

约1分钟内获得全文去求助

来源期刊

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.

期刊最新文献

The derived Brauer map via twisted sheaves Eilenberg–Maclane spaces and stabilisation in homotopy type theory Homotopy types of diffeomorphism groups of polar Morse–Bott foliations on lens spaces, 1 Goodwillie’s cosimplicial model for the space of long knots and its applications Centralisers, complex reflection groups and actions in the Weyl group \(E_6\)