Related papers: Interchanging homotopy limits and colimits in CAT
We give canonical forms of selfadjoint and isometric operators on a complex vector space $U$ with scalar product given by a positive semidefinite Hermitian form, and of Hermitian forms on $U$. For an arbitrary system of semiunitary spaces…
In this paper, we introduce the notion of bi-homotopy between subsets of continuous functions. A map $\phi$ from $A$ to $B$ is called an $h$-map if, for each two homotopic maps $f, g\in A$, their image (i.e., $\phi(f), \phi(g)$) are…
The real cycle class map $H^i(X,\underline{I}^j(\mathcal{L})) \rightarrow H^i_\text{sing}(X(\mathbb{R}),\mathbb{Z}(\mathcal{L}))$ is an isomorphism for $j\geq \dim(X)+1$ for any scheme $X$ over $\mathbb{R}$ by a result of Jacobson. It is…
This is an introduction to the study of abstract homotopy theory by means of model categories and $(\infty,1)$-categories. The only prerequisites are very basic general topology and abstract algebra. None categorical background is needed.…
In this paper, we give a new proof of a well-known theorem due to tom Dieck that the fat realization and Segal's classifying space of an internal category in the category of topological spaces are homotopy equivalent.
Let $L$ be a finite lattice and let $I$ be an ideal of $L$. Then the restriction map is a bounded lattice homomorphism of the congruence lattice of~$L$ into the congruence lattice of $I$. In a 2009 paper, the authors proved the converse. In…
In this study, we interpret the notion of homotopy of morphisms in the category of crossed modules in a category $\mathsf{C}$ of groups with operations using the categorical equivalence between crossed modules and internal categories in…
Centers of categories capture the natural operations on their objects. Homotopy coherent centers are introduced here as an extension of this notion to categories with an associated homotopy theory. These centers can also be interpreted as…
This paper explores the interplay between category theory, topology, and the algebraic theory of finite groups. Our analysis unfolds in three stages. First, we establish the foundational universe of our objects: the complete and cocomplete…
We prove and explain several classical formulae for homotopy (co)limits in general (combinatorial) model categories which are not necessarily simplicially enriched. Importantly, we prove versions of the Bousfield-Kan formula and the fat…
In this note we provide a characterization, in terms of additional algebraic structure, of those intervals (certain cocategory objects) in a symmetric monoidal closed category E that are representable in the sense of inducing on E the…
We introduce the o-minimal LS-category of definable sets in o-minimal expansions of ordered fields and we establish a relation with the semialgebraic and the classical one. We also study the o-minimal LS-category of definable groups. Along…
In this paper we take a look at compactly generated weak Hausdorff spaces equipped with an action of a compact Lie group $G$ together with their colimits and homotopy colimits. In particular, we investigate relations between (homotopy)…
In this paper we study the relationship between the homology and homotopy of a space at infinity and at its boundary. Firstly, we prove that if a locally connected, connected, $\delta$-hyperbolic space that is acted upon geometrically by a…
In his paper "Th\'eories homotopiques des 2-cat\'egories", Jonathan Chiche studies homotopy theories on 2-Cat, the category of small strict 2-categories, given by classes of weak equivalences which he calls basic localizers of 2-Cat. These…
Given a commutative ring $R$ and finitely generated ideal $I$, one can consider the classes of $I$-adically complete, $L_0^I$-complete and derived $I$-complete complexes. Under a mild assumption on the ideal $I$ called weak pro-regularity,…
A certain amount of category theory is developed in an arbitrary finitely complete category with a factorization system on it, playing the role of the comprehensive factorization system on Cat. Those aspects related to the concepts of…
We consider sections of the \'etale homotopy exact sequence of a hyperbolic curve over a number field. We prove that two sections whose restrictions to decomposition groups are conjugate on a set of valuations of density one are globally…
We show that for an extensive $1$-category $\mathcal{E}$ with pullbacks and pullback stable coequalisers in which the forgetful functor $\mathcal{U}: \mathbf{Cat}(\mathcal{E})_1 \to \mathbf{Gph}(\mathcal{E})$ has left adjoint, the…
The definition of the homotopy limit of a diagram of left Quillen functors of model categories has been useful in a number of applications. In this paper we review its definition and summarize some of these applications. We conclude with a…