In this thesis, we study the homotopical relations of 2-categories, double categories, and their infinity-analogues. For this, we construct homotopy theories for the objects of interest, and show that there are homotopically full embeddings of 2-categories ...
We define filter quotients of -categories and prove that filter quotients preserve the structure of an elementary -topos and in particular lift the filter quotient of the underlying elementary topos. We then specialize to the case of filter products of -ca ...
To achieve conservation objectives for threatened and endangered species, managers must choose among potential recovery actions based on their efficacy. Yet, a lack of standardization in defining how conservation actions support recovery objectives can imp ...
The theory of persistence, which arises from topological data analysis, has been intensively studied in the one-parameter case both theoretically and in its applications. However, its extension to the multi-parameter case raises numerous difficulties, wher ...
Previously (Adv. Math. 360 (2020) art. id. 106895), we introduced a class (Z) over tilde of 2-local finite spectra and showed that all spectra Z is an element of (Z) over tilde admit a v(2)-self-map of periodicity 1. The aim here is to compute the K(2)-loc ...
We apply the Acyclicity Theorem of Hess, Kedziorek, Riehl, and Shipley (recently corrected by Garner, Kedziorek, and Riehl) to establishing the existence of model category structure on categories of coalgebras over comonads arising from simplicial adjuncti ...
In the enriched setting, the notions of injective and projective model structures on a category of enriched diagrams also make sense. In this paper, we prove the existence of these model structures on enriched diagram categories under local presentability, ...
A correspondence functor is a functor from the category of finite sets and correspondences to the category of k-modules, where k is a commutative ring. A main tool for this study is the construction of a correspondence functor associated to any finite latt ...
We prove that four different ways of defining Cartesian fibrations and the Cartesian model structure are all Quillen equivalent: 1.On marked simplicial sets (due to Lurie [31]), 2.On bisimplicial spaces (due to deBrito [12]), 3.On bisimplicial sets, 4.On m ...
The cotangent complex of a map of commutative rings is a central object in deformation theory. Since the 1990s, it has been generalized to the homotopical setting of E-infinity-ring spectra in various ways. In this work we first establish, in the context o ...
