Related papers: Double Homotopy (Co)Limits for Relative Categories

We show that the category of comodules over a coassociative coalgebra in a complete, cocomplete and well-powered category has limits and colimits under additional assumptions.

There are various adjunctions between model (co-)slice and slice categories. We characterize when these adjunctions are Quillen equivalences. As an application, a triangle equivalence between the stable category of a Frobenius category and…

We compare existence and equivariance phenomena for weak moment maps and homotopy moment maps in multisymplectic geometry.

We investigate fibrancy conditions in the Thomason model structure on the category of small categories. In particular, we show that the category of weak equivalences of a partial model category is fibrant. Furthermore, we describe…

In this paper we go into the study of 2-limits and 2-colimits in the 2-category CAT the category of small categories. More precisely we show the commutation of filtered 2-colimits and finite 2-limits. It is a generalization of a classical…

Fatou's lemma states under appropriate conditions that the integral of the lower limit of a sequence of functions is not greater than the lower limit of the integrals. This note describes similar inequalities when, instead of a single…

Consider a diagram of quasi-categories that admit and functors that preserve limits or colimits of a fixed shape. We show that any weighted limit whose weight is a projective cofibrant simplicial functor is again a quasi-category admitting…

In this paper, I introduce weak representations of a Lie groupoid $G$. I also show that there is an equivalence of categories between the categories of 2-term representations up to homotopy and weak representations of $G$. Furthermore, I…

In this article, the interplay between Vop\v{e}nka's principle, as well as its weaker counterpart, and presentable $\infty$-categories is studied. Analogous statements, arising after replacing categories with $\infty$-categories in the…

For every ring R, we present a pair of model structures on the category of pro-spaces. In the first, the weak equivalences are detected by cohomology with coefficients in R. In the second, the weak equivalences are detected by cohomology…

Bousfield and Kan's $\mathbb{Q}$-completion and fiberwise $\mathbb{Q}$-completion of spaces lead to two different approaches to the rational homotopy theory of non-simply connected spaces. In the first approach, a map is a weak equivalence…

Model categories have long been a useful tool in homotopy theory, allowing many generalizations of results in topological spaces to other categories. Giving a localization of a model category provides an additional model category structure…

We consider the canonical pseudodistributive law between various free limit completion pseudomonads and the free coproduct completion pseudomonad. When the class of limits includes pullbacks, we show that this consideration leads to notions…

In this article, we study model structures on the category of finite graphs with $\times$-homotopy equivalences as the weak equivalences. We show that there does not exist an analogue of Str\o{}m-Hurewicz model structure on this category of…

We upgrade the Cauchy--Frobenius Lemma (`Burnside's Lemma') to a homotopy equivalence of $\infty$-groupoids, essentially given by double counting/Fubini in the free loop space of the quotient.

Through the notion of weakly sound class of weights, we recover many known dualities involving accessible categories with a chosen class of limits, as instances of a general duality theorem. These include the Gabriel-Ulmer duality for…

It is well known that if $X$ is a CW-complex, then for every weak homotopy equivalence $f:A\to B$, the map $f_*:[X,A]\to [X,B]$ induced in homotopy classes is a bijection. For which spaces $X$ is $f^*:[B,X]\to [A,X]$ a bijection for every…

We describe a category, the objects of which may be viewed as models for homotopy theories. We show that for such models, ``functors between two homotopy theories form a homotopy theory'', or more precisely that the category of such models…

The problem for interface solutions in the quantum theory of heterostructures comprising narrow-gap semiconductors is reformulated in the language of commutative diagrams. By this way the theory of interface states in such heterostructures…

If a map $f$ has a homotopy retraction, then Doeraene and El Haouari conjectured that the sectional category and the relative category of $f$ are the same. In this work we discuss this conjecture for some lower bounds of these invariants.…