Related papers: Homotopy Types of Abstract Elementary Classes

We show that the categories PsTop and Lim of pseudotopological spaces and limit spaces, respectively, admit cofibration category structures, and that PsTop admits a model category structure, giving several ways to simultaneously study the…

If F is a collection of topological spaces, then a homotopy class \alpha in [X,Y] is called F-trivial if \alpha_* = 0: [A,X] --> [A,Y] for all A in F. In this paper we study the collection Z_F(X,Y) of all F-trivial homotopy classes in [X,Y]…

Suppose M is a noncompact connected PL 2-manifold and let H(M)_0 denote the identity component of the homeomorphism group of M with the compact-open topology. In this paper we classify the homotopy type of H(M)_0 by showing that {\cal…

We generalize Freyd's well-known result that "homotopy is not concrete", offering a general method to show that under certain assumptions on a model category $\mathcal M$, its homotopy category $\text{ho}(\mathcal M)$ cannot be concrete.…

Constructions of spectra from symmetric monoidal categories are typically functorial with respect to strict structure-preserving maps, but often the maps of interest are merely lax monoidal. We describe conditions under which one can…

For a complete and cocomplete category $\mathcal{C}$ with a well-behaved class of `projectives' $\bar{\mathcal{P}}$, we construct a model structure on the category $s\mathcal{C}$ of simplicial objects in $\mathcal{C}$ where the weak…

We give examples of contactomorphisms in every dimension that are smoothly isotopic to the identity but that are not contact isotopic to the identity. In fact, we prove the stronger statement that they are not even symplectically…

We propose the notion of a quasiminimal abstract elementary class (AEC). This is an AEC satisfying four semantic conditions: countable L\"owenheim-Skolem-Tarski number, existence of a prime model, closure under intersections, and uniqueness…

We formulate a conjecture that arithmetic locally symmetric manifolds have simple homotopy type, and prove it for the non-compact case. More precisely, we show that, for any symmetric space S of non-compact type without Euclidean de Rham…

We give necessary conditions for the existence of a compact manifold locally modelled on a given homogeneous space, which generalize some earlier results, in terms of relative Lie algebra cohomology. Applications include both reductive and…

We introduce $\mu$-Abstract Elementary Classes ($\mu$-AECs) as a broad framework for model theory that includes complete boolean algebras and Dirichlet series, and begin to develop their classification theory. Moreover, we note that…

Given a complex analytic singularity $(X, 0)$, we show that if there exists an automorphism $F: (X, 0) \to (X, 0)$ that is contracting, then $(X, 0)$ is quasi-homogeneous.

We study the modular class of $Q$-manifolds, and in particular of negatively graded Lie $\infty$-algebroid. We show the equivalence of several descriptions of those classes, that it matches the classes introduced by various authors and that…

It is known that exactly eight varieties of Heyting algebras have a model-completion, but no concrete axiomatisation of these model-completions were known by now except for the trivial variety (reduced to the one-point algebra) and the…

We construct an example of a simple approximately homogeneous C*-algebra such that its Elliott invariant admits an automorphism which is not induced by an automorphism of the algebra.

In this article, we consider the ball model of an infinite dimensional complex hyperbolic space, i.e. the open unit ball of a complex Hilbert space centered at the origin equipped with the Caratheodory metric. We consider the group of…

We introduce the concept of finitely coloured equivalence for unital *-homomorphisms between C*-algebras, for which unitary equivalence is the 1-coloured case. We use this notion to classify *-homomorphisms from separable, unital, nuclear…

In this short note, we construct a class of models of an extension of homotopy type theory, which we call homotopy type theory with an interval type.

In this paper we consider certain proejctions in the corona algebra of $C(X)\otimes B$ associated to $(p_0, p_1, \dots, p_n)$ where $p_i: X_i \to \mt_s$ a continuous projection valued section to the multiplier algebra of a stable…

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,…