# Abstract Nonsense

## Smooth Maps and the Category of Smooth Manifolds (Pt. III)

Point of Post: This is a continuation of this post.

$\text{ }$

September 3, 2012

## Smooth Maps and the Category of Smooth Manifolds (Pt. II)

Point of Post: This is a continuation of this post.

$\text{ }$

September 3, 2012

## Smooth Maps and the Category of Smooth Manifolds (Pt. I)

Point of Post: In this post we define what it means for a map between two manifolds to be smooth.

$\text{ }$

Motivation

$\text{ }$

We literally defined smooth manifolds to be the topological spaces where we will have a relatively sound meaning of what a “smooth map” is. Thus, it would seem that the first order of business is to fully define and explore this notion of smooth map. The basic idea though is precisely what we have said before. A map between smooth manifold will be smooth if it is smooth locally around each point and its image–when we think about the space locally as Euclidean space.

$\text{ }$

The interesting part is that once we define smooth map we will then be able to define the category of (finite dimensional) smooth manifolds. We will then be able to discuss the functor which takes a smooth manifold to it’s algebra of smooth functions (for us, function will mean a map into $\mathbb{R}$). We will then be able to make sense of the following statement: the smooth structure of a manifold  is largely encoded in its algebra of smooth functions.

$\text{ }$

September 3, 2012

## Smooth Manifolds (Pt. III)

Point of Post: This is a continuation of this post.

$\text{ }$

August 30, 2012

## Smooth Manifolds (Pt. II)

Point of Post: This is a continuation of this post.

$\text{ }$

August 30, 2012

## Smooth Manifolds (Pt. I)

Point of Post: In this post we define the notion of smooth manifolds, give ample examples, and prove some fundamental results about the construction of smooth manifolds.

$\text{ }$

Motivation

$\text{ }$

In previous posts we have defined the notion of a topological manifold as being the end result of a progression through nicer and nicer spaces. In this post we take this progression one step further and describe a class of spaces that, in some sense, are some of the nicest spaces one can reasonably hope to deal with. The spaces come up when we ask ourselves “now that we have spaces that locally look like $\mathbb{R}^n$, what can we do with them?” Thus, one starts introspecting: what aspect of $\mathbb{R}^n$, besides being the most natural space for us lowly humans to think of, makes it so special?

$\text{ }$

August 30, 2012

## Topological Manifolds (Pt. II)

Point of Post: This is a continuation of this post.

$\text{ }$

August 30, 2012