Related papers: Interchanging homotopy limits and colimits in CAT

We show that the category of N-complexes has a Str\om model structure, meaning the weak equivalences are the chain homotopy equivalences. This generalizes the analogous result for the category of chain complexes (N = 2). The trivial objects…

We answer the question to what extent homotopy (co)limits in categories with weak equivalences allow for a Fubini-type interchange law. The main obstacle is that we do not assume our categories with weak equivalences to come equipped with a…

It is a deep fact that the homotopy classification of topological manifolds is convariantly functorial. In other words, a map from a topological manifold M to another N naturally induces a map from the structure set S(M) to S(N). We extend…

In this paper we give a summary of the comparisons between different definitions of so-called (\infty,1)-categories, which are considered to be models for \infty-categories whose n-morphisms are all invertible for n>1. They are also, from…

In paper arXiv:1406.1744, we constructed a symmetric monoidal category $LIE^{MC}$ whose objects are shifted (and filtered) L-infinity algebras. Here, we fix a cooperad $C$ and show that algebras over the operad $Cobar(C)$ naturally form a…

We give a new constructive proof of homotopy canonicity for homotopy type theory (HoTT). Canonicity proofs typically involve gluing constructions over the syntax of type theory. We instead use a gluing construction over a "strict Rezk…

We introduce a notion of categorical homotopic distance between functors by adapting the notion of homotopic distance in topological spaces, recently defined by the authors to the context of small categories. Moreover, this notion…

In the present article, we describe constructions of model structures on general bicomplete categories. We are motivated by the following question: given a category $\mathcal{C}$ with a subcategory $w\mathcal{C}$ closed under retracts, when…

In this paper we prove that various quasi-categories whose objects are $\infty$-categories in a very general sense are complete: admitting limits indexed by all simplicial sets. This result and others of a similar flavor follow from a…

We prove that one can realize certain triangulated subcategories of the singularity category of a complete intersection as homotopy categories of matrix factorizations. Moreover, we prove that for any commutative ring and non-zerodivisor,…

The main objective of this paper is to construct a homotopy colimit functor on a category of functors taking values in the model category of quasi-categories.

We establish a large class of homotopy coherent Morita-equivalences of Dold-Kan type relating diagrams with values in any weakly idempotent complete additive $\infty$-category; the guiding example is an $\infty$-categorical Dold-Kan…

We study the realization problem of finite groups as the group of homotopy classes of self-homotopy equivalences of finite spaces. Let $G$ be a finite group. Using an infinite family of pairwise non weakly homotopic asymmetric spaces we…

In a sufficiently rich category, such as a category of R-modules, and a given infinite cardinal $\kappa$, we examine classes $\Cal H^\kappa_*$ of objects M, such that the following natural monomorphism is an isomorphism: $$\prod_{i\in…

We extend the notion of simplicial set with effective homology to diagrams of simplicial sets. Further, for a given finite diagram of simplicial sets $X \colon \mathcal{I} \to \mathsf{sSet}$ such that each simplicial set $X(i)$ has…

We show that every continuous map from one translationally finite tiling space to another can be approximated by a local map. If two local maps are homotopic, then the homotopy can be chosen so that every interpolating map is also local.

Each small site (C,J) determines a small quantaloid of closed cribles R(C,J). We prove that a small quantaloid Q is equivalent to R(C,J) for some small site (C,J) if and only if there exists a (necessarily subcanonical) Grothendieck…

Effective bounds for the finite number of surjective holomorphic maps between canonically polarized compact complex manifolds of any dimension with fixed domain are proven. Both the case of a fixed target and the case of varying targets are…

We classify all $\pi_1$-injective proper maps between non-compact surfaces up to proper homotopy.

A coextensive category can be defined as a category $\mathcal{C}$ with finite products such that for each pair $X,Y$ of objects in $\mathcal{C}$, the canonical functor $\times\colon X/\mathcal{C} \times Y/\mathcal{C} \to (X \times…