nLab TopMfd

Contents

Context

Topology

topology (point-set topology, point-free topology)

see also differential topology, algebraic topology, functional analysis and topological homotopy theory

Introduction

Basic concepts

Universal constructions

Extra stuff, structure, properties

Examples

Basic statements

Theorems

Analysis Theorems

topological homotopy theory

Contents

Definition

The category TopMfdTopMfd is that whose

Properties

As a site

The category TopMfdTopMfd becomes a large site equipped with the open cover coverage. This is a small-generated site: a dense sub-site is CartSp top{}_{top}.

The hypercompleted (∞,1)-sheaf (∞,1)-topos over TopMfdTopMfd is that of Euclidean-topological ∞-groupoids.

ETopGrpdSh^ (,1)(TopMfd). ETop\infty Grpd \simeq \hat Sh_{(\infty,1)}(TopMfd) \,.

See there for details.

category: category

Created on January 20, 2011 at 13:09:26. See the history of this page for a list of all contributions to it.