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 …

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 …

[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 …

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 …

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 …

[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 …

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 …

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 …

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 …

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 …