BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
In this paper we present background results in enriched category theory and enriched model category theory necessary for developing model categories of enriched functors suitable for doing functor calculus.
We introduce an inductively defined sequence of directed graphs and prove that the number of edges added at step k is equal to the kth Catalan number. Furthermore, we establish an isomorphism between the set of edges adjoined at step k and the set of planar rooted trees with k edges.
In this paper we complete a chain of explicit Quillen equivalences between the model category for Θn+1-spaces and the model category of small categories enriched in Θn-spaces. The Quillen equivalences given here connect Segal category objects in Θn-spaces, complete Segal objects in Θn-spaces, and Θn+1-spaces.
We introduce, for any group G, a category GΓ such that diagrams GΓ→SSets satisfying a Segal condition correspond to infinite loop spaces with a G-action. We also consider diagrams which encode group actions on infinite loop spaces where the group may vary.
In this paper we give a model for equivariant (∞,1)-categories. We modify an approach of Shimakawa for equivariant Γ-spaces to the setting of simplicial spaces. We then adapt Rezk's Segal and completeness conditions to fit with this setting.
We consider triangulated orbit categories, with the motivating example of cluster categories, in their usual context of algebraic triangulated categories, then present them from another perspective in the framework of topological triangulated categories.
In this paper we show that the known models for (∞,1)-categories can all be extended to equivariant versions for any discrete group G. We show that in two of the models we can also consider actions of any simplicial group G.
We consider the action of p-toral subgroups of U(n) on the unitary partition complex Ln. We show that if H⊆U(n) is p-toral and has noncontractible fixed points on Ln, then the image of H in the projective unitary group U(n)/S1 is an elementary abelian p-group.
Building on a previous definition of homotopy limit of model categories, we give a definition of homotopy colimit of model categories. Using the complete Segal space model for homotopy theories, we verify that this definition corresponds to the model-category-theoretic definition in that setting.
We study a certain type of action of categories on categories and on operads. Using the structure of the categories Δ and Ω governing category and operad structures, respectively, we define categories which instead encode the structure of a category acting on a category, or a category acting on an operad. We prove that the former has the structure of an elegant Reedy category, whereas the latter has the structure of a generalized Reedy category. In particular, this approach gives a new way to regard group actions on categories and on operads.
We modify a previous result, which showed that certain diagrams of spaces are essentially simplicial monoids, to construct diagrams of spaces which model simplicial groups. Furthermore, we show that these diagrams can be generalized to models for Segal groupoids. We then modify Segal's model for simplicial abelian monoids in such a way that it becomes a model for simplicial abelian groups.
In previous work, we showed that there are appropriate model category structures on the category of simplicial categories and on the category of Segal precategories, and that they are Quillen equivalent to one another and to Rezk's complete Segal space model structure on the category of simplicial spaces. Here, we show that these results still hold if we instead use groupoid or "invertible" cases. Namely, we show that model structures on the categories of simplicial groupoids, Segal pregroupoids, and invertible simplicial spaces are all Quillen equivalent to one another and to the standard model structure on the category of spaces. We prove this result using two different approaches to invertible complete Segal spaces and Segal groupoids.
We give a Quillen equivalence between model structures for simplicial operads, described via the theory of operads, and Segal operads, thought of as certain reduced dendroidal spaces. We then extend this result to give an Quillen equivalence between the model structures for simplicial operads equipped with a group action and the corresponding Segal operads.
While many different models for (∞,1)-categories are currently being used, it is known that they are Quillen equivalent to one another. Several higher-order analogues of them are being developed as models for (∞,n)-categories. In this paper, we establish model structures for some naturally arising categories of objects which should be thought of as (∞,n)-categories. Furthermore, we establish Quillen equivalences between them.
In this paper we extend Toën's derived Hall algebra construction, in which he obtains unital associative algebras from certain stable model categories, to one in which such algebras are obtained from more general stable homotopy theories, in particular stable complete Segal spaces satisfying appropriate finiteness assumptions.
Generalizing a definition of homotopy fiber products of model categories, we give a definition of the homotopy limit of a diagram of left Quillen functors between model categories. As has been previously shown for homotopy fiber products, we prove that such a homotopy limit does in fact correspond to the usual homotopy limit, when we work in a more general model for homotopy theories in which they can be regarded as objects of a model category.
In this paper we introduce the models for (∞,n)-categories which have been developed to date, as well as the comparisons between them that are known and conjectured. We review the role of (∞,n)-categories in the proof of the Cobordism Hypothesis.
We use the notion of multi-Reedy category to prove that, if C is a Reedy category, then ΘC is also a Reedy category. This result gives a new proof that the categories Θn are Reedy categories. We then define elegant Reedy categories, for which we prove that the Reedy and injective model structures coincide.
These notes are from a series of lectures given at the Workshop on the Homotopy Theory of Homotopy Theories which took place in Caesarea, Israel, in May 2010. The workshop was organized by David Blanc, Emmanuel Farjoun, and David Kazhdan, and talks not indicated otherwise were given by the author.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.