The [nlab](http://ncatlab.org/nlab/show/smooth+manifold#patching_as_idempotent_splitting) has a particularly interesting thing to say about the category of smooth manifolds: *it is the idempotent-splitting completion of the category of open sets of Euclidean spaces and smooth maps*.


After proving this, the following excerpt from a paper of Lawvere (cited below) is given.



> 
> “This powerful theorem justifies bypassing the complicated considerations of charts, coordinate transformations, and atlases commonly offered as a ”basic“ definition of the concept of manifold. For example the $2$-sphere, a manifold but not an open set of any Euclidean space, may be fully specified with its smooth structure by considering any open set $A$ in $3$-space E which contains it but not its center (taken to be $0$) and the smooth idempotent endomap of $A$ given by $e(x)=x/|x|$. All general constructions (i.e., functors into categories which are Cauchy complete) on manifolds now follow easily (without any need to check whether they are compatible with coverings, etc.) provided they are known on the opens of Euclidean spaces: for example, the tangent bundle on the sphere is obtained by splitting the idempotent $e'$ on the tangent bundle $A\times V$ of $A$ ($V$ being the vector space of translations of $E$) which is obtained by differentiating $e$. The same for cohomology groups, etc.” (Lawvere 1989, p.267)
> 
> 
> 


Unfortunately the excerpt is not enough for me to understand neither the significance nor the idea behind the theorem, so I am looking for *detailed*, hand-holding explanations of as many parts of it as possible.


* How does this theorem justify bypassing the considerations of charts, atlases, etc?
* What are the details of the sphere example? How is the smooth structure specified by an open set containing it along with $x/|x|$?
* Why are all general constructions in fact functors into cauchy complete categories?
* What are some examples of general constructions and how do they follow easily? How does this approach circumvent messing with covers etc?
* What is meant by "the same for cohomology groups"?


**Reference:** F. William Lawvere, Qualitative distinctions between some toposes of generalized graphs, Contemporary Mathematics 92 (1989), 261-299.



Smooth manifolds as idempotent splitting completion
The theorem is the following: (from 1.15 of [here](http://www.mat.univie.ac.at/~michor/dgbook.pdf))


* Theorem: Let $M$ be a connected manifold and
suppose that $f:M\to M$ is smooth with $f\circ f= f$. Then the
image $f(M)$ of $f$ is a submanifold of $M$.


Proof: We claim that there is an open neighborhood $U$ of
$f(M)$ in $M$ such that the rank of $T\_yf$ is constant for $y\in
U$. Then by the constant rank theorem 1.13 of loc.cit. the result follows.
For $x\in f(M)$ we have $T\_xf\circ T\_xf = T\_xf$; thus $\text{image} T\_xf =
\ker (Id-T\_xf)$ and $\text{rank} T\_xf + \text{rank} (Id-T\_xf) = \dim M$.
Since $\text{rank} T\_xf$ and $\text{rank} (Id-T\_xf)$ cannot fall locally,
$\text{rank} T\_xf$ is locally constant for $x\in f(M)$, and since
$f(M)$ is connected, $\text{rank} T\_xf = r$ for all $x\in f(M)$.
But then for each $x\in f(M)$ there is an open neighborhood
$U\_x$ in $M$ with $\text{rank} T\_yf\geq r$ for all $y\in U\_x$. On the
other hand 
$$
\text{rank} T\_yf = \text{rank} T\_y(f\circ f) = \text{rank} T\_{f(y)}f\circ T\_yf\leq \text{rank} T\_{f(y)}f =r
$$
since $f(y)\in f(M)$. So the neighborhood we need is
given by $U = \bigcup\_{x\in f(M)}U\_x$.


This result can also be expressed as: `smooth retracts' of
manifolds are manifolds. If we do not suppose that $M$ is
connected, then $f(M)$ will not be a pure manifold in general;
it will have different dimensions in different connected components.


Consequences: 1. The (separable) connected
smooth manifolds are exactly the smooth retracts of connected
open subsets of $\mathbb R^n$'s.
2. A smooth mapping 
$f:M\to N$ is an embedding of a submanifold if and only if
there is an open neighborhood $U$ of $f(M)$ in $N$ and a smooth
mapping $r:U\to M$ with $r\circ f=Id\_M$.


Proof: Any manifold $M$ may be embedded into some $\mathbb
R^n$; see \nmb!{1.19} below. Then there exists a tubular
neighborhood of $M$ in $R^n$ , and $M$ is
clearly a retract of such a tubular neighborhood.
For the second assertion we
repeat the argument for $N$ instead of $\mathbb R^n$.


Edited and extended:
====================


Now to your questions, as I understand them: You can reconstruct the category of smooth manifolds and smooth mappings (connect, or not connected but then not pure)
as follows: Objects are $(U,f)$ with $U$ open in some $\mathbb R^n$ and $f:U\to U$ smooth with $f\circ f= f$. Morphisms $h:(U,f)\to (V,g)$ are smooth maps $h:U\to V$ with $h\circ f = g\circ h$. A point of the manifold $(U,f)$ is any $x\in U$ with
$x=f(x)$.


Then you have to describe diffeomorphisms and get rid of the redundancy in the description of a manifold. Note that even in the classical sense, if you write a manifold $M$, you think of it either with a special atlas, or with the atlas comprised of all possible smooth charts, or $\dots$ Somehow, we mentally identify diffeomorphic manifolds. Let me try: 


The identity morphism is any $\ell:(U,f)\to (U,f)$ with $f\circ \ell = f$.


A diffeomorphism $h:(U,f)\to (V,g)$ is one which admits $\ell:(V,g)\to (U,f)$ with $f\circ \ell\circ h =f$ and $g\circ h\circ \ell = g$. 


The tangent bundle of a manifold $(U,f)$ is then just
$T(U,f) = (TU, Tf)$ as a manifold. For the vector bundle structure note that
$TU = U \times \mathbb R^n$, and for a point $x$ in $(U,f)$, i.e., $x\in U$ with $f(x)=x$, we have $T\_xf\circ T\_xf = T\_xf$ a projection in $\mathbb R^n$ whose image is the fiber of the tangent bundle.


I hope that I did not overlook anything.


