BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Charles Rezk contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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 define a notion of "Frobenius pair", which is a mild generalization of the notion of Frobenius object in a monoidal category. We then show that Atiyah duality for smooth manifolds can be encapsulated in the statement that a certain collection of structure obtained from a manifold forms a commutative Frobenius pair in the stable homotopy category of spectra.
We use the notion of multi-Reedy category to prove that, if $\mathcal C$ is a Reedy category, then $Θ\mathcal 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.
We produce a highly structured way of associating a simplicial category to a model category which improves on work of Dwyer and Kan and answers a question of Hovey. We show that model categories satisfying a certain axiom are Quillen equivalent to simplicial model categories. A simplicial model category provides higher order structure such as composable mapping spaces and homotopy colimits. We also show that certain homotopy invariant functors can be replaced by weakly equivalent simplicial, or `continuous', functors. This is used to show that if a simplicial model category structure exists on a model category then it is unique up to simplicial Quillen equivalence.