Skip to main content
TeX, while this is on the front page
Source Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

The$\newcommand\Top{\mathit{Top}}\newcommand\Mfd{\mathit{Mfd}}$The category can be drastically different. For example, suppose your morphisms are precisely local homeomorphisms. Call this category $Top^{et}$$\Top^\text{ét}$. This category is locally a topos, which is something certainly not the case for the category $Top$$\Top$ of all continuous maps. Moreover, $Top^{et}$$\Top^\text{ét}$ lacks a terminal object (which is something which will happen for many variants). In fact, $Top^{et}$$\Top^\text{ét}$ behaves much more like a category of sheaves on a single space, thenthan a category of spaces; to see this, if we let $\mathfrak{Top}^{et}$$\mathfrak{Top}^\text{ét}$ denote the bicategory of (etaleétale) topological stacks and local homeomorphisms, this is equivalent to the bicategory of stacks on some (filtered colimit of) etaleétale topological stack(s). The bicategory $\mathfrak{Top}^{et}$$\mathfrak{Top}^\text{ét}$ contains $Top^{et}$$\Top^{ét}$ as a full subcategory, and (if we restrict to a set of topological spaces) is a $2$-topos, so has all the limits, colimits etc. you can imagine. Using this, it can be shown that $Top^{et}$$\Top^{ét}$ does have at least binary products, but they behave very differently than in $Top.$$\Top$. For example, instead of $Top$$\Top$, consider the category $Mfd$$\Mfd$ of smooth manifolds. Given an $n$-manifold $N$ and an $m$-manifold $M,$$M$, their product $N \times^{et} M$$N \times^\text{ét} M$ in $Mfd^{et}$$\Mfd^\text{ét}$ is empty if $n \ne m,$$n \ne m$, and if $n=m,$$n=m$, their product is a highly non-Hausdorff smooth $n$-manifold. This is discussed in arXiv:1212.2282.

The category can be drastically different. For example, suppose your morphisms are precisely local homeomorphisms. Call this category $Top^{et}$. This category is locally a topos, which is something certainly not the case for the category $Top$ of all continuous maps. Moreover, $Top^{et}$ lacks a terminal object (which is something which will happen for many variants). In fact, $Top^{et}$ behaves much more like a category of sheaves on a single space, then a category of spaces; to see this, if we let $\mathfrak{Top}^{et}$ denote the bicategory of (etale) topological stacks and local homeomorphisms, this is equivalent to the bicategory of stacks on some (filtered colimit of) etale topological stack(s). The bicategory $\mathfrak{Top}^{et}$ contains $Top^{et}$ as a full subcategory, and (if we restrict to a set of topological spaces) is a $2$-topos, so has all the limits, colimits etc. you can imagine. Using this, it can be shown that $Top^{et}$ does have at least binary products, but they behave very differently than in $Top.$ For example, instead of $Top$, consider the category $Mfd$ of smooth manifolds. Given an $n$-manifold $N$ and an $m$-manifold $M,$ their product $N \times^{et} M$ in $Mfd^{et}$ is empty if $n \ne m,$ and if $n=m,$ their product is a highly non-Hausdorff smooth $n$-manifold. This is discussed in arXiv:1212.2282.

$\newcommand\Top{\mathit{Top}}\newcommand\Mfd{\mathit{Mfd}}$The category can be drastically different. For example, suppose your morphisms are precisely local homeomorphisms. Call this category $\Top^\text{ét}$. This category is locally a topos, which is something certainly not the case for the category $\Top$ of all continuous maps. Moreover, $\Top^\text{ét}$ lacks a terminal object (which is something which will happen for many variants). In fact, $\Top^\text{ét}$ behaves much more like a category of sheaves on a single space, than a category of spaces; to see this, if we let $\mathfrak{Top}^\text{ét}$ denote the bicategory of (étale) topological stacks and local homeomorphisms, this is equivalent to the bicategory of stacks on some (filtered colimit of) étale topological stack(s). The bicategory $\mathfrak{Top}^\text{ét}$ contains $\Top^{ét}$ as a full subcategory, and (if we restrict to a set of topological spaces) is a $2$-topos, so has all the limits, colimits etc. you can imagine. Using this, it can be shown that $\Top^{ét}$ does have at least binary products, but they behave very differently than in $\Top$. For example, instead of $\Top$, consider the category $\Mfd$ of smooth manifolds. Given an $n$-manifold $N$ and an $m$-manifold $M$, their product $N \times^\text{ét} M$ in $\Mfd^\text{ét}$ is empty if $n \ne m$, and if $n=m$, their product is a highly non-Hausdorff smooth $n$-manifold. This is discussed in arXiv:1212.2282.

http -> https
Source Link
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40

The category can be drastically different. For example, suppose your morphisms are precisely local homeomorphisms. Call this category $Top^{et}$. This category is locally a topos, which is something certainly not the case for the category $Top$ of all continuous maps. Moreover, $Top^{et}$ lacks a terminal object (which is something which will happen for many variants). In fact, $Top^{et}$ behaves much more like a category of sheaves on a single space, then a category of spaces; to see this, if we let $\mathfrak{Top}^{et}$ denote the bicategory of (etale) topological stacks and local homeomorphisms, this is equivalent to the bicategory of stacks on some (filtered colimit of) etale topological stack(s). The bicategory $\mathfrak{Top}^{et}$ contains $Top^{et}$ as a full subcategory, and (if we restrict to a set of topological spaces) is a $2$-topos, so has all the limits, colimits etc. you can imagine. Using this, it can be shown that $Top^{et}$ does have at least binary products, but they behave very differently than in $Top.$ For example, instead of $Top$, consider the category $Mfd$ of smooth manifolds. Given an $n$-manifold $N$ and an $m$-manifold $M,$ their product $N \times^{et} M$ in $Mfd^{et}$ is empty if $n \ne m,$ and if $n=m,$ their product is a highly non-Hausdorff smooth $n$-manifold. This is discussed in http://arxiv.org/abs/1212.2282arXiv:1212.2282.

The category can be drastically different. For example, suppose your morphisms are precisely local homeomorphisms. Call this category $Top^{et}$. This category is locally a topos, which is something certainly not the case for the category $Top$ of all continuous maps. Moreover, $Top^{et}$ lacks a terminal object (which is something which will happen for many variants). In fact, $Top^{et}$ behaves much more like a category of sheaves on a single space, then a category of spaces; to see this, if we let $\mathfrak{Top}^{et}$ denote the bicategory of (etale) topological stacks and local homeomorphisms, this is equivalent to the bicategory of stacks on some (filtered colimit of) etale topological stack(s). The bicategory $\mathfrak{Top}^{et}$ contains $Top^{et}$ as a full subcategory, and (if we restrict to a set of topological spaces) is a $2$-topos, so has all the limits, colimits etc. you can imagine. Using this, it can be shown that $Top^{et}$ does have at least binary products, but they behave very differently than in $Top.$ For example, instead of $Top$, consider the category $Mfd$ of smooth manifolds. Given an $n$-manifold $N$ and an $m$-manifold $M,$ their product $N \times^{et} M$ in $Mfd^{et}$ is empty if $n \ne m,$ and if $n=m,$ their product is a highly non-Hausdorff smooth $n$-manifold. This is discussed in http://arxiv.org/abs/1212.2282.

The category can be drastically different. For example, suppose your morphisms are precisely local homeomorphisms. Call this category $Top^{et}$. This category is locally a topos, which is something certainly not the case for the category $Top$ of all continuous maps. Moreover, $Top^{et}$ lacks a terminal object (which is something which will happen for many variants). In fact, $Top^{et}$ behaves much more like a category of sheaves on a single space, then a category of spaces; to see this, if we let $\mathfrak{Top}^{et}$ denote the bicategory of (etale) topological stacks and local homeomorphisms, this is equivalent to the bicategory of stacks on some (filtered colimit of) etale topological stack(s). The bicategory $\mathfrak{Top}^{et}$ contains $Top^{et}$ as a full subcategory, and (if we restrict to a set of topological spaces) is a $2$-topos, so has all the limits, colimits etc. you can imagine. Using this, it can be shown that $Top^{et}$ does have at least binary products, but they behave very differently than in $Top.$ For example, instead of $Top$, consider the category $Mfd$ of smooth manifolds. Given an $n$-manifold $N$ and an $m$-manifold $M,$ their product $N \times^{et} M$ in $Mfd^{et}$ is empty if $n \ne m,$ and if $n=m,$ their product is a highly non-Hausdorff smooth $n$-manifold. This is discussed in arXiv:1212.2282.

Source Link
David Carchedi
  • 15.5k
  • 38
  • 99

The category can be drastically different. For example, suppose your morphisms are precisely local homeomorphisms. Call this category $Top^{et}$. This category is locally a topos, which is something certainly not the case for the category $Top$ of all continuous maps. Moreover, $Top^{et}$ lacks a terminal object (which is something which will happen for many variants). In fact, $Top^{et}$ behaves much more like a category of sheaves on a single space, then a category of spaces; to see this, if we let $\mathfrak{Top}^{et}$ denote the bicategory of (etale) topological stacks and local homeomorphisms, this is equivalent to the bicategory of stacks on some (filtered colimit of) etale topological stack(s). The bicategory $\mathfrak{Top}^{et}$ contains $Top^{et}$ as a full subcategory, and (if we restrict to a set of topological spaces) is a $2$-topos, so has all the limits, colimits etc. you can imagine. Using this, it can be shown that $Top^{et}$ does have at least binary products, but they behave very differently than in $Top.$ For example, instead of $Top$, consider the category $Mfd$ of smooth manifolds. Given an $n$-manifold $N$ and an $m$-manifold $M,$ their product $N \times^{et} M$ in $Mfd^{et}$ is empty if $n \ne m,$ and if $n=m,$ their product is a highly non-Hausdorff smooth $n$-manifold. This is discussed in http://arxiv.org/abs/1212.2282.