Related papers: The $K_\infty$ Homotopy $\lambda$-Model

Let $K$ be a field complete with respect to a discrete valuation $v$ of residue characteristic $p$. For $\alpha \in K$, let $K_\infty$ be the extension obtained by adjoining all iterated preimages of $\alpha$ under a unicritical polynomial…

Let K be an abstract elementary class of models. Assume that there are less than the maximal number of models in K_{\lambda^{+n}} (namely models in K of power \lambda^{+n}) for all n. We provide conditions on K_\lambda, that imply the…

In this paper we elaborate a general homotopy-theoretic framework in which to study problems of descent and completion and of their duals, codescent and cocompletion. Our approach to homotopic (co)descent and to derived (co)completion can…

Let $F$ be a local field with residue field $k$. The classifying space of $GL_n(F)$ comes canonically equipped with a map to the delooping of the $K$-theory space of $k$. Passing to loop spaces, such a map abstractly encodes a homotopy…

We show that in a weak globular $\omega$-category, all composition operations are equivalent and commutative for cells with sufficiently degenerate boundary, which can be considered a higher-dimensional generalisation of the Eckmann-Hilton…

A new case of Shelah's eventual categoricity conjecture is established: $\mathbf{Theorem}$ Let $K$ be an AEC with amalgamation. Write $H_2 := \beth_{\left(2^{\beth_{\left(2^{\text{LS} (K)}\right)^+}}\right)^+}$. Assume that $K$ is…

We provide a type-theoretical characterization of weakly-normalizing terms in an infinitary lambda-calculus. We adapt for this purpose the standard quantitative (with non-idempotent intersections) type assignment system of the…

We obtain the bi-Hamiltonian structure of the super KP hierarchy based on the even super KP operator $\Lambda = \theta^{2} + \sum^{\infty}_{i=-2}U_{i} \theta^{-i-1}$, as a supersymmetric extension of the ordinary KP bi-Hamiltonian…

In the present paper the cyclic homology functor from the category of $A_\infty$-algebras over any commutative unital ring $K$ to the category of graded $K$-modules is constructed. Further, it is showed that this functor sends homotopy…

Let A be a Banach algebra and A' its complexification. In this paper we show that the homotopy fixed point set of K(A'), the topological K-theory space of A', under complex conjugation is just K(A), the topological K-theory space of A. This…

This paper is part of a series of papers about homotopy theory of strict $n$-categories. In the first paper of this series, we gave conditions that guarantee the existence of a Thomason model category structure on the category of strict…

We decompose the twisted index obstruction $\theta(M)$ against positive scalar curvature metrics for oriented manifolds with spin universal cover into a pairing of a twisted $K$-homology with a twisted $K$-theory class and prove that…

We introduce the logics GLP(\Lambda), a generalization of Japaridze's polymodal provability logic GLP(\omega) where \Lambda is any linearly ordered set representing a hierarchy of provability operators of increasing strength. We shall…

Recent developments in the categorical foundations of universal algebra have given fresh impetus to an understanding of the lambda calculus coming from categorical logic: an interpretation is a semi-closed algebraic theory. Scott's…

We develop a homotopy theory of $L_\infty$ algebras based on the Lawrence-Sullivan construction, a complete differential graded Lie algebra which, as we show, satisfies the necessary properties to become the right cylinder in this category.…

Inspired by the works in [1] and [8] we introduce what we call $k$-th-order fluctuation fields and study their scaling limits. This construction is done in the context of particle systems with the property of orthogonal self-duality. This…

In this paper, we firstly construct an $L_\infty[1]$-algebra via the method of higher derived brackets, whose Maurer-Cartan elements correspond to relative $\Omega$-family Rota-Baxter algebras structures of weight $\lambda$. For a relative…

We construct a category that classifies compact Hausdorff spaces by their shape and finite topological spaces by their weak homotopy type.

A classical tool in the study of real closed fields are the fields $K((G))$ of generalized power series (i.e., formal sums with well-ordered support) with coefficients in a field $K$ of characteristic 0 and exponents in an ordered abelian…

It is shown that, for any function $g$ that is weakly increasing on compact convex sets and has the property that if $\lambda\ge 0$ and $K^\prime$ is a translate of $\lambda K$ then $g(K^\prime) =\lambda g(K)$, then for any covering…