Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Homotopy of operads and Grothendieck-Teichmuller groups
B Fresse - 2017 - books.google.com
The ultimate goal of this book is to explain that the Grothendieck–Teichmüller group, as
defined by Drinfeld in quantum group theory, has a topological interpretation as a group of …
defined by Drinfeld in quantum group theory, has a topological interpretation as a group of …
Homotopical algebraic geometry I: Topos theory
B Toën, G Vezzosi - Advances in mathematics, 2005 - Elsevier
This is the first of a series of papers devoted to lay the foundations of Algebraic Geometry in
homotopical and higher categorical contexts. In this first part we investigate a notion of …
homotopical and higher categorical contexts. In this first part we investigate a notion of …
[PDF][PDF] Quasi-categories vs Segal spaces
A Joyal, M Tierney - Contemporary Mathematics, 2007 - people.math.rochester.edu
Quasi-categories vs Segal spaces Page 1 Contemporary Mathematics Volume 431, 2007
Quasi-categories vs Segal spaces Andre Joyal and Myles Tierney To Ross Street on the …
Quasi-categories vs Segal spaces Andre Joyal and Myles Tierney To Ross Street on the …
Hypercovers and simplicial presheaves
D Dugger, S Hollander, DC Isaksen - Mathematical Proceedings of …, 2004 - cambridge.org
We use hypercovers to study the homotopy theory of simplicial presheaves. The main result
says that model structures for simplicial presheaves involving local weak equivalences can …
says that model structures for simplicial presheaves involving local weak equivalences can …
Differential cohomology in a cohesive infinity-topos
U Schreiber - arxiv preprint arxiv:1310.7930, 2013 - arxiv.org
We formulate differential cohomology and Chern-Weil theory--the theory of connections on
fiber bundles and of gauge fields--abstractly in the context of a certain class of higher …
fiber bundles and of gauge fields--abstractly in the context of a certain class of higher …
[HTML][HTML] K-theory and the bridge from motives to noncommutative motives
M Robalo - Advances in Mathematics, 2015 - Elsevier
In this work we present a new approach to the theory of noncommutative motives and use it
to explain the different flavors of algebraic K-theory of schemes and dg-categories. The work …
to explain the different flavors of algebraic K-theory of schemes and dg-categories. The work …
Brouwer's fixed-point theorem in real-cohesive homotopy type theory
M Shulman - Mathematical Structures in Computer Science, 2018 - cambridge.org
We combine homotopy type theory with axiomatic cohesion, expressing the latter internally
with a version of 'adjoint logic'in which the discretization and codiscretization modalities are …
with a version of 'adjoint logic'in which the discretization and codiscretization modalities are …
Combinatorial model categories have presentations
D Dugger - Advances in Mathematics, 2001 - Elsevier
We show that every combinatorial model category is Quillen equivalent to a localization of a
diagram category (where “diagram category” means diagrams of simplicial sets). This says …
diagram category (where “diagram category” means diagrams of simplicial sets). This says …
A Cartesian presentation of weak n–categories
C Rezk - Geometry & Topology, 2010 - msp.org
We propose a notion of weak (n+ k, n)–category, which we call (n+ k, n)–Θ–spaces. The (n+
k, n)–Θ–spaces are precisely the fibrant objects of a certain model category structure on the …
k, n)–Θ–spaces are precisely the fibrant objects of a certain model category structure on the …
Topological hypercovers and 1-realizations
D Dugger, DC Isaksen - Mathematische Zeitschrift, 2004 - Springer
We show that if U* is a hypercover of a topological space X then the natural map hocolim
U*→ X is a weak equivalence. This fact is used to construct topological realization functors …
U*→ X is a weak equivalence. This fact is used to construct topological realization functors …