Zobrazeno 1 - 10
of 401
pro vyhledávání: '"Homotopy hypothesis"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Edoardo Lanari
Publikováno v:
Journal of Pure and Applied Algebra. 224:630-702
The goal of this paper is to address the problem of building a path object for the category of Grothendieck (weak) ∞-groupoids. This is the missing piece for a proof of Grothendieck's homotopy hypothesis. We show how to endow the putative underlyin
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Pedro Boavida de Brito, Ieke Moerdijk
We study the covariant model structure on dendroidal spaces, and establish direct relations to the homotopy theory of algebras over a simplicial operad as well as to the homotopy theory of special Γ-spaces. As an important tool in the latter compari
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2a085b80d62c8831dc492da91a050b08
https://dspace.library.uu.nl/handle/1874/410907
https://dspace.library.uu.nl/handle/1874/410907
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Tibor Beke
Publikováno v:
Journal of Pure and Applied Algebra. 221:393-400
In each characteristic, there is a canonical homomorphism from the Grothendieck ring of varieties to the Grothendieck ring of sets definable in the theory of algebraically closed fields. We prove that this homomorphism is an isomorphism in characteri
Autor:
Theodore Voronov
Publikováno v:
Journal of Geometry and Physics. 111:94-110
We introduce mappings between spaces of functions on (super)manifolds that generalize pullbacks with respect to smooth maps but are, in general, nonlinear (actually, formal). The construction is based on canonical relations and generating functions.
Autor:
Stuart Presnell, James Ladyman
Publikováno v:
Ladyman, J & Presnell, S 2019, ' Universes and Univalence in Homotopy Type Theory ', Review of Symbolic Logic, vol. 12, no. 3, pp. 426-455 . https://doi.org/10.1017/S1755020316000460
The Univalence axiom, due to Vladimir Voevodsky, is often taken to be one of the most important discoveries arising from the Homotopy Type Theory (HoTT) research programme. It is said by Steve Awodey that Univalence embodies mathematical structuralis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d4da2347742d2efaf85845fe98cff3c3
https://research-information.bris.ac.uk/en/publications/56d0ce13-06fb-4ebd-bce2-47edec9c816c
https://research-information.bris.ac.uk/en/publications/56d0ce13-06fb-4ebd-bce2-47edec9c816c
Autor:
Timothy L. Clark
Publikováno v:
Topology and its Applications. 209:153-169
A class of pointed spaces is called a resolving class if it is closed under weak equivalences and pointed homotopy limits. Let R ( A ) denote the smallest resolving class containing a space A. We say X is A-resolvable if X is in R ( A ) , which induc
Autor:
Karol Szumiło
Publikováno v:
Homology, Homotopy and Applications