\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{Kriegl and Michor&#39;s cartesian closed category of manifolds}

\hypertarget{title}{}\section*{{Kriegl and Michor's Cartesian Closed Category of Smooth Manifolds}}\label{title}

\begin{section}
\label{sectiona}\hypertarget{sectiona}{}
\end{section}
\hypertarget{introduction}{}\subsection*{{Introduction}}\label{introduction}

In \hyperlink{MR764972}{MR764972} and \href{MR767683}{MR767683}, Michor gives a description of a category of ``smooth manifolds'' due to himself and Kriegl which is [[cartesian closed]]. The key to achieving this is to replace charts and atlases by notions based on smooth curves. The resulting objects have a considerable amount of structure built in, but nonetheless replicate ordinary smooth manifolds in the finite dimensional situation.

\begin{section}
\label{sectionb}\hypertarget{sectionb}{}
\end{section}
\hypertarget{definition}{}\subsection*{{Definition}}\label{definition}

The final data of a ``smooth manifold'' is the following:

\begin{enumerate}%
\item Two sets, $M$ and $T M$, and a mapping $\pi _{M} \colon T M \to M$ such that each fibre is a [[locally convex space]] of a certain type.


\item A set $\mathcal{S} (\mathbb{R},M)$ of curves in $M$, closed under $C^\infty$--reparametrisations and containing all constants.


\item For each $t \in \mathbb{R}$, a mapping $\delta _{t} \colon \mathcal{S} (\mathbb{R},M) \to T M$ such that:

\begin{enumerate}%
\item $\pi _{M} \circ \delta _{t} = \ev_{t}$,


\item $\delta _{t} (c \circ f) = f'(t) \delta _{f(t)} c$,


\item $c$ is constant if for all $t$ then $\delta _{t} c = 0$.



\end{enumerate}

\item A mapping $\Pt^{T M} = \Pt\colon \mathcal{S} (\mathbb{R},M) \times \mathbb{R} \to \mathcal{L} (T M, T M)$ such that:

\begin{enumerate}%
\item $\Pt(c,t) \colon T_{c(0)} M \to T_{c(t)} M$ is linear and continuous,


\item $\Pt(c,0) = \Id$,


\item $\Pt(c,f(t)) = Pt(c \circ f,t) \Pt(c,f(0))$.



\end{enumerate}

\item $t \mapsto \Pt(c,t)^{-1} (\delta _{t} c)$ is a $C^\infty$--curve in the locally convex space $T_{c(0)} M$.


\item A mapping $\Geo^{M} = \Geo\colon T M \to \mathcal{S} (\mathbb{R},M)$ such that:

\begin{enumerate}%
\item $\Geo(t \cdot v)(s) = \Geo(v)(t s)$,


\item $\delta _{t}( \Geov) = \Pt(\Geo(v),t) \cdot v$,


\item $\Geo(\delta _{t} \Geo(v))(s) = \Geo(v)(t + s)$.



\end{enumerate}

\item $\Pt\colon \mathcal{S} (\mathbb{R},M) \times \mathbb{R} \to L(T M, T M)$ is smooth.


\item $\Geo\colon T M \to \mathcal{S} (\mathbb{R},M)$ is smooth.



\end{enumerate}
There is a notion of a \emph{smooth map} between such objects (and in which the last two conditions must be interpreted). The resulting category is cartesian closed.

\begin{section}
\label{sectionc}\hypertarget{sectionc}{}
\end{section}
\hypertarget{in_details}{}\subsection*{{In Details}}\label{in_details}

The actual definition is built up in stages. The first definition given is that of a \emph{pre-manifold}. This consists of the first six conditions in the above, to wit:

\begin{defn}
\label{defna}\hypertarget{defna}{}
A \emph{pre-manifold} consists of the following data.

~

\begin{enumerate}%
\item Two sets, $M$ and $T M$, and a mapping $\pi _{M} \colon T M \to M$ such that each fibre is a [[locally convex space]] of a certain type.


\item A set $\mathcal{S} (\mathbb{R},M)$ of curves in $M$, closed under $C^{\infty }$--reparametrisations and containing all constants.


\item For each $t \in \mathbb{R}$, a mapping $\delta _{t} \colon \mathcal{S} (\mathbb{R},M) \to T M$ such that: ~

\begin{enumerate}%
\item $\pi _{M} \circ \delta _{t} = \ev_{t}$,


\item $\delta _{t} (c \circ f) = f'(t) \delta _{f(t)} c$,


\item $c$ is constant if for all $t$ then $\delta _{t} c = 0$.



\end{enumerate}

\item A mapping $\Pt^{T M} = \Pt\colon \mathcal{S} (\mathbb{R},M) \times \mathbb{R} \to \mathcal{L} (T M, T M)$ such that: ~

\begin{enumerate}%
\item $\Pt(c,t) \colon T_{c(0)} M \to T_{c(t)} M$ is linear and continuous,


\item $\Pt(c,0) = \Id$,


\item $\Pt(c,f(t)) = Pt(c \circ f,t) \Pt(c,f(0))$.



\end{enumerate}

\item $t \mapsto \Pt(c,t)^{-1} (\delta _{t} c)$ is a $C^{\infty }$--curve in the locally convex space $T_{c(0)} M$.


\item A mapping $\Geo^{M} = \Geo\colon T M \to \mathcal{S} (\mathbb{R},M)$ such that: ~

\begin{enumerate}%
\item $\Geo(t \cdot v)(s) = \Geo(v)(t s)$,


\item $\delta _{t}( \Geov) = \Pt(\Geo(v),t) \cdot v$,


\item $\Geo(\delta _{t} \Geo(v))(s) = \Geo(v)(t + s)$.



\end{enumerate}


\end{enumerate}
\end{defn}
There is an auxiliary concept of a \emph{pre-vector bundle} over a pre-manifold which is also introduced. A pre-manifold defines a pre-vector bundle in a natural way, modelling the fact that the tangent bundle of an ordinary manifold is a vector bundle. The initial reason for introducing pre-vector bundles is that it can be shown that the total space of a pre-vector bundle is again a pre-manifold, and thus if $M$ is a pre-manifold then we can define an associated pre-manifold $T M$ and so on.

The next important concept is that of a \emph{smooth map}, and this leads to a category of pre-manifolds. In fact, two definitions of morphisms between pre-manifolds are given in the two papers. The main one is that of a smooth map. The second, called $S^{1}$ in the papers, is a truncated version.

\begin{defn}
\label{defnb}\hypertarget{defnb}{}
Let $M$ and $N$ be pre-manifolds. A set map $f \colon M \to N$ is smooth if there is a sequence of maps $T^{n} f \colon T^{n} M \to T^{n} N$ with the property that for each $n$, $(T^{n} f)_{*} \colon \mathcal{S} (\mathbb{R},M) \to \mathcal{S} (\mathbb{R},N)$ makes sense and satisfies $(T^{n} f)_{*} \delta _{0} = \delta _{0} (T^{n-1} f)_{*}$.

\end{defn}
An $S^{1}$ map is simply a map $f \colon M \to N$ for which $f_{*} \colon \mathcal{S} (\mathbb{R},M) \to \mathcal{S} (\mathbb{R},N)$ is defined.

\begin{section}
\label{sectiond}\hypertarget{sectiond}{}
\end{section}
\hypertarget{relationship_to_other_theories}{}\subsection*{{Relationship to Other Theories}}\label{relationship_to_other_theories}

Underneath the structure of a pre-manifold is a notion of a [[generalised smooth space|generalized smooth space]] which fits in with the scheme defined in \hyperlink{MR2805746}{MR2805746}. It is formed by taking the category of test spaces to be the one-object category associated to the monoid $C^{\infty } (\mathbb{R},\mathbb{R})$, the underlying category to be $\Set$, the input forcing condition is the input terminal condition (all constant maps are smooth), and the output forcing condition is saturation (whence output functions can be safely ignored).

\begin{defn}
\label{defnc}\hypertarget{defnc}{}
Let $\mathcal{KM}$ be the category of generalised smooth spaces so described.

\end{defn}
The input forcing condition is extremely weak. This means that it sits far to the left in the diagram at [[generalised smooth spaces|generalized smooth spaces]]. However, the fact that the category of test objects is extremely small means that there is less potential for variation than with those categories where the test category is somewhat larger.

In the literature, Chen's first (1973) definition comes closest to this in terms of forcing condition but the category of [[Frölicher spaces]] is closest in terms of underlying category and test category.

There is an inclusion functor $\mathcal{Fr} \to \mathcal{KM}$ and this has a left adjoint which is found by saturating the smooth curves with respect to the smooth functions to $\mathbb{R}$.

For [[Chen spaces]] and [[diffeological spaces]], the story is similar. Each category has a functor to $\mathcal{KM}$ but it is no longer an inclusion (for example, $\mathbb{R} ^{2}$ with the standard diffeology and with the wire diffeology give the same object in $\mathcal{KM}$). These functors have left adjoints where a plot is smooth if it locally factors through one of the original smooth curves. Note that this means that for $\mathbb{R} ^{2}$ we recover the wire diffeology and not the standard one.

\hypertarget{references}{}\subsection*{{References}}\label{references}

\begin{itemize}%
\item P. Michor, (1984). A convenient setting for differential geometry and global analysis. \emph{Cahiers Topologie G\'e{}om. Diff\'e{}rentielle}, \emph{25}, 63--109.


\item P. Michor, (1984). A convenient setting for differential geometry and global analysis. II. \emph{Cahiers Topologie G\'e{}om. Diff\'e{}rentielle}, \emph{25}, 113--178.


\item Andreas Kriegl, [[Peter Michor]], [[The Convenient Setting of Global Analysis]], Mathematical Surveys and Monographs, 53 AMS (1997) \href{http://www.mat.univie.ac.at/~michor/apbookh-ams.pdf}{pdf}


\item Stacey, A. (2011). Comparative smootheology. \emph{Theory Appl. Categ.}, \emph{25}, No. 4, 64--117.



\end{itemize}


\end{document}