Related papers: The Cantor-Schr\"oder-Bernstein Theorem for $\inft…

The intended model of the homotopy type theories used in Univalent Foundations is the infinity-category of homotopy types, also known as infinity-groupoids. The problem of higher structures is that of constructing the homotopy types needed…

In this paper we establish a direct connection between stable approximate unitary equivalence for $*$-homomorphisms and the topology of the KK-groups which avoids entirely C*-algebra extension theory and does not require nuclearity…

For a countable, weakly minimal theory, we show that the Schroeder-Bernstein property (any two elementarily bi-embeddable models are isomorphic) is equivalent to both a condition on orbits of rank 1 types and the property that the theory…

Using an algebraic point of view we present an introduction to the groupoid theory, that is, we give fundamental properties of groupoids as, uniqueness of inverses and properties of the identities, and study subgroupoids, wide subgroupoids…

The Brouwer fixed point theorem states that the disk $D^n$ has the fixed point property. More generally, by the Lefschetz fixed point theorem any compact ANR with trivial rational homology has the fixed point property. In this note we prove…

We prove an adjoint functor theorem in the setting of categories enriched in a monoidal model category $\mathcal V$ admitting certain limits. When $\mathcal V$ is equipped with the trivial model structure this recaptures the enriched…

We construct a left semi-model structure on the category of intensional type theories (precisely, on $\mathrm{CxlCat_{Id,1,\Sigma(,\Pi_{ext})}}$). This presents an $\infty$-category of such type theories; we show moreover that there is an…

We give an elementary proof of the Hurewicz theorem relating homotopy and homology groups of a cubical Kan complex. Our approach is based on the notion of a loop space of a cubical set, developed in a companion paper ``Homotopy groups of…

Motivated by gauge theory, we develop a general framework for chain complex valued algebraic quantum field theories. Building upon our recent operadic approach to this subject, we show that the category of such theories carries a canonical…

Let $\mathcal C$ be a $\mathcal V$-enriched model category. We say that an object $x$ of $\mathcal C$ is homotopy tiny if the total right derived functor of $\mathcal C(x, -) : \mathcal{C} \rightarrow {\mathcal V}$ preserves homotopy…

The embedding theorem arises in several problems from analysis and geometry. The purpose of this paper is to provide a deeper understanding of analysis and geometry with a particular focus on embedding theorems on spaces of homogeneous type…

In this paper, we set up a rational homotopy theory for operads in simplicial sets whose term of arity one is not necessarily reduced to an operadic unit, extending results obtained by the author in the book "Homotopy of operads and…

Topos properties of the category of covering groupoids over a fixed groupoid are discussed. A classification result for connected covering groupoids over a fixed groupoid analogous to the fundamental theorem of Galois theory is given.

We prove a theorem of Tits type about automorphism groups for compact Kahler manifolds, which has been conjectured in the paper [KOZ].

We generalize and strengthen the theorem of Gromov that every compact Riemannian manifold of diameter at most D has a set of generators g_1,...,g_k of length at most 2D and relators of the form g_ig_m = g_j . In particular, we obtain an…

Using dependent type theory to formalise the syntax of dependent type theory is a very active topic of study and goes under the name of "type theory eating itself" or "type theory in type theory." Most approaches are at least loosely based…

We show that for a minimal, second countable, locally compact Hausdorff \'etale groupoid whose unit space is homeomorphic to the Cantor set, if the groupoid has comparison then the commutator subgroup of its full group is simple. This…

In algebraic topology, the fundamental groupoid is a classical homotopy invariant which is defined using continuous maps from the closed interval to a topological space. In this paper, we construct a semi-coarse version of this invariant,…

We prove an analogue of the fixed-point theorem for the case of definably amenable groups.

The rigidity theorem of Witten-Bott-Taubes-Hirzebruch tells us that, if the circle group acts on a closed almost complex (or more generally unitary) manifold whose first Chern class is divisible by a positive integer N greater than 1, then…