Related papers: Topological embeddings of disks via configuration …
We show that in codimension at least 3, spaces of locally flat topological embeddings of manifolds are correctly modelled by derived spaces of maps between their configuration categories (under mild smoothability conditions). That general…
We construct a functor from the category of graphs to the category of groups which is faithful and "almost" full, in the sense that it induces bijections of the Hom sets up to trivial homomorphisms and conjugation in the category of groups.…
The configuration category of a manifold is a topological category which we view as a Segal space, via the nerve construction. Our main result is that the unordered configuration category, suitably truncated, admits a finite presentation as…
We show that in $K$-theory-like categories many corner embeddings into a discrete algebra of compact operators are invertible, and consequently functors on splitexact algebraic $KK$-theory are faithful if and only if they are faithful on…
We investigate the relationship between the configuration category of a manifold and the configuration category of a covering space of that manifold.
On objects of a triangulated category with a stability condition, we construct a topology.
The disk embedding lemma is a technique underlying the topological classification results in 4-manifold topology for good fundamental groups. The purpose of this paper is to develop new tools for disk embedding that work up to s-cobordism,…
We demonstrate that any full and faithful $*$-functor between approximable categories of locally finite coarse spaces induces a coarse embedding between the underlying spaces. Furthermore, we establish a general characterisation of such…
We prove that the notion of Drinfeld center defines a functor from the category of indecomposable multi-tensor categories with morphisms given by bimodules to that of braided tensor categories with morphisms given by monoidal bimodules.…
We study the topology of complete Finsler manifolds admitting convex functions
Adhesive categories are categories which have pushouts with one leg a monomorphism, all pullbacks, and certain exactness conditions relating these pushouts and pullbacks. We give a new proof of the fact that every topos is adhesive. We also…
In order to classify concordance classes of codimension 2 embeddings in a manifold M, we need to determine the complement of such an embedding. These complements are spaces over M well defined up to some homology equivalence. We construct a…
We examine configurations of finite subsets of manifolds within the homotopy-theoretic context of $\infty$-categories by way of stratified spaces. Through these higher categorical means, we identify the homotopy types of such configuration…
Every right adjoint functor between presentable $\infty$-categories is shown to decompose canonically as a coreflection, followed by, possibly transfinitely many, monadic functors. Furthermore, the coreflection part is given a presentation…
Expanding on the comprehensive factorization of functors internal to a category C, under fairly mild conditions on a monad T on C we establish that this orthogonal factorization system exists even in Burroni's category Cat(T) of (internal)…
A translation structure on a surface is an atlas of charts to the plane so that the transition functions are translations. We allow our surfaces to be non-compact and infinite genus. We endow the space of all pointed surfaces equipped with…
We study configuration spaces of framed points on oriented closed smooth manifolds. Such configuration spaces admit natural actions of the framed little discs operads, that play an important role in the study of embedding spaces of…
We define a moduli space of translation structures on the open topological disk with a basepoint and endow it with a locally-compact metrizable topology. We call this the immersive topology, because it is defined using the concept of…
A construction related to the Boardman-Vogt tensor product of operads allows us to describe the configuration category of a product manifold $M\times N$ in terms of the configuration categories of the factors $M$ and $N$.
We show that there is a fully faithful embedding of the category of manifolds with corners into the Cahiers topos, one of the premier models for Synthetic Differential Geometry. This embedding is shown to have a number of nice properties,…