nLab
TopMfd

Context

Topology

topology (point-set topology)

see also algebraic topology, functional analysis and homotopy theory

Introduction

Basic concepts

Universal constructions

Extra stuff, structure, properties

Examples

Basic statements

Theorems

Basic 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 13:10:00 by Urs Schreiber (89.204.137.64)