Publication

Filter quotients and non-presentable (∞,1)-toposes

Related publications (34)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

A necessary and sufficient condition for induced model structures

Kathryn Hess Bellwald, Magdalena Kedziorek

A common technique for producing a new model category structure is to lift the fibrations and weak equivalences of an existing model structure along a right adjoint. Formally dual but technically much harder is to lift the cofibrations and weak equivalence ...

Wiley2017

A Looping-Delooping Adjunction For Topological Spaces

Martina Rovelli

Every principal G-bundle over X is classified up to equivalence by a homotopy class X -> BG, where BG is the classifying space of G. On the other hand, for every nice topological space X Milnor constructed a strict model of its loop space (Omega) over tild ...

Int Press Boston, Inc2017

Kan spectra, group spectra and twisting structures

Marc Stephan

Kan spectra provide a combinatorial model for the stable homotopy category. They were introduced by Dan Kan in 1963 under the name semisimplicial spectra. A Kan spectrum is similar to a pointed simplicial set, but it has simplices in negative degrees as we ...

EPFL2015

Conditionally flat functors on spaces and groups

Jérôme Scherer

Consider a fibration sequence of topological spaces which is preserved as such by some functor , so that is again a fibration sequence. Pull the fibration back along an arbitrary map into the base space. Does the pullback fibration enjoy the same property? ...

Springer-Verlag Italia Srl2015

Left-induced model structures and diagram categories

Kathryn Hess Bellwald, Varvara Karpova, Magdalena Kedziorek

We prove existence results à la Jeff Smith for left-induced model category structures, of which the injective model structure on a diagram category is an important example. We further develop the notions of fibrant generation and Postnikov presentation fro ...

2015

Left-Induced Model Structures and Diagram Categories

Kathryn Hess Bellwald, Varvara Karpova, Magdalena Kedziorek

We prove existence results a la Jeff Smith for left-induced model category structures, of which the injective model structure on a diagram category is an important example. We further develop the notions of fibrant generation and Postnikov presentation fro ...

Amer Mathematical Soc2015

Trace maps for Mackey algebras

Baptiste Thierry Pierre Rognerud

Let G be a finite group and R be a commutative ring. The Mackey algebra μR(G) shares a lot of properties with the group algebra RG however, there are some differences. For example, the group algebra is a symmetric algebra and this is not always the case fo ...

Elsevier2015

Hermitian Categories, Extension Of Scalars And Systems Of Sesquilinear Forms

Eva Bayer Fluckiger, Daniel Arnold Moldovan

We prove that the category of systems of sesquilinear forms over a given hermitian category is equivalent to the category of unimodular 1-hermitian forms over another hermitian category. The sesquilinear forms are not required to be unimodular or defined o ...

Pacific Journal Mathematics2014

HIGHER MORSE MODULI SPACES AND n-CATEGORIES

We generalize Cohen & Jones & Segal's flow category, whose objects are the critical points of a Morse function and whose morphisms are the Morse moduli spaces between the critical points to an n-category. The n-category construction involves repeatedly doi ...

Int Press Boston, Inc2014

Parametrized K-theory

Nicolas Mathieu Michel

In nature, one observes that a K-theory of an object is defined in two steps. First a “structured” category is associated to the object. Second, a K-theory machine is applied to the latter category that produces an infinite loop space. We develop a general ...

2013