\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{mathbbol}
\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*{geometry of physics -- smooth sets}

\hypertarget{context}{}\subsubsection*{{Context}}\label{context}

\hypertarget{physics}{}\paragraph*{{Physics}}\label{physics}

[[!include physicscontents]]

\hypertarget{differential_geometry}{}\paragraph*{{Differential geometry}}\label{differential_geometry}

[[!include synthetic differential geometry - contents]]

\begin{quote}%
This entry one chapter of \emph{[[geometry of physics]]}.

previous chapters: \emph{[[geometry of physics -- categories and toposes|categories and toposes]]}

next chapters: \emph{[[geometry of physics -- supergeometry|supergeometry]]}, \emph{[[geometry of physics -- smooth homotopy types|smooth homotopy types]]}


\end{quote}
$\,$

$\,$

This chapter introduces a generalized kind of [[sets]] equipped with [[smooth structure]], to be called \emph{[[smooth sets]]} or, with an eye towards their generalization to \emph{[[geometry of physics -- smooth homotopy types|smooth homotopy types]]}, \emph{smooth [[h-sets]]} or \emph{smooth [[homotopy 0-types|0-types]]}\footnote{In view of the \emph{[[smooth homotopy types]]} to be discussed in \emph{[[geometry of physics -- smooth homotopy types]]}, the structures discussed now are properly called \emph{smooth [[0-types]]} or maybe \emph{smooth [[h-sets]]} or just \emph{smooth sets}. While this subsumes [[smooth manifolds]] which are indeed sets equipped with (particularly nice) [[smooth structure]], it is common in practice to speak of manifolds as ``spaces'' (indeed as [[topological spaces]] equipped with smooth structure). Historically the \emph{[[Cartesian space]]} and \emph{[[Euclidean space]]} of [[Newtonian physics]] are the archetypical examples of smooth manifolds and modern [[differential geometry]] developed very much via motivation by the study of the \emph{spaces} in [[general relativity]], namely \emph{[[spacetimes]]}. Unfortunately, in a parallel development the word ``space'' has evolved in [[homotopy theory]] to mean (just) the [[homotopy types]] \emph{represented} by an actual [[topological space]] (their [[fundamental infinity-groupoids]]). Ironically, with this meaning of the word ``space'' the original [[Euclidean spaces]] become equivalent to the point, signifying that the modern meaning of ``space'' in [[homotopy theory]] is quite orthogonal to the original meaning, and that in homotopy theory therefore one should better stick to ``[[homotopy types]]''. Since historically grown terminology will never be fully logically consistent, and since often the less well motivated terminology is more widely understood, we will follow tradition here and take the liberty to use ``smooth sets'' and ``smooth spaces'' synonymously, the former when we feel more formalistic, the latter when we feel more relaxed.} .

The definition (Def. \ref{SmoothSpace} below) subsumes that of [[smooth manifolds]], [[Fréchet manifolds]] and [[diffeological spaces]] but is both simpler and more powerful: smooth sets are simply [[sheaves]] on the [[gros site]] of [[Cartesian Spaces]] (Prop. \ref{CartSpCategory} below) and as such form a nice [[category]] -- a [[topos]] -- and this contains as [[full subcategories]] the more ``tame'' objects such as [[smooth manifolds]] (Prop. \ref{InclusionOfSmoothManifoldsIntoSmoothSets} below) and [[diffeological spaces]] (Prop. \ref{DiffeologicalSpacesAreTheConcreteSmoothSets} below).

In fact smooth sets are an early stage in a long sequence of generalized smooth spaces appearing in [[higher differential geometry]]:

$\,$ $\;\;\;\;$ $\{$[[coordinate systems]]$\}$ $\hookrightarrow$ $\{$[[smooth manifolds]]$\}$ $\phantom{AA}$ (Prop. \ref{InclusionOfSmoothManifoldsIntoSmoothSets} below) $\hookrightarrow$ $\{$[[Hilbert manifolds]]$\}$ $\hookrightarrow$ $\{$[[Banach manifolds]]$\}$ $\hookrightarrow$ $\{$[[Fréchet manifolds]]$\}$ $\phantom{AA}$ (Prop. \ref{FrechetManifoldsFullyFaithfulInSmoothSets} below) $\hookrightarrow$ $\{$[[diffeological spaces]]$\}$ $\phantom{AA}$ (Prop. \ref{ReflectiveInclusionOfDiffeologicalSpacesinSmoothSets} below) $\hookrightarrow$ $\{$[[smooth sets]]$\}$ $\hookrightarrow$ $\{$[[formal smooth sets]]$\}$ $\hookrightarrow$ $\{$[[super formal smooth sets]]$\}$ $\phantom{AA}$ (chapter [[geometry of physics -- supergeometry|on supergeometry]])  $\hookrightarrow$ $\{$[[orbifold|smooth orbifolds]]$\}$ $\hookrightarrow$ $\{$[[smooth groupoids]]$\}$ $\hookrightarrow$ $\{$[[smooth 2-groupoids]]$\}$ $\hookrightarrow$ $\cdots$ $\hookrightarrow$ $\{$[[smooth ∞-groupoids]]$\}$ $\phantom{AA}$ (chapter [[geometry of physics -- smooth homotopy types|on smooth ∞-groupoids]]) $\hookrightarrow$ $\{$[[formal smooth ∞-groupoids]]$\}$ $\hookrightarrow$ $\{$[[super formal smooth ∞-groupoids]]$\}$

$\,$

\hypertarget{contents}{}\section*{{Contents}}\label{contents}

\noindent\hyperlink{CoordinateSystemsLayerMod}{Abstract coordinate systems}\dotfill \pageref*{CoordinateSystemsLayerMod} \linebreak
\noindent\hyperlink{TheContinuumRealWorldLine}{The continuum real line}\dotfill \pageref*{TheContinuumRealWorldLine} \linebreak
\noindent\hyperlink{CartesianSpaces}{Cartesian spaces and smooth functions}\dotfill \pageref*{CartesianSpaces} \linebreak
\noindent\hyperlink{PropertiesOfSmoothFunctions}{The magic properties of smooth functions}\dotfill \pageref*{PropertiesOfSmoothFunctions} \linebreak
\noindent\hyperlink{CoordinateSystemsLayerSem}{The site of abstract coordinate systems}\dotfill \pageref*{CoordinateSystemsLayerSem} \linebreak
\noindent\hyperlink{SmoothSpacesLayerMod}{Smooth sets}\dotfill \pageref*{SmoothSpacesLayerMod} \linebreak
\noindent\hyperlink{PlotsOfSmoothSpacesAndTheirGluing}{Plots of smooth sets and their gluing}\dotfill \pageref*{PlotsOfSmoothSpacesAndTheirGluing} \linebreak
\noindent\hyperlink{HomomorphismsOfSmoothSpaces}{Homomorphisms of smooth sets}\dotfill \pageref*{HomomorphismsOfSmoothSpaces} \linebreak
\noindent\hyperlink{ProductsAndFiberProductsOfSmoothSpaces}{Products and fiber products of smooth sets}\dotfill \pageref*{ProductsAndFiberProductsOfSmoothSpaces} \linebreak
\noindent\hyperlink{SmoothMappingSpaces}{Smooth mapping spaces and smooth moduli spaces}\dotfill \pageref*{SmoothMappingSpaces} \linebreak
\noindent\hyperlink{SmoothSpacesLayerSem}{The cohesive topos of smooth sets}\dotfill \pageref*{SmoothSpacesLayerSem} \linebreak
\noindent\hyperlink{concrete_smooth_sets_diffeological_spaces}{Concrete smooth sets: Diffeological spaces}\dotfill \pageref*{concrete_smooth_sets_diffeological_spaces} \linebreak
\noindent\hyperlink{DifferentialForms}{Differential forms}\dotfill \pageref*{DifferentialForms} \linebreak
\noindent\hyperlink{integration_and_transgression}{Integration and transgression}\dotfill \pageref*{integration_and_transgression} \linebreak


\hypertarget{CoordinateSystemsLayerMod}{}\subsection*{{Abstract coordinate systems}}\label{CoordinateSystemsLayerMod}

As discussed in the chapter \emph{[[geometry of physics -- categories and toposes|categories and toposes]]}, every kind of \emph{[[geometry]]} is modeled on a collection of [[generator|archetypical]] basic [[spaces]] and geometric [[homomorphisms]] between them. In [[differential geometry]] the archetypical spaces are the abstract standard [[Cartesian space|Cartesian coordinate systems]], denoted $\mathbb{R}^n$ (in every [[dimension]] $n \in \mathbb{N}$). The geometric homomorphism between them are [[smooth functions]] $\mathbb{R}^{n_1} \to \mathbb{R}^{n_2}$, hence smooth (and possibly degenerate) [[coordinate transformations]].

Here we introduce the basic concept, organizing them in the [[category]] [[CartSp]] of [[Cartesian spaces]] (Prop. \ref{CartSpCategory} below.) We highlight three classical theorems about [[smooth functions]] in Prop. \ref{AlgebraicFactsOfDifferentialGeometry} below, which look innocent but play a decisive role in setting up [[synthetic differential geometry|synthetic differential]] [[supergeometry]] based on the concept of abstract smooth coordinate systems.

At this point these are not yet coordinate systems \emph{on} some other space. But by applying the general machine of [[geometry of physics -- categories and toposes|categories and toposes]] to these, a concept of [[generalized spaces]] modeled on these abstract coordinate systems is induced. These are the \emph{[[smooth sets]]} discussed in the next chapter \emph{[[geometry of physics -- smooth sets]]}.

\hypertarget{TheContinuumRealWorldLine}{}\subsubsection*{{The continuum real line}}\label{TheContinuumRealWorldLine}

The fundamental premise of [[differential geometry]] as a model of [[geometry]] in [[physics]] is the following.

\textbf{Premise.} \emph{The abstract [[worldline]] of any [[particle]] is modeled by the [[continuum]] [[real line]] $\mathbb{R}$.}

This comes down to the following sequence of premises.

\begin{enumerate}%
\item There is a [[linear ordering]] of the [[points]] on a [[worldline]]: in particular if we pick points at some intervals on the worldline we may label these in an order-preserving way by [[integers]]

$\mathbb{Z}$.


\item These intervals may each be subdivided into $n$ smaller intervals, for each natural number $n$. Hence we may label points on the [[worldline]] in an order-preserving way by the [[rational numbers]]

$\mathbb{Q}$.


\item This labeling is dense: every point on the worldline is the [[supremum]] of an [[inhabited set|inhabited]] [[bounded subset]] of such labels. This means that a [[worldline]] [[equivalence|is]] the \emph{[[real line]]}, the [[continuum]] of [[real numbers]]

$\mathbb{R}$.



\end{enumerate}
The adjective ``real'' in ``[[real number]]'' is a historical shadow of the old idea that real numbers are related to \emph{observed reality}, hence to [[physics]] in this way. The experimental success of this assumption shows that it is valid at least to very good approximation.

\hypertarget{CartesianSpaces}{}\subsubsection*{{Cartesian spaces and smooth functions}}\label{CartesianSpaces}

\begin{defn}
\label{SmoothFunctions}\hypertarget{SmoothFunctions}{}
\textbf{([[smooth function]])}

A [[function]] of [[sets]] $f : \mathbb{R} \to \mathbb{R}$ is called a \textbf{[[smooth function]]} if, [[coinduction|coinductively]]:

\begin{enumerate}%
\item the [[derivative]] $\frac{d f}{d x} : \mathbb{R} \to \mathbb{R}$ exists;


\item and is itself a smooth function.



\end{enumerate}
We write $C^\infty(\mathbb{R}) \in Set$ for the [[set]] of all smooth functions on $\mathbb{R}$.

\end{defn}
\begin{remark}
\label{}\hypertarget{}{}
The superscript ``${}^\infty$'' in ``$C^\infty(\mathbb{R})$'' refers to the order of the [[derivatives]] that exist for smooth functions. More generally for $k \in \mathbb{N}$ one writes $C^k(\mathbb{R})$ for the set of $k$-fold [[differentiable functions]] on $\mathbb{R}$. These will however not play much of a role for our discussion here.

\end{remark}
\begin{defn}
\label{CartesianSpaceAndHomomorphism}\hypertarget{CartesianSpaceAndHomomorphism}{}
\textbf{([[Cartesian spaces]] and [[smooth functions]])}

For $n \in \mathbb{N}$, the \textbf{[[Cartesian space]]} $\mathbb{R}^n$ is the set

\begin{displaymath}
\mathbb{R}^n = \{ (x^1 , \cdots, x^{n}) | x^i \in \mathbb{R} \}
\end{displaymath}
of $n$-[[tuples]] of [[real numbers]]. For $1 \leq k \leq n$ write

\begin{displaymath}
i^k : \mathbb{R} \to \mathbb{R}^n
\end{displaymath}
for the [[function]] such that $i^k(x) = (0, \cdots, 0,x,0,\cdots,0)$ is the [[tuple]] whose $k$th entry is $x$ and all whose other entries are $0 \in \mathbb{R}$; and write

\begin{displaymath}
\mathbb{p}^k : \mathbb{R}^n \to \mathbb{R}
\end{displaymath}
for the function such that $p^k(x^1, \cdots, x^n) = x^k$.

A \textbf{[[homomorphism]]} of Cartesian spaces is a \emph{[[smooth function]]}

\begin{displaymath}
f : \mathbb{R}^{n_1} \to \mathbb{R}^{n_2}
  \,,
\end{displaymath}
hence a [[function]] $f : \mathbb{R}^{n_1} \to \mathbb{R}^{n_2}$ such that all [[partial derivatives]] exist and are [[continuous map|continuous]].

\end{defn}
\begin{example}
\label{}\hypertarget{}{}
Regarding $\mathbb{R}^n$ as an $\mathbb{R}$-[[vector space]], every [[linear function]] $\mathbb{R}^{n_1} \to \mathbb{R}^{n_2}$ is in particular a [[smooth function]].

\end{example}
\begin{remark}
\label{}\hypertarget{}{}
But a homomorphism of Cartesian spaces in def. \ref{CartesianSpaceAndHomomorphism} is \emph{not} required to be a [[linear map]]. We do \emph{not} regard the Cartesian spaces here as [[vector spaces]].

\end{remark}
\begin{defn}
\label{}\hypertarget{}{}
A [[smooth function]] $f : \mathbb{R}^{n_1} \to \mathbb{R}^{n_2}$ is called a \textbf{[[diffeomorphism]]} if there exists another smooth function $\mathbb{R}^{n_2} \to \mathbb{R}^{n_1}$ such that the underlying functions of sets are [[inverse]] to each other

\begin{displaymath}
f \circ g = id
\end{displaymath}
and

\begin{displaymath}
g \circ f = id
  \,.
\end{displaymath}
\end{defn}
\begin{prop}
\label{}\hypertarget{}{}
There exists a [[diffeomorphism]] $\mathbb{R}^{n_1} \to \mathbb{R}^{n_2}$ precisely if $n_1 = n_2$.

\end{prop}
\begin{defn}
\label{CartesianSpacesAndSmoothFunctions}\hypertarget{CartesianSpacesAndSmoothFunctions}{}
We will also say equivalently that

\begin{enumerate}%
\item a [[Cartesian space]] $\mathbb{R}^n$ is an \textbf{[[coordinate system|abstract coordinate system]]};


\item a [[smooth function]] $\mathbb{R}^{n_1} \to \mathbb{R}^{n_2}$ is an \textbf{[[coordinate transformation|abstract coordinate transformation]]};


\item the [[function]] $p^k : \mathbb{R}^{n} \to \mathbb{R}$ is the $k$th \textbf{[[coordinate]]} of the coordinate system $\mathbb{R}^n$. We will also write this function as $x^k : \mathbb{R}^{n} \to \mathbb{R}$.


\item for $f : \mathbb{R}^{n_1} \to \mathbb{R}^{n_2}$ a [[smooth function]], and $1 \leq k \leq n_2$ we write

\begin{enumerate}%
\item $f^k \coloneqq p^k\circ f$


\item $(f^1, \cdots, f^n) \coloneqq f$.



\end{enumerate}


\end{enumerate}
\end{defn}
\begin{remark}
\label{}\hypertarget{}{}
It follows with this notation that

\begin{displaymath}
id_{\mathbb{R}^n} = (x^1, \cdots, x^n) : \mathbb{R}^n \to \mathbb{R}^n
  \,.
\end{displaymath}
Hence an abstract coordinate transformation

\begin{displaymath}
f : \mathbb{R}^{n_1} \to \mathbb{R}^{n_2}
\end{displaymath}
may equivalently be written as the tuple

\begin{displaymath}
\left(
    f^1 \left( x^1, \cdots, x^{n_1} \right)
    ,
    \cdots,
    f^{n_2}\left( x^1, \cdots, x^{n_1} \right)
  \right)
  \,.
\end{displaymath}
\end{remark}
\hypertarget{PropertiesOfSmoothFunctions}{}\subsubsection*{{The magic properties of smooth functions}}\label{PropertiesOfSmoothFunctions}

Below we encounter generalizations of ordinary [[differential geometry]] that include explicit ``[[infinitesimals]]'' in the guise of \emph{[[infinitesimally thickened points]]}, as well as ``super-graded infinitesimals'', in the guise of \emph{[[superpoints]]} (necessary for the description of [[fermion fields]] such as the [[Dirac field]]). As we discuss \hyperlink{FieldBundles}{below}, these structures are naturally incorporated into [[differential geometry]] in just the same way as [[Grothendieck]] introduced them into [[algebraic geometry]] (in the guise of ``[[formal schemes]]''), namely in terms of [[formal dual|formally dual]] [[rings of functions]] with [[nilpotent ideals]]. That this also works well for [[differential geometry]] rests on the following three basic but important properties, which say that [[smooth functions]] behave ``more algebraically'' than their definition might superficially suggest:

\begin{prop}
\label{AlgebraicFactsOfDifferentialGeometry}\hypertarget{AlgebraicFactsOfDifferentialGeometry}{}
\textbf{(the three magic algebraic properties of [[differential geometry]])}

\begin{enumerate}%
\item \textbf{[[embedding of smooth manifolds into formal duals of R-algebras|embedding of Cartesian spaces into formal duals of R-algebras]]}

For $X$ and $Y$ two [[Cartesian spaces]], the [[smooth functions]] $f \colon X \longrightarrow Y$ between them (def. \ref{CartesianSpacesAndSmoothFunctionsBetweenThem}) are in [[natural bijection]] with their induced algebra [[homomorphisms]] $C^\infty(X) \overset{f^\ast}{\longrightarrow} C^\infty(Y)$ (example \ref{AlgebraOfSmoothFunctionsOnCartesianSpaces}), so that one may equivalently handle [[Cartesian spaces]] entirely via their $\mathbb{R}$-algebras of smooth functions.

Stated more [[category theory|abstractly]], this means equivalently that the [[functor]] $C^\infty(-)$ that sends a [[smooth manifold]] $X$ to its $\mathbb{R}$-[[associative algebra|algebra]] $C^\infty(X)$ of [[smooth functions]] (example \ref{AlgebraOfSmoothFunctionsOnCartesianSpaces}) is a \emph{[[fully faithful functor]]}:

\begin{displaymath}
C^\infty(-)
  \;\colon\;
  SmthMfd \overset{\phantom{AAAA}}{\hookrightarrow} \mathbb{R} Alg^{op}
  \,.
\end{displaymath}
(\href{embedding+of+smooth+manifolds+into+formal+duals+of+R-algebras#KolarSlovakMichor93}{Kolar-Slovak-Michor 93, lemma 35.8, corollaries 35.9, 35.10})


\item \textbf{[[smooth Serre-Swan theorem|embedding of smooth vector bundles into formal duals of R-algebra modules]]}

For $E_1 \overset{vb_1}{\to} X$ and $E_2 \overset{vb_2}{\to} X$ two [[vector bundle]] there is then a [[natural bijection]] between vector bundle [[homomorphisms]] $f \colon E_1 \to E_2$ and the [[homomorphisms]] of [[modules]] $f_\ast \;\colon\; \Gamma_X(E_1) \to \Gamma_X(E_2)$ that these induces between the [[spaces of sections]].

More [[category theory|abstractly]] this means that the [[functor]] $\Gamma_X(-)$ is a [[fully faithful functor]]

\begin{displaymath}
\Gamma_X(-) \;\colon\; VectBund_X \overset{\phantom{AAAA}}{\hookrightarrow} C^\infty(X) Mod
\end{displaymath}
(\href{smooth+Serre-Swan+theorem#Nestruev03}{Nestruev 03, theorem 11.29})

Moreover, the [[modules]] over the $\mathbb{R}$-algebra $C^\infty(X)$ of [[smooth functions]] on $X$ which arise this way as [[sections]] of [[smooth vector bundles]] over a [[Cartesian space]] $X$ are precisely the [[finitely generated module|finitely generated]] [[free modules]] over $C^\infty(X)$.

(\href{smooth+Serre-Swan+theorem#Nestruev03}{Nestruev 03, theorem 11.32})


\item \textbf{[[derivations of smooth functions are vector fields|vector fields are derivations of smooth functions]]}.

For $X$ a [[Cartesian space]] (Def. \ref{CartesianSpaceAndHomomorphism}), then any [[derivation]] $D \colon  C^\infty(X) \to C^\infty(X)$ on the $\mathbb{R}$-[[associative algebra|algebra]] $C^\infty(X)$ of [[smooth functions]] is given by [[differentiation]] with respect to a uniquely defined smooth [[tangent vector field]]: The function that regards [[tangent vector fields]] as [[derivations]]

\begin{displaymath}
\itexarray{
    \Gamma_X(T X)
      &\overset{\phantom{A}\simeq\phantom{A}}{\longrightarrow}&
    Der(C^\infty(X))
    \\
    v &\mapsto& D_v
  }
\end{displaymath}
is in fact an [[isomorphism]].

(This follows directly from the \emph{[[Hadamard lemma]]}.)



\end{enumerate}
\end{prop}
Actually all three statements in prop. \ref{AlgebraicFactsOfDifferentialGeometry} hold not just for [[Cartesian spaces]], but generally for [[smooth manifolds]] (def./prop. \ref{SmoothManifoldInsideDiffeologicalSpaces} below; if only we generalize in the second statement from [[free modules]] to [[projective modules]]. However for our development here it is useful to first focus on just [[Cartesian spaces]] and then bootstrap the theory of [[smooth manifolds]] and much more from that, which we do \hyperlink{FieldBundles}{below}.

$\,$

\hypertarget{CoordinateSystemsLayerSem}{}\subsubsection*{{The site of abstract coordinate systems}}\label{CoordinateSystemsLayerSem}

Much of the above disucssion is usefully summarized by saying that abstract coordinate systems with smooth functions between them form a \emph{[[category]]} (Prop. \ref{CartSpCategory} below). Equipped with the information of how one abstract coordinate system may be \emph{covered} by other coordinate systems (Def. \ref{DifferentiallyGoodOpenCover} below), this becomes a \emph{[[site]]} (Prop. \ref{TheDifferentiallyGoodOpenCoverCoverage}) below.

$\,$

\begin{prop}
\label{CartSpCategory}\hypertarget{CartSpCategory}{}
\textbf{(the [[category]] [[CartSp]] of abstract [[coordinate systems]]/[[Cartesian spaces]])}

Abstract coordinate systems according to prop. \ref{CartesianSpacesAndSmoothFunctions} form a \emph{[[category]]} (\href{geometry+of+physics+--+Categories+and+Toposes#Categories}{this def.}) -- to be denoted \emph{[[CartSp]]} -- whose

\begin{itemize}%
\item [[objects]] are the abstract coordinate systems $\mathbb{R}^{n}$ (the [[class]] of objects is the [[set]] $\mathbb{N}$ of [[natural numbers]] $n$);


\item [[morphisms]] $f : \mathbb{R}^{n_1} \to \mathbb{R}^{n_2}$ are the abstract [[coordinate transformations]] = [[smooth functions]].



\end{itemize}
Composition of morphisms is given by [[composition]] of [[functions]].

Under this identification

\begin{enumerate}%
\item The [[identity morphisms]] are precisely the [[identity functions]].


\item The [[isomorphisms]] are precisely the [[diffeomorphisms]].



\end{enumerate}
\end{prop}
We discuss a standard structure of a \emph{[[site]]} on the category [[CartSp]]. Following \emph{[[Sketches of an Elephant|Johnstone -- Sketches of an Elephant]]}, it will be useful and convenient to regard a site as a ([[small site|small]]) category equipped with a \emph{[[coverage]]}. This generates a genuine [[Grothendieck topology]], but need not itself already be one.

\begin{defn}
\label{}\hypertarget{}{}
For $n \in \mathbb{N}$ the standard [[open ball|open n-ball]] is the subset

\begin{displaymath}
D^n = \{ (x_i)_{i =1}^n \in \mathbb{R}^n | \sum_{i = 1}^n (x_i)^2 \lt 1 \}  \hookrightarrow \mathbb{R}^n
  \,.
\end{displaymath}
\end{defn}
\begin{prop}
\label{}\hypertarget{}{}
There is a [[diffeomorphism]]

\begin{displaymath}
\mathbb{R}^n \stackrel{\simeq}{\to} D^n
  \,.
\end{displaymath}
\end{prop}
\begin{defn}
\label{DifferentiallyGoodOpenCover}\hypertarget{DifferentiallyGoodOpenCover}{}
\textbf{(differentially [[good open covers]])}

A \textbf{differentially [[good open cover]]} of a [[Cartesian space]] $\mathbb{R}^n$ is a set $\{U_i \hookrightarrow \mathbb{R}^n\}$ of [[open subset]] inclusions of Cartesian spaces such that these [[open cover|cover]] $\mathbb{R}^n$ and such for each non-empty finite [[intersection]] there exists a [[diffeomorphism]]

\begin{displaymath}
\mathbb{R}^n \stackrel{\simeq}{\to} U_{i_1} \cap \cdots \cap U_{i_k}
\end{displaymath}
that identifies the $k$-fold intersection with a Cartesian space itself.

\end{defn}
\begin{remark}
\label{}\hypertarget{}{}
Differentiably good covers are useful for computations. Their full impact is however on the [[homotopy theory]] of [[simplicial presheaves]] over [[CartSp]]. This we discuss in the chapter on [[geometry of physics -- smooth homotopy types|smooth homotopy types]], around this prop.omotopy types\#DifferentiablyGoodCoverGivesSPlitHyperCoverOverCartSp).

\end{remark}
\begin{lemma}
\label{DiffGoodOpenCoversRefineOpenCovers}\hypertarget{DiffGoodOpenCoversRefineOpenCovers}{}
\textbf{(every [[open cover]] has refinement by a differentially [[good open cover]])}

Every [[open cover]] of a [[smooth manifold]] has a refinement by a differentially good open cover, according to Def. \ref{DifferentiallyGoodOpenCover}.

\end{lemma}
For proof see \href{https://ncatlab.org/schreiber/show/Cech+Cocycles+for+Differential+characteristic+Classes}{FSS10, Prop. A1}, or see at \emph{[[good open cover]]}.

\begin{remark}
\label{}\hypertarget{}{}
Lemma \ref{DiffGoodOpenCoversRefineOpenCovers} is not quite a classical statement. The classical statement is only that every open cover is refined by a \emph{topologically} [[good open cover]]. See the comments \emph{\href{ball#References}{here in the references-section}} at \emph{[[open ball]]} for the situation concerning this statement in the literature.

\end{remark}
\begin{remark}
\label{}\hypertarget{}{}
The \emph{good} open covers do not yet form a [[Grothendieck topology]] on [[CartSp]]. One of the axioms of a Grothendieck topology is that for every [[covering]] family also its [[pullback]] along any morphism in the category is a covering family. But while the pullback of every [[open cover]] is again an open cover, and hence open covers form a Grothendieck topology on [[CartSp]], not every pullback of a \emph{[[good open cover|good]]} open cover is again \emph{good}.

\end{remark}
\begin{example}
\label{ExampleThatGoodOpenCoversAreNotPullbackStable}\hypertarget{ExampleThatGoodOpenCoversAreNotPullbackStable}{}
Let $\{\mathbb{R}^2\stackrel{\phi_{i}}{\hookrightarrow}\mathbb{R}^2\}_{i \in \{1,2\}}$ be the [[open cover]] of the [[plane]] by an open left half space

\begin{displaymath}
\mathbb{R}^2 \simeq \{ (x_1,x_2) \in \mathbb{R}^2 | x_1 \lt 1 \} \stackrel{\phi_1}{\hookrightarrow} \mathbb{R}^2
\end{displaymath}
and a right open half space

\begin{displaymath}
\mathbb{R}^2 \simeq \{ (x_1,x_2) \in \mathbb{R}^2 | x_1 \gt -1 \} \stackrel{\phi_2}{\hookrightarrow} \mathbb{R}^2
  \,.
\end{displaymath}
The intersection of the two is the open strip

\begin{displaymath}
\mathbb{R}^2 \simeq \{ (x_1, x_2) \in \mathbb{R}^2 | -1 \lt x_1 \lt 1 \}
  \hookrightarrow 
  \mathbb{R}^2
  \,.
\end{displaymath}
So this is a [[good open cover]] of $\mathbb{R}^2$.

But consider then the smooth function

\begin{displaymath}
2(\cos(2 \pi (-)), \sin(2 \pi (-))) \colon \mathbb{R}^1 \to \mathbb{R}^2
\end{displaymath}
which sends the line to a curve in the plane that periodically goes around the [[circle]] of radius 2 in the plane.

Then the pullback of the above good open cover on $\mathbb{R}^2$ to $\mathbb{R}^1$ along this function is an [[open cover]] of $\mathbb{R}$ by two open subsets, each being a disjoint union of countably many open [[intervals]] in $\mathbb{R}$. Each of these open intervals is an open 1-ball hence diffeomorphic to $\mathbb{R}^1$, but their \emph{[[disjoint union]]} is not [[contractible topological space|contractible]] (it does not contract to the point, but to many points!).

So the pullback of the good open cover that we started with is an open cover which is not \emph{good} anymore. But it has an evident \emph{refinement} by a good open cover.

\end{example}
This is a special case of what the following statement says in generality.

\begin{prop}
\label{TheDifferentiallyGoodOpenCoverCoverage}\hypertarget{TheDifferentiallyGoodOpenCoverCoverage}{}
\textbf{(the [[site]] of [[Cartesian spaces]] with differentially [[good open covers]])}

The differentially [[good open covers]], Def. \ref{DifferentiallyGoodOpenCover}, constitute a [[coverage]] (\href{geometry+of+physics+--+categories+and+toposes#Coverage}{this Def.}) on the [[category]] [[CartSp]] (from Prop. \ref{CartSpCategory}).

Hence [[CartSp]] equipped with this coverage is a [[site]] (\href{geometry+of+physics+--+categories+and+toposes#Coverage}{this def.}).

\end{prop}
\begin{proof}
By definition of [[coverage]] we need to check that for $\{U_i \hookrightarrow \mathbb{R}^n\}_{i \in I}$ any [[good open cover]] and $f \colon \mathbb{R}^k \to \mathbb{R}^n$ any smooth function, we can find a good open cover $\{K_j \to \mathbb{R}^k\}_{j \in J}$ and a [[function]] $J \to I$ such that for each $j \in J$ there is a smooth function $\phi \colon K_j \to U_{\rho(j)}$ that makes this [[diagram]] [[commuting diagram|commute]]:

\begin{displaymath}
\itexarray{

    K_j &\stackrel{\phi}{\to}& U_{i(j)}
    \\
    \downarrow && \downarrow
    \\
    \mathbb{R}^k &\stackrel{f}{\to}& \mathbb{R}^n
  }
  \,.
\end{displaymath}
To obtain this, let $\{f^* U_i \to \mathbb{R}^k\}$ be the pullback of the original covering family, in that

\begin{displaymath}
f^* U_i \coloneqq \{ x \in \mathbb{R}^k | f(x) \in U_i \}
  \hookrightarrow \mathbb{R}^k
  \,.
\end{displaymath}
This is evidently an [[open cover]], albeit not necessarily a \emph{[[good open cover]]}. But by Lemma \ref{DiffGoodOpenCoversRefineOpenCovers} there does exist a good open cover $\{\tilde K_{\tilde j} \hookrightarrow \mathbb{R}^k\}_{\tilde j \in \tilde J}$ \emph{refining} it, which in turn means that for all $\tilde j$ there is

\begin{displaymath}
\itexarray{
    \tilde K_{\tilde j} &\to& K_{j(\tilde j)}
    \\
    \downarrow && \downarrow 
    \\
    \mathbb{R}^k &\stackrel{=}{\to}& \mathbb{R}^k
  }
  \,.
\end{displaymath}
Therefore then the [[pasting]] composite of these commuting squares

\begin{displaymath}
\itexarray{
    \tilde K_{\tilde j} &\to& K_{j(\tilde j)} &\to& U_{i(j(\tilde j))}
    \\
    \downarrow && \downarrow && \downarrow
    \\
    \mathbb{R}^k &\stackrel{=}{\to}& \mathbb{R}^k
   &\stackrel{f}{\to}& \mathbb{R}^n
  }
\end{displaymath}
solves the condition required in the definition of [[coverage]].

\end{proof}
By example \ref{ExampleThatGoodOpenCoversAreNotPullbackStable} this [[good open cover]] [[coverage]] is not a [[Grothendieck topology]]. But as any coverage, it uniquely completes to one which has the same [[sheaves]]:

\begin{prop}
\label{CompletingGoodOpenCoversToAllOpenCovers}\hypertarget{CompletingGoodOpenCoversToAllOpenCovers}{}
\textbf{(completing [[good open covers]] to all [[open covers]])}

The [[Grothendieck topology]] induced on [[CartSp]] by the differentially good open cover coverage of def. \ref{TheDifferentiallyGoodOpenCoverCoverage} has as covering families the ordinary [[open covers]].

Hence if we explicitly write $CartSp_{good}$ and $CartSp_{Groth}$ for $CartSp$ equipped with the coverage of differentially good open covers as and that of all open covers, respectively, then there is an [[equivalence of categories]] (\href{geometry+of+physics+--+categories+and+toposes#EquivalenceOfCategories}{this Def.}) between their [[categories of sheaves]] (\href{geometry+of+physics+--+categories+and+toposes#Sheaf}{this Def.})

\begin{equation}
Sh(CartSp_{\text{good open cov}})
  \;\simeq\;
  Sh(CartSp_{\text{all open cov}})
  \.
\label{SheavesOnGoodOpenCoversCoincideWithThosOnALlOpenCovers}\end{equation}
\end{prop}
\begin{remark}
\label{}\hypertarget{}{}
Prop. \ref{CompletingGoodOpenCoversToAllOpenCovers} means that for every sheaf-theoretic construction to follow we may just as well consider the Grothendieck topology of open covers on $CartSp$, and hence we may and will suppress the subscripts in \eqref{SheavesOnGoodOpenCoversCoincideWithThosOnALlOpenCovers}.

While the sheaves of the open cover topology are the same as those of the good open cover coverage. But the latter is (more) useful for several computational purposes in the following. It is the \emph{good} open cover coverage that makes manifest, below, that sheaves on $CartSp$ form a [[locally connected topos]] and in consequence then a [[cohesive topos]]. This kind of argument becomes all the more pronounced as we pass \hyperlink{SmoothnGroupoids}{further below} to [[(∞,1)-sheaves]] on [[CartSp]]. This will be discussed in \emph{\hyperlink{InfinityConnectednessOfSmoothInfinityGrpd}{Smooth n-groupoids -- Semantic Layer -- Local Infinity-Connectedness} below.}

\end{remark}
There are further [[sites]] in use, which induce the same categories of sheaves:

\begin{defn}
\label{SiteOfSmoothManifolds}\hypertarget{SiteOfSmoothManifolds}{}
\textbf{([[sites]] of [[smooth manifolds]] and [[open subsets]] of [[Euclidean spaces]])}

We write

\begin{itemize}%
\item \emph{[[SmthMfd]]} for the [[category]] of [[smooth manifolds]] of any finite [[dimension]], with [[smooth functions]] between them;


\item $EuclOp$ for the [[category]] of [[open subsets]] of [[Euclidean spaces]] of any finite [[dimension]], with [[smooth functions]] between them.



\end{itemize}
Both of these carry the respective [[coverage]] of [[good open covers]] and as such become [[sites]] (\href{geometry+of+physics+--+categories+and+toposes#Coverage}{this Def.})

\end{defn}
\hypertarget{SmoothSpacesLayerMod}{}\subsection*{{Smooth sets}}\label{SmoothSpacesLayerMod}

In the section \emph{\hyperlink{CoordinateSystems}{Coordinate systems}} we have set up the archetypical [[spaces]] of [[differential geometry]]. Here we now define in terms of these the most general \emph{[[smooth sets]]} that differential geometry can deal with.

\hypertarget{PlotsOfSmoothSpacesAndTheirGluing}{}\subsubsection*{{Plots of smooth sets and their gluing}}\label{PlotsOfSmoothSpacesAndTheirGluing}

The general kind of ``[[smooth space]]'' that we want to consider is a [[type|something]] that can be \emph{probed} by laying out [[coordinate systems]] inside it, as in \href{geometry+of+physics+--+coordinate+systems#CartesianSpaces}{this definition}, and which may be reconstructed by \emph{gluing} all the possible coordinate systems in it together.

At this point we want to impose no further conditions on a ``space'' than this. In particular we do not assume that we know beforehand a [[set]] of [[points]] underlying $X$. Instead, we define [[smooth sets]] $X$ (Def. \ref{SmoothSpace}, below) entirely \emph{operationally} as something about which we may ask ``Which ways are there to lay out $\mathbb{R}^n$ inside $X$?'' and such that there is a self-consistent answer to this question.

By the discussion in the chapter \emph{[[geometry of physics -- categories and toposes|categories and toposes]]}, this means that we should define a \emph{[[smooth set]]} to be a [[sheaf]] on a [[site]] of [[Cartesian spaces]]. The following definitions spell this out.

The idea of the following definitions may be summarized like this:

\begin{enumerate}%
\item a generalized \emph{smooth set} is something that may be probed by laying out coordinate systems into it, in a way that respects transformation of coordinate patches and gluing of coordinate patches;


\item the [[Yoneda lemma]] (\href{geometry+of+physics+--+categories+and+toposes#YonedaLemma}{this prop}) says that this is consistent in that coordinate systems themselves as well as [[smooth manifolds]] may naturally be regarded as generalized smooth sets themselves and that under this identification ``laying out a coordinate system'' in a smooth set means having a map of smooth sets from the coordinate system to the smooth set.



\end{enumerate}
The first set of consistency conditions on plots of a space is that they respect \emph{coordinate transformations}. This is what the following definition formalises.

\begin{defn}
\label{SmoothPreSpace}\hypertarget{SmoothPreSpace}{}
\textbf{(pre-smooth set)}

A \textbf{pre-smooth set} $X$ is

\begin{enumerate}%
\item a collection of sets: for each [[Cartesian space]] $\mathbb{R}^n$ (hence for each [[natural number]] $n$) a [[set]]

\begin{displaymath}
X(\mathbb{R}^n) \in Set
\end{displaymath}
-- to be thought of as the \emph{set of ways of laying out $\mathbb{R}^n$ inside $X$}, also called the set of \emph{plots} of $X$, for short;


\item for each [[smooth function]] $f : \mathbb{R}^{n_1} \to \mathbb{R}^{n_2}$ (to be thought of as an abstract coordinate transformation) a [[function]] between the corresponding sets of plots

\begin{displaymath}
X(f) \;\colon\; X(\mathbb{R}^{n_2}) \longrightarrow X(\mathbb{R}^{n_1})
\end{displaymath}
-- to be thought of as the function that sends a \emph{plot} of $X$ by $\mathbb{R}^{n_2}$ to the correspondingly transformed plot by $\mathbb{R}^{n_1}$ induced by laying out $\mathbb{R}^{n_1}$ inside $\mathbb{R}^{n_2}$.



\end{enumerate}
such that this is compatible with coordinate transformations:

\begin{enumerate}%
\item the [[identity]] coordinate transformation does not change the plots:

\begin{displaymath}
X(id_{\mathbb{R}^n}) = id_{X(\mathbb{R}^n)}
  \,,
\end{displaymath}

\item changing plots along two consecutive coordinate transformations $f_1 \colon \mathbb{R}^{n_1} \to \mathbb{R}^{n_2}$ and $f_2 \colon \mathbb{R}^{n_2} \to \mathbb{R}^{n_3}$ is the same as changing them along the [[composition|composite]] coordinate transformation $f_2 \circ f_1$:

\begin{displaymath}
X(f_1) \circ X(f_2)  = X(f_2 \circ f_1)
  \,.
\end{displaymath}


\end{enumerate}
\end{defn}
But there is one more consistency condition for a collection of plots to really be probes of some space: it must be true that if we glue small coordinate systems to larger ones, then the plots by the larger ones are the same as the plots by the collection of smaller ones that agree where they overlap. We first formalize this idea of ``plots that agree where their coordinate systems overlap.''

\begin{prop}
\label{DifferentiallyGoodOpenCover}\hypertarget{DifferentiallyGoodOpenCover}{}
\textbf{(differentially [[good open cover]])}

For $\mathbb{R}^n$ a [[Cartesian space]], then

\begin{enumerate}%
\item an [[open cover]]

\begin{displaymath}
\{U_i \hookrightarrow X\}_{i \in I}
\end{displaymath}
is a set of [[open subsets]] of $X$, such that their [[union]] is $X$; hence $\underset{i \in I}{\cup} U_i = X$;


\item this is a \emph{[[good open cover]]} if all the $U_i$ as well as all their [[inhabited set|non-empty]] finite [[intersections]] are [[homeomorphism|homeomorphic]] to [[open balls]], hence to $\mathbb{R}^n$ itself;


\item this is a \emph{differentially good open cover} if all the $U_i$ as well as all their [[inhabited set|non-empty]] finite [[intersections]] are [[diffeomorphism|diffeomorphic]] to [[open balls]], hence to $\mathbb{R}^n$ itself.



\end{enumerate}
\end{prop}
\begin{defn}
\label{MatchingFamiliesOfPlots}\hypertarget{MatchingFamiliesOfPlots}{}
\textbf{(glued plots)}

Let $X$ be a pre-smooth set, def. \ref{SmoothPreSpace}. For $\{U_i \to \mathbb{R}^n\}_{i \in I}$ a differentially [[good open cover]] (def. \ref{DifferentiallyGoodOpenCover}) let

\begin{displaymath}
GluedPlots(\{U_i \to \mathbb{R}^n\}, X) \in Set
\end{displaymath}
be the set of $I$-[[tuples]] of $U_i$-plots of $X$ which coincide on all double [[intersections]]

\begin{displaymath}
\itexarray{
    && U_i \cap U_j
    \\
    & {}^{\mathllap{\iota_i}}\swarrow && \searrow^{\mathrlap{\iota_j}}
    \\
    U_i &&&& U_j
    \\
    & \searrow && \swarrow
    \\
    && \mathbb{R}^n
  }
\end{displaymath}
(also called the \emph{[[matching families]]} of $X$ over the given cover):

\begin{displaymath}
GluedPlots(\{U_i \to \mathbb{R}^n\}, X)
  \;\;\coloneqq\;\;
  \left\{
    \;
    \left(p_i \in X(U_i)\right)_{i \in I}
    \;|\;\;
    \forall_{i,j \in I} \;:\; X(\iota_i)(p_i) = X(\iota_j)(p_j)
    \;
  \right\}
  \,.
\end{displaymath}
\end{defn}
\begin{remark}
\label{}\hypertarget{}{}
\textbf{(interpretation of the gluing condition)}

In def. \ref{MatchingFamiliesOfPlots} the [[equation]]

\begin{displaymath}
X(\iota_i)(p_i) = X(\iota_j)(p_j)
\end{displaymath}
says in words:

\begin{quote}%
The plot $p_i$ of $X$ by the coordinate system $U_i$ inside the bigger coordinate system $\mathbb{R}^n$ coincides with the plot $p_j$ of $X$ by the other coordinate system $U_j$ inside $X$ when both are restricted to the [[intersection]] $U_i \cap U_j$ of $U_i$ with $U_j$ inside $\mathbb{R}^n$.


\end{quote}
\end{remark}
\begin{remark}
\label{NaiveDescentMorphism}\hypertarget{NaiveDescentMorphism}{}
\textbf{(comparing global plots to glued plots)}

For each differentially good open cover $\{U_i \to \mathbb{R}^n\}_{i \in I}$ (def. \ref{DifferentiallyGoodOpenCover}) and each pre-smooth set $X$, def. \ref{SmoothPreSpace}, there is a canonical [[function]]

\begin{displaymath}
X(\mathbb{R}^n) 
    \longrightarrow 
  GluedPlots(\{U_i \to \mathbb{R}^n\}, X)
\end{displaymath}
from the set of $\mathbb{R}^n$-plots of $X$ to the set of tuples of glued plots, which sends a plot $p \in X(\mathbb{R}^n)$ to its restriction to all the $\phi_i \colon U_i \hookrightarrow \mathbb{R}^n$:

\begin{displaymath}
p \mapsto (X(\phi_i)(p))_{i \in I}
  \,.
\end{displaymath}
\end{remark}
If $X$ is supposed to be consistently probable by coordinate systems, then it must be true that the set of ways of laying out a coordinate system $\mathbb{R}^n$ inside it coincides with the set of ways of laying out tuples of glued coordinate systems inside it, for each good cover $\{U_i \to \mathbb{R}^n\}$ as above. Therefore:

\begin{defn}
\label{SmoothSpace}\hypertarget{SmoothSpace}{}
\textbf{([[smooth set]])}

A pre-smooth set $X$, def. \ref{SmoothPreSpace} is a \textbf{[[smooth set]]} if for all differentially good open covers $\{U_i \to \mathbb{R}^n\}$ (def. \ref{DifferentiallyGoodOpenCover}) the canonical comparison function of remark \ref{NaiveDescentMorphism} from plots to glued plots is a [[bijection]]

\begin{equation}
X(\mathbb{R}^n) \stackrel{\simeq}{\longrightarrow} GluedPlots(\{U_i \to \mathbb{R}^n\}, X)
  \,.
\label{ConditionSmoothSet}\end{equation}
\end{defn}
\begin{remark}
\label{OnTheNotionOfSmoothSpaces}\hypertarget{OnTheNotionOfSmoothSpaces}{}
We may think of a [[smooth set]] as being a kind of [[space]] whose \emph{local models} (in the general sense discussed at \emph{[[geometry]]}) are [[Cartesian spaces]]:

while definition \ref{SmoothSpace} explicitly says that a smooth set is something that is \emph{consistently probeable} by such local models; by a [[category theory|general abstract]] fact -- which we discuss in more detail below in \emph{\hyperlink{SmoothSpacesLayerSem}{smooth sets - Semantic Layer}} -- that is sometimes called the [[co-Yoneda lemma]] it follows in fact that smooth sets are precisely the objects that are obtained by \emph{gluing coordinate systems} together.

For instance we will see that two open 2-balls $\mathbb{R}^2 \simeq D^2$ along a common rim yields the smooth set version of the [[sphere]] $S^2$, a basic example of a [[smooth manifold]]. But before we examine such explicit constructions, we discuss here for the moment more general properties of smooth sets. The reader instead wishing to see more of these concrete examples at this point should jump ahead to \emph{\hyperlink{SmoothSpacesOutlook}{smooth sets - Outlook}}.

\end{remark}
But the following most basic example we consider right now:

\begin{example}
\label{CartesianSpaceAsSmoothSpace}\hypertarget{CartesianSpaceAsSmoothSpace}{}
\textbf{([[Cartesian spaces]] and [[smooth manifold]] as [[smooth sets]])}

For $n \in \mathbb{R}^n$, there is a [[smooth set]], def. \ref{SmoothSpace}, whose set of plots over the abstract coordinate systems $\mathbb{R}^k$ is the set

\begin{displaymath}
CartSp(\mathbb{R}^k, \mathbb{R}^n) \in Set
\end{displaymath}
of [[smooth functions]] from $\mathbb{R}^k$ to $\mathbb{R}^n$.

Clearly this is the rule for plots that characterize $\mathbb{R}^n$ itself as a smooth set, and so we will just denote this smooth set by the same symbols ``$\mathbb{R}^n$'':

\begin{displaymath}
\mathbb{R}^n \colon \mathbb{R}^k \mapsto CartSp(\mathbb{R}^k, \mathbb{R}^n)
  \,.
\end{displaymath}
In particular the [[real line]] $\mathbb{R}$ is this way itself a [[smooth set]].

More generally, if the reader already knows what a [[smooth manifold]] $X$ is; these become smooth sets by taking their plots to be the ordinary [[smooth functions]] between smooth manifolds, from Cartesian spaces:

\begin{displaymath}
X(\mathbb{R}^n) \coloneqq Hom_{SmthMfd}(\mathbb{R}^n, X)
  \,.
\end{displaymath}
\end{example}
Some smooth sets are far from being like smooth manifolds:

\begin{example}
\label{SmoothSetOfDifferentialForms}\hypertarget{SmoothSetOfDifferentialForms}{}
\textbf{(smooth [[moduli space]] of [[differential forms]])}

Let $k \in \mathbb{N}$. Then there is a [[smooth set]] (def. \ref{CartesianSpaceAsSmoothSpace}) to be denoted $\mathbf{\Omega}^k$ given as follows:

\begin{enumerate}%
\item The set $\mathbf{\Omega}^k(\mathbb{R}^n)$ of plots from $\mathbb{R}^n$ is the set of smooth [[differential n-form|differential k-forms]] on $\mathbb{R}^n$

\begin{displaymath}
\mathbf{\Omega}^k(\mathbb{R}^n) \coloneqq \Omega^k(\mathbb{R}^n)
\end{displaymath}

\item for $f \colon \mathbb{R}^{n_1} \to \mathbb{R}^{n_2}$ a smooth function, then the corresponding change-of-plots function is the operation of [[pullback of differential forms]] along $f$:

\begin{displaymath}
\Omega^{k}(\mathbb{R}^{n_2}) \overset{f^\ast}{\longrightarrow} \Omega^k(\mathbb{R}^{n_1})
  \,.
\end{displaymath}


\end{enumerate}
We introduce and discuss this example in detail in more detail \hyperlink{DifferentialForms}{below}

\end{example}
A [[smooth set]] (def. \ref{SmoothSpace}) need not have an \emph{underlying set}, for instance the smooth set $\mathbf{\Omega}^k$ from example \ref{SmoothSetOfDifferentialForms} for $k \geq 1$ has only a single plot from the point (corresponding to the zero differential form on the point), and yet it is far from being the point. If a smooth set does have an underlying set, then it is called a \emph{[[diffeological space]]}, see around Prop. \ref{DiffeologicalSpacesAreTheConcreteSmoothSets} below.

\begin{example}
\label{DiscreteSmoothSpace}\hypertarget{DiscreteSmoothSpace}{}
\textbf{([[discrete object|discrete]] [[smooth set]])}

For $S \in$ [[Set]] a set, write

\begin{displaymath}
Disc S \in SmoothSet
\end{displaymath}
for the smooth set whose set of $U$-plots for every $U \in CartSp$ is always $S$.

\begin{displaymath}
Disc S \colon U \mapsto S
\end{displaymath}
and which sends every coordinate transformation $f \colon \mathbb{R}^{n_1} \to \mathbb{R}^{n_2}$ to the identity function on $S$.

A smooth set of this form we call a \textbf{[[discrete object|discrete smooth set]]}.

\end{example}
More examples of smooth sets can be built notably by [[intersection|intersecting]] [[images]] of two smooth sets inside a bigger one. In order to say this we first need a formalization of [[homomorphism]] of smooth sets. This we turn to now.

\hypertarget{HomomorphismsOfSmoothSpaces}{}\subsubsection*{{Homomorphisms of smooth sets}}\label{HomomorphismsOfSmoothSpaces}

We discuss ``functions'' or ``maps'' between [[smooth sets]], def. \ref{SmoothSpace}, which preserve the smooth set [[structure]] in a suitable sense. As with any notion of function that preserves structure, we refer to them as \emph{[[homomorphisms]]}.

The idea of the following definition is to say that whatever a [[homomorphism]] $f : X \to Y$ between two smooth sets is, it has to take the plots of $X$ by $\mathbb{R}^n$ to a corresponding plot of $Y$, such that this respects coordinate transformations.

\begin{defn}
\label{HomomorphismOfSmoothSpaces}\hypertarget{HomomorphismOfSmoothSpaces}{}
\textbf{([[homomorphisms]] of [[smooth sets]] -- smooth functions)}

Let $X$ and $Y$ be two [[smooth sets]], def. \ref{SmoothSpace}. Then a [[homomorphism]] of \emph{[[smooth function]]} $f \colon X \to Y$ between them is

\begin{itemize}%
\item for each abstract coordinate system $\mathbb{R}^n$ (hence for each $n \in \mathbb{N}$) a [[function]]

$f_{\mathbb{R}^n} : X(\mathbb{R}^n) \to Y(\mathbb{R}^n)$

that sends $\mathbb{R}^n$-plots of $X$ to $\mathbb{R}^n$-plots of $Y$



\end{itemize}
such that

\begin{itemize}%
\item for each [[smooth function]] $\phi : \mathbb{R}^{n_1} \to \mathbb{R}^{n_2}$ we have

\begin{displaymath}
Y(\phi) \circ f_{\mathbb{R}^{n_1}} = f_{\mathbb{R}^{n_2}} \circ X(\phi)
\end{displaymath}
hence a [[commuting diagram]]

\begin{displaymath}
\itexarray{
    X(\mathbb{R}^{n_1}) &\stackrel{f_{\mathbb{R}^{n_1}}}{\to}& Y(\mathbb{R}^{n_1})
    \\
    \downarrow^{\mathrlap{X(\phi)}} && \downarrow^{\mathrlap{Y(\phi)}}
    \\
    X(\mathbb{R}^{n_2}) &\stackrel{f_{\mathbb{R}^{n_2}}}{\to}& Y(\mathbb{R}^{n_1})
  }
  \,.
\end{displaymath}


\end{itemize}
For $f_1 : X \to Y$ and $f_2 : X \to Y$ two homomorphisms of smooth sets, their [[composition]] $f_2 \circ f_1 \colon X \to Y$ is defined to be the homomorphism whose component over $\mathbb{R}^n$ is the composite of functions of the components of $f_1$ and $f_2$:

\begin{displaymath}
(f_2\circ f_1)_{\mathbb{R}^n} \coloneqq {f_2}_{\mathbb{R}^n} \circ {f_1}_{\mathbb{R}^n}
  \,.
\end{displaymath}
\end{defn}
\begin{defn}
\label{CategoryOfSmoothSets}\hypertarget{CategoryOfSmoothSets}{}
\textbf{(the [[category]] \emph{[[SmoothSet]]} of [[smooth sets]] with [[smooth functions]])}

Write [[SmoothSet]] or $SmoothSet$ for the [[category]] (\href{geometry+of+physics+--+Categories+and+Toposes#Categories}{this def.}) whose [[objects]] are [[smooth sets]], def. \ref{SmoothSpace}, and whose [[morphisms]] are homomorphisms of smooth sets according to def. \ref{HomomorphismOfSmoothSpaces}.

\end{defn}
At this point it may seem that we have now \emph{two different} notions for how to lay out a coordinate system in a smooth set $X$: on the hand, $X$ comes by definition with a rule for what the set $X(\mathbb{R}^n)$ of its $\mathbb{R}^n$-plots is. On the other hand, we can now regard the abstract coordinate system $\mathbb{R}^n$ itself as a smooth set, by example \ref{CartesianSpaceAsSmoothSpace}, and then say that an $\mathbb{R}^n$-plot of $X$ should be a homomorphism of smooth sets of the form $\mathbb{R}^n \to X$.

The following proposition says that these two superficially different notions actually naturally coincide.

\begin{prop}
\label{YonedaForSmoothSpaces}\hypertarget{YonedaForSmoothSpaces}{}
Let $X$ be any [[smooth set]], def. \ref{SmoothSpace}, and regard the abstract coordinate system $\mathbb{R}^n$ as a smooth set, by example \ref{CartesianSpaceAsSmoothSpace}. There is a [[natural bijection]]

\begin{displaymath}
X(\mathbb{R}^n) \simeq Hom_{SmoothSet}(\mathbb{R}^n, X)
\end{displaymath}
between the \emph{postulated} $\mathbb{R}^n$-plots of $X$ and the \emph{actual} $\mathbb{R}^n$-plots given by homomorphism of smooth sets $\mathbb{R}^n \to X$.

\end{prop}
\begin{proof}
This is a special case of the \emph{[[Yoneda lemma]]} (\href{geometry+of+physics+--+categories+and+toposes#YonedaLemma}{this prop.}), as will be made more explicit below in \emph{\hyperlink{ToposOfSmoothSpaces}{The topos of smooth sets}}. The reader unfamiliar with this should write out the simple proof explicitly: use the defining [[commuting diagrams]] in def. \ref{HomomorphismOfSmoothSpaces} to deduce that a homomorphism $f : \mathbb{R}^n \to X$ is uniquely fixed by the image of the [[identity]] element in $\mathbb{R}^n(\mathbb{R}^n) \coloneqq CartSp(\mathbb{R}^n, \mathbb{R}^n)$ under the component function $f_{\mathbb{R}^n} : \mathbb{R}^n(\mathbb{R}^n) \to X(\mathbb{R}^n)$.

\end{proof}
\begin{example}
\label{SmoothFunctionOnSmoothSpace}\hypertarget{SmoothFunctionOnSmoothSpace}{}
Let $\mathbb{R} \in SmoothSet$ denote the [[real line]], regarded as a [[smooth set]] by example \ref{CartesianSpaceAsSmoothSpace}. Then for $X \in SmoothSet$ any smooth set, a homomorphism of smooth sets

\begin{displaymath}
f \colon X \to \mathbb{R}
\end{displaymath}
is a \emph{[[smooth function]] on $X$}. Prop. \ref{YonedaForSmoothSpaces} says here that when $X$ happens to be an abstract coordinate system regarded as a smooth set by def. \ref{CartesianSpaceAsSmoothSpace}, then this general notion of smooth functions between smooth sets reproduces the basic notion of this def.ystems\#CartesianSpaceAndHomomorphism)

\end{example}
\begin{defn}
\label{PointsOfASmoothSpace}\hypertarget{PointsOfASmoothSpace}{}
The 0-[[dimension|dimensional]] abstract coordinate system $\mathbb{R}^0$ we also call the \textbf{[[point]]} and regarded as a smooth set we will often write it as

\begin{displaymath}
* \in SmoothSet
  \,.
\end{displaymath}
For any $X \in SmoothSet$, we say that a homomorphism

\begin{displaymath}
x \colon * \to X
\end{displaymath}
is a \textbf{point of $X$}.

\end{defn}
\begin{remark}
\label{}\hypertarget{}{}
By prop. \ref{YonedaForSmoothSpaces} the points of a smooth set $X$ are naturally identified with its 0-dimensional plots, hence with the ``ways of laying out a 0-dimensional coordinate system'' in $X$:

\begin{displaymath}
Hom(*, X) \simeq X(\mathbb{R}^0)
  \,.
\end{displaymath}
\end{remark}
\hypertarget{ProductsAndFiberProductsOfSmoothSpaces}{}\subsubsection*{{Products and fiber products of smooth sets}}\label{ProductsAndFiberProductsOfSmoothSpaces}

\begin{defn}
\label{ProductOfSmoothSpaces}\hypertarget{ProductOfSmoothSpaces}{}
Let $X, Y \in SmoothSet$ by two smooth sets. Their \textbf{[[product]]} is the smooth set $X \times Y \in SmoothSet$ whose plots are pairs of plots of $X$ and $Y$:

\begin{displaymath}
X\times Y (\mathbb{R}^n) \coloneqq X(\mathbb{R}^n) \times Y(\mathbb{R}^n)
  \;\;
  \in Set
  \,.
\end{displaymath}
The \textbf{projection on the first factor} is the homomorphism

\begin{displaymath}
p_1 \colon X \times Y \to X
\end{displaymath}
which sends $\mathbb{R}^n$-plots of $X \times Y$ to those of $X$ by forming the projection of the [[cartesian product]] of sets:

\begin{displaymath}
{p_1}_{\mathbb{R}^n} \colon X(\mathbb{R}^n) \times Y(\mathbb{R}^n) \stackrel{p_1}{\to} X(\mathbb{R}^n)
  \,.
\end{displaymath}
Analogously for the \textbf{projection to the second factor}

\begin{displaymath}
p_2 \colon X \times Y \to Y
  \,.
\end{displaymath}
\end{defn}
\begin{prop}
\label{ProductOfSmoothSpaceWithThePoint}\hypertarget{ProductOfSmoothSpaceWithThePoint}{}
Let $* = \mathbb{R}^0$ be the [[point]], regarded as a smooth set, def. \ref{PointsOfASmoothSpace}. Then for $X \in SmoothSet$ any smooth set the canonical projection homomorphism

\begin{displaymath}
X \times * \to X
\end{displaymath}
is an [[isomorphism]].

\end{prop}
\begin{defn}
\label{}\hypertarget{}{}
Let $f \colon X \to Z$ and $g \colon Y \to Z$ be two [[homomorphisms]] of smooth sets, def. \ref{HomomorphismOfSmoothSpaces}. There is then a new smooth set to be denoted

\begin{displaymath}
X \times_Z Y \in SmoothSet
\end{displaymath}
(with $f$ and $g$ understood), called the [[fiber product]] of $X$ and $Y$ along $f$ and $g$, and defined as follows:

the set of $\mathbb{R}^n$-plots of $X \times_Z Y$ is the set of pairs of plots of $X$ and $Y$ which become the same plot of $Z$ under $f$ and $g$, respectively:

\begin{displaymath}
(X \times_Z Y)(\mathbb{R}^n)
  =
  \left\{
    (p_X \in X(\mathbb{R}^n), p_Y \in Y(\mathbb{R}^n))
    \; |\;
    f_{\mathbb{R}^n}(p_X) = g_{\mathbb{R}^n}(p_Y)
  \right\}
  \,.
\end{displaymath}
\end{defn}
\hypertarget{SmoothMappingSpaces}{}\subsubsection*{{Smooth mapping spaces and smooth moduli spaces}}\label{SmoothMappingSpaces}

\begin{defn}
\label{SmoothFunctionSpace}\hypertarget{SmoothFunctionSpace}{}
\textbf{([[smooth set|smooth]] [[mapping space]])}

Let $\Sigma, X \in SmoothSet$ be two [[smooth sets]], def. \ref{SmoothSpace}. Then the \textbf{smooth [[mapping space]]}

\begin{displaymath}
[\Sigma,X] \in SmoothSet
\end{displaymath}
is the [[smooth set]] defined by saying that its set of $\mathbb{R}^n$-plots is

\begin{displaymath}
[\Sigma, X](\mathbb{R}^n)
   \coloneqq
  Hom(\Sigma \times \mathbb{R}^n, X)
  \,.
\end{displaymath}
\end{defn}
Here in $\Sigma \times \mathbb{R}^n$ we first regard the abstract coordinate system $\mathbb{R}^n$ as a smooth set by example \ref{CartesianSpaceAsSmoothSpace} and then we form the [[product]] smooth set by def. \ref{ProductOfSmoothSpaces}.

\begin{remark}
\label{NatureOfPlotsOfMappingSpace}\hypertarget{NatureOfPlotsOfMappingSpace}{}
This means in words that a $\mathbb{R}^n$-plot of the [[mapping space]] $[\Sigma,X]$ is a smooth $\mathbb{R}^n$-parameterized \emph{family} of homomorphisms $\Sigma \to X$.

\end{remark}
\begin{prop}
\label{UniversalPropertyOfMappingSpace}\hypertarget{UniversalPropertyOfMappingSpace}{}
There is a [[natural bijection]]

\begin{displaymath}
Hom(K, [\Sigma, X])
  \simeq
  Hom(K \times \Sigma, X)
\end{displaymath}
for every smooth set $K$.

\end{prop}
\begin{proof}
With a bit of work this is straightforward to check explicitly by unwinding the definitions. It follows however from [[category theory|general abstract]] results once we realize that $[-,-]$ is of course the \emph{[[internal hom]]} of smooth sets. This we come to below in \emph{\hyperlink{SmoothSpacesLayerSem}{Smooth sets - Semantic Layer}}.

\end{proof}
\begin{remark}
\label{MappingSpaceAsModuliSpace}\hypertarget{MappingSpaceAsModuliSpace}{}
This says in words that a smooth function from any $K$ into the mapping space $[\Sigma,X]$ is equivalently a smooth function from $K \times \Sigma$ to $X$. The latter we may regard as a \emph{$K$-parameterized smooth family} of smooth functions $\Sigma \to X$. Therefore in view of the previous remark \ref{NatureOfPlotsOfMappingSpace} this says that smooth mapping spaces have a [[universal property]] not just over abstract coordinate systems, but over all smooth sets.

We will therefore also say that $[\Sigma,X]$ is the \textbf{smooth [[moduli space]]} of smooth functions from $\Sigma \to X$, because it is such that smooth maps $K \to [\Sigma,X]$ into it \emph{modulate}, as we move around on $K$, a family of smooth functions $\Sigma\to X$, depending on $K$.

\end{remark}
First interesting examples of such smooth moduli spaces are discussed in \emph{\hyperlink{DifferentialFormsLayerMod}{Differential forms -- Model Layer}} below. Many more interesting examples follow once we pass from smooth 0-types to smooth $n$-types below in \emph{\hyperlink{SmoothnGroupoids}{Smooth n-groupoids}}.

We will see many more examples of smooth moduli spaces, starting below in \emph{\hyperlink{DifferentialFormsLayerMod}{Differential forms - Model Layer}}.

\begin{prop}
\label{UnderlyingSetOfSmoothMappingSpace}\hypertarget{UnderlyingSetOfSmoothMappingSpace}{}
The set of points, def. \ref{PointsOfASmoothSpace}, of a smooth mapping space $[\Sigma,X]$ is the bare set of homomorphism $\Sigma \to X$: there is a [[natural isomorphism]]

\begin{displaymath}
Hom(*, [\Sigma, X]) \simeq Hom(\Sigma, X)
  \,.
\end{displaymath}
\end{prop}
\begin{proof}
Combine prop. \ref{UniversalPropertyOfMappingSpace} with prop. \ref{ProductOfSmoothSpaceWithThePoint}.

\end{proof}
\begin{example}
\label{SmoothPathSpace}\hypertarget{SmoothPathSpace}{}
Given a [[smooth set]] $X \in SmoothSet$, its smooth \textbf{[[path space]]} is the smooth mapping space

\begin{displaymath}
\mathbf{P}X \coloneqq [\mathbb{R}^1, X]
  \,.
\end{displaymath}
By prop. \ref{UnderlyingSetOfSmoothMappingSpace} the points of $P X$ are indeed precisely the smooth trajectories $\mathbb{R}^1 \to X$. But $P X$ also knows how to \emph{smoothly vary} such smooth trajectories.

This is central for [[variational calculus]] which determines [[equations of motion]] in [[physics]]. This we turn to below in \emph{\hyperlink{VariationalCalculus}{Variational calculus}}.

\end{example}
\begin{remark}
\label{}\hypertarget{}{}
In [[physics]], if $X$ is a model for [[spacetime]], then $P X$ may notably be interpreted as the smooth set of [[worldlines]] \emph{in} $X$, hence the smooth set of paths or \emph{trajectories} of a [[particle]] in $X$.

\end{remark}
\begin{example}
\label{SmoothLoopSpace}\hypertarget{SmoothLoopSpace}{}
If in the above example \ref{SmoothPathSpace} the path is constraind to be a [[loop]] in $X$, one obtains the \emph{[[smooth loop space]]}

\begin{displaymath}
\mathbf{L}X \coloneqq [S^1, X]
  \,.
\end{displaymath}
\end{example}
In example \ref{SmoothFunctionOnSmoothSpace} we saw that a smooth function on a general [[smooth set]] $X$ is a homomorphism of smooth sets, def. \ref{HomomorphismOfSmoothSpaces}

\begin{displaymath}
f \colon X \to \mathbb{R}
  \,.
\end{displaymath}
The collection of these forms the [[hom-set]] $Hom_{SmoothSet}(X, \mathbb{R})$. But by the discussion in \emph{\hyperlink{SmoothMappingSpaces}{Smooth mapping spaces}} such hom-sets are naturally refined to smooth sets themselves.

\begin{defn}
\label{SmoothSpaceOfSmoothFunctions}\hypertarget{SmoothSpaceOfSmoothFunctions}{}
For $X \in SmoothSet$ a [[smooth set]], we say that the \textbf{moduli space of smooth functions} on $X$ is the smooth mapping space (def. \ref{SmoothFunctionSpace}), from $X$ into the standard [[real line]] $\mathbb{R}$

\begin{displaymath}
[X, \mathbb{R}] \in SmoothSet
  \,.
\end{displaymath}
We will also denote this by

\begin{displaymath}
\mathbf{C}^\infty(X) \coloneqq [X, \mathbb{R}]
  \,,
\end{displaymath}
since in the special case that $X$ is a [[Cartesian space]] this is the smooth refinement of the set $C^\infty(X)$ of [[smooth functions]] on $X$.

\end{defn}
\begin{remark}
\label{}\hypertarget{}{}
We call this a \emph{[[moduli space]]} because by prop. \ref{UniversalPropertyOfMappingSpace} above and in the sense of remark \ref{MappingSpaceAsModuliSpace} it is such that smooth functions into it \emph{modulate} smooth functions $X \to \mathbb{R}$.

By prop. \ref{UnderlyingSetOfSmoothMappingSpace} a point $* \to [X,\mathbb{R}^1]$ of the moduli space is equivalently a smooth function $X \to \mathbb{R}^1$.

\end{remark}
\hypertarget{SmoothSpacesLayerSem}{}\subsubsection*{{The cohesive topos of smooth sets}}\label{SmoothSpacesLayerSem}

In the language of [[geometry of physics -- categories and toposes|categories and toposes]], we may summarize the concept of [[smooth sets]] by saying that they form the \emph{[[sheaf topos]]} over the \emph{[[site]]} of [[Cartesian spaces]] (Prop. \ref{SmoothSetsAreSheavesOnCartSp} below).

This perspective allows to see good abstract properties enjoyed by the [[smooth sets]]. The key such property is that the [[topos]] which they form is a \emph{[[cohesive topos]]} (Prop. \ref{SmoothSetsFormACohesiveTopos} below).

$\,$

\begin{prop}
\label{SmoothSetsAreSheavesOnCartSp}\hypertarget{SmoothSetsAreSheavesOnCartSp}{}
\textbf{([[equivalence of categories]] between [[smooth sets]] and [[sheaves]] on [[CartSp]])}

There is a canonical [[equivalence of categories]] (\href{geometry+of+physics+--+Categories+and+Toposes#EquivalenceOfCategories}{this def.}) between the [[category]] \emph{[[SmoothSet]]} of [[smooth sets]] from def. \ref{CategoryOfSmoothSets}, and the [[category of sheaves]] (\href{geometry+of+physics+--+Categories+and+Toposes#Sheaf}{this def.}) on the [[category]] [[CartSp]] (\href{geometry+of+physics+--+coordinate+systems#CartSpCategory}{this def.}) equipped with the [[coverage]] (\href{geometry+of+physics+--+Categories+and+Toposes#Coverage}{this def.}) of differentiably [[good open covers]] (def. \ref{DifferentiallyGoodOpenCover})

\begin{displaymath}
SmoothSet
  \;\simeq\;
  Sh(CartSp)
  \,.
\end{displaymath}
\end{prop}
\begin{proof}
This is a straightforward matter of matching definitions. We spell it out:

\begin{itemize}%
\item A \emph{pre-smooth set}, def. \ref{SmoothPreSpace} is equivalently a [[presheaf]] (\href{geometry+of+physics+--+Categories+and+Toposes#CategoryOfPresheaves}{this Example}) on [[CartSp]] (\href{geometry+of+physics+--+coordinate+systems#CartSpCategory}{this prop.}), hence a [[functor]] (\href{geometry+of+physics+--+Categories+and+Toposes#Functors}{this def.}) $X : CartSp^{op} \to Set$ from the [[category]] [[CartSp]] to the [[category of sets]] (\href{geometry+of+physics+--+Categories+and+Toposes#CategoryOfSets}{this Example});


\item a \emph{[[smooth set]]}, def. \ref{SmoothSpace}, is equivalently a presheaf on [[CartSp]] (\href{geometry+of+physics+--+coordinate+systems#CartSpCategory}{this prop.}) which is a [[sheaf]] (\href{geometry+of+physics+--+Categories+and+Toposes#Sheaf}{this def.}) with respect to the [[coverage]] (\href{geometry+of+physics+--+Categories+and+Toposes#Coverage}{this def.}) of differentially [[good open cover]] (def. \ref{DifferentiallyGoodOpenCover}):

\begin{itemize}%
\item the set of ``glued plots'' (def. \ref{MatchingFamiliesOfPlots}) is the set of [[matching families]] (\href{geometry+of+physics+--+Categories+and+Toposes#CompatibleElements}{this def.})


\item the comparison morphism from global plots to glued plots of remark \ref{NaiveDescentMorphism} is the comparison map from to [[matching families]] (\href{geometry+of+physics+--+categories+and+toposes#eq:SheafComparison}{here});


\item the condition \eqref{ConditionSmoothSet} that this be a [[bijection]] is the \emph{[[sheaf|sheaf condition]]} (\href{geometry+of+physics+--+Categories+and+Toposes#eq:SheafCondition}{here}).



\end{itemize}


\end{itemize}
\end{proof}
\begin{prop}
\label{EquivalentSitesForCartSp}\hypertarget{EquivalentSitesForCartSp}{}
\textbf{(equivalent [[sites]] for [[CartSp]])}

Consider the canonical [[full subcategory]]-inclusion [[functors]]

\begin{displaymath}
CartSp
    \overset{\phantom{AAA}}{\hookrightarrow}
  EuclOp
    \overset{\phantom{AAA}}{\hookrightarrow}
  SmthMfd
\end{displaymath}
which regard, in turn, a [[Cartesian space]] (Def. \ref{CartSpCategory}) as an [[open subset]] of itself, and regard every [[open subset]] of [[Euclidean space]] (Def. \ref{SiteOfSmoothManifolds}) as a [[smooth manifold]] (\href{differentiable+manifold#DifferentiableManifoldCartesianSpace}{this Example}this Example and (differentiable+manifold\#OpenSubsetsOfDifferentiableManifoldsAreDifferentiableManifolds)).

Then the induced pre-composition functors induce [[equivalences of categories]] (\href{geometry+of+physics+--+categories+and+toposes#EquivalenceOfCategories}{this Def.}) between the corresponding [[categories of sheaves]]:

\begin{displaymath}
SmoothSet
    \;\simeq\;
  Sh(CartSp)
    \;\simeq\;
  Sh(EuclOp)
    \;\simeq\;
  Sh(SmthMfd)
  \,.
\end{displaymath}
\end{prop}
\begin{proof}
By Prop. \ref{CompletingGoodOpenCoversToAllOpenCovers} we may identify $Sh(CartSp) = Sh(CartSp_{\text{good open cov}})$. With that, both inclusions are evidently [[dense subsite]]-inclusions (\href{geometry+of+physics+--+categories+and+toposes#DenseSubsite}{this Def.}). Therefore the statement follows by the [[comparison lemma]] (\href{geometry+of+physics+--+categories+and+toposes#ComparisonLemma}{this prop.}).

\end{proof}
As a corollary we obtain:

\begin{prop}
\label{InclusionOfSmoothManifoldsIntoSmoothSets}\hypertarget{InclusionOfSmoothManifoldsIntoSmoothSets}{}
\textbf{([[smooth manifolds]] [[fully faithful functor|fully faithful]] inside [[smooth sets]])}

Regarding [[smooth manifolds]] as [[smooth sets]] via Example \ref{CartesianSpaceAsSmoothSpace} yields a [[full subcategory]]-inclusion

\begin{displaymath}
SmoothManifold 
    \overset{\phantom{AA}\iota\phantom{AA}}{\hookrightarrow}
  SmoothSet
  \,,
\end{displaymath}
meaning that for $X, Y \in SmoothManifold$ any two [[smooth manifolds]], this functor induces a [[bijection]] between the [[smooth functions]] $X \to Y$ regarded in the sense of smooth manifolds, and regarded in the sense of [[smooth sets]] (Def. \ref{HomomorphismOfSmoothSpaces}):

\begin{displaymath}
Hom_{SmoothManifold}(X,Y)
  \;\simeq\;
  Hom_{SmoothSet}(\iota(X), \iota(Y))
  \,.
\end{displaymath}
\end{prop}
\begin{proof}
By Prop. \ref{EquivalentSitesForCartSp} we have an [[equivalence of categories]]

\begin{displaymath}
SmoothSet
  \;\simeq\;
  Sh(SmoothManifold)
  \,.
\end{displaymath}
With this the statement is given by the [[Yoneda lemma]] (\href{geometry+of+physics+--+categories+and+toposes#YonedaLemma}{this prop.}).

\end{proof}
$\,$

\begin{prop}
\label{SmoothSetsFormACohesiveTopos}\hypertarget{SmoothSetsFormACohesiveTopos}{}
\textbf{([[smooth sets]] form a [[cohesive topos]])}

The [[site]] [[CartSp]] (Prop. \ref{TheDifferentiallyGoodOpenCoverCoverage}) is a [[cohesive site]] (\href{geometry+of+physics+--+categories+and+toposes#OneCohesiveSite}{this Def.}), hence its [[sheaf topos]] is a [[cohesive topos]] (by \href{CategoriesOfSheavesOnCohesiveSiteIsCohesive}{this Prop.}). Under the identification of Prop. \ref{SmoothSetsAreSheavesOnCartSp}, this means that:

The [[category]] [[SmoothSet]] of [[smooth sets]] (Def. \ref{CategoryOfSmoothSets}) is a [[cohesive topos]] (\href{geometry+of+physics+--+categories+and+toposes#CohesiveTopos}{this Def.}):

\begin{equation}
SmoothSet
    \itexarray{
      \overset{\phantom{AAA} \Pi_0 \phantom{AAA}}{\longrightarrow}
      \\
      \overset{\phantom{AA} Disc \phantom{AA} }{\longleftarrow}
      \\
      \overset{\phantom{AAA} \Gamma \phantom{AAA} }{\longrightarrow}
      \\
      \overset{\phantom{AA} coDisc \phantom{AA} }{\longleftarrow}
    }
  Set
\label{SheafToposAdjointQuadruple}\end{equation}
Moreover, this cohesive topos satisfies the following equivalent conditions (from \href{geometry+of+physics+-+cohesive+toposes#PiecesHavePoints}{this Prop.}):

\begin{enumerate}%
\item \emph{[[pieces have points]]},


\item \emph{[[discrete objects are concrete]]}.



\end{enumerate}
\end{prop}
\begin{proof}
The category $CartSp$ clearly has [[finite products]]: The [[terminal object]] is the [[point]], given by the 0-[[dimension|dimensional]] [[Cartesian space]]

\begin{displaymath}
\ast = \mathbb{R}^0
\end{displaymath}
and the [[Cartesian product]] of two [[Cartesian spaces]] is the Cartesian space whose [[dimension]] is the [[sum]] of the two separate dimensions:

\begin{displaymath}
\mathbb{R}^{n_1} \times \mathbb{R}^{n_2}
  \;\simeq\;
  \mathbb{R}^{ n_1 + n_2 }
  \,.
\end{displaymath}
This establishes the first clause in the definition of [[cohesive site]] (\href{geometry+of+physics+--+categories+and+toposes#OneCohesiveSite}{this def.})

For the second clause, consider a differentiably-[[good open cover]] $\{U_i \overset{}{\to} \mathbb{R}^n\}$ (Def. \ref{DifferentiallyGoodOpenCover}). This being a [[good cover]] implies that its [[Cech groupoid]] is, as an [[internal groupoid]] (via \href{geometry+of+physics+--+categories+and+toposes#PresheavesOfGroupoidsAsInternalGroupoidsInPresheaves}{this remark}), of the form

\begin{equation}
C(\{U_i\}_i)
  \;\simeq\;
  \left( 
    \itexarray{
       \underset{i,j}{\coprod} y(U_i \underset{\mathbb{R}^n}{\cap} U_j)
       \\
       \big\downarrow \big\uparrow \big\downarrow
       \\
       \underset{i}{\coprod} y(U_i)
    }
  \right)
  \,.
\label{CechGroupoidForCartSp}\end{equation}
where we used the defining property of [[good open covers]] to identify $y(U_i) \times_X y(U_j) \simeq y( U_i \cap_X U_j )$.

The [[colimit]] of \eqref{CechGroupoidForCartSp}, regarded just as a [[presheaf]] of [[reflexive graph|reflexive]] [[directed graph|directed]] [[graphs]] (hence ignoring [[composition]] for the moment), is readily seen to be the [[graph]] of the [[colimit]] of the components (the [[universal property]] follows immediately from that of the component colimits):

\begin{equation}
\begin{aligned}
    \underset{\underset{CartSp^{op}}{\longrightarrow}}{\lim}
    C(\{U_i\}_i)
    & \simeq
    \left( 
      \itexarray{
        \underset{\underset{CartSp^{op}}{\longrightarrow}}{\lim}
         \underset{i,j}{\coprod} y(U_i \underset{\mathbb{R}^n}{\cap} U_j)
         \\
         \big\downarrow \big\uparrow \big\downarrow
         \\
         \underset{\underset{CartSp^{op}}{\longrightarrow}}{\lim}
         \underset{i}{\coprod} y(U_i)
      }
    \right)
    \\
    & \simeq
    \left( 
      \itexarray{
         \underset{i,j}{\coprod} 
         \underset{\underset{CartSp^{op}}{\longrightarrow}}{\lim}
         y(U_i \underset{\mathbb{R}^n}{\cap} U_j)
         \\
         \big\downarrow \big\uparrow \big\downarrow
         \\
         \underset{i}{\coprod} 
         \underset{\underset{CartSp^{op}}{\longrightarrow}}{\lim}
         y(U_i)
      }
    \right)
    \\
    & \simeq
    \left( 
      \itexarray{
         \underset{i,j}{\coprod} \ast
          \\
         \big\downarrow \big\uparrow \big\downarrow
         \\
         \underset{i}{\coprod} \ast
      }
    \right)
  \end{aligned}
  \,.
\label{ColimitOfCechGroupoidOverCartSp}\end{equation}
Here we first used that [[colimits commute with colimits]], hence in particular with [[coproducts]] (\href{geometry+of+physics+--+categories+and+toposes#LimitsCommuteWithLimits}{this prop.}) and then that the colimit of a [[representable presheaf]] is [[generalized the|the]] [[singleton]] set (\href{geometry+of+physics+--+categories+and+toposes#ColimitOfRepresentableIsSingleton}{this Lemma}).

This colimiting [[graph]] carries a unique [[composition]] structure making it a [[groupoid]], since there is at most one morphism between any two objects, and every object carries a morphism from itself to itself. This implies that this groupoid is actually the colimiting groupoid of the Cech groupoid: hence the groupoid obtained from replacing each representable summand in the Cech groupoid by a point.

Precisely this operation on [[Cech groupoids]] of [[good open covers]] of [[topological spaces]] is what \emph{[[Borsuk's nerve theorem]]} is about, a classical result in [[topology]]/[[homotopy theory]]. This theorem implies directly that the set of [[connected components]] of the groupoid \eqref{ColimitOfCechGroupoidOverCartSp} is in [[bijection]] with the set of [[connected components]] of the [[Cartesian space]] $\mathbb{R}^n$, regarded as a [[topological space]]. But this is evidently a [[connected topological space]], which finally shows that, indeed

\begin{displaymath}
\pi_0
  \underset{\underset{CartSp^{op}}{\longrightarrow}}{\lim}
    C(\{U_i\}_i)
  \;\simeq\;
  \ast
  \,.
\end{displaymath}
The second item of the second clause in Def. \ref{OneCohesiveSite} follows similarly, but more easily: The [[limit]] of the [[Cech groupoid]] is readily seen to be, as before, the unique groupoid structure on the limiting underlying graph of presheaves. Since $CartSp$ has a [[terminal object]] $\ast = \mathbb{R}^0$, which is hence an [[initial object]] in the [[opposite category]] $CartSp^{op}$, limits over $CartSp^{op}$ yield simply the evaluation on that object:

\begin{equation}
\begin{aligned}
    \underset{\underset{CartSp^{op}}{\longleftarrow}}{\lim}
    C(\{U_i\}_i)
    & \simeq
    \left( 
      \itexarray{
        \underset{\underset{CartSp^{op}}{\longleftarrow}}{\lim}
         \underset{i,j}{\coprod} y(U_i \underset{\mathbb{R}^n}{\cap} U_j)
         \\
         \big\downarrow \big\uparrow \big\downarrow
         \\
         \underset{\underset{CartSp^{op}}{\longleftarrow}}{\lim}
         \underset{i}{\coprod} y(U_i)
      }
      \phantom{A}
    \right)
    \\
    & \simeq
    \left( 
      \itexarray{
         \underset{i,j}{\coprod} 
         Hom_{CartSp}\left( \ast,  U_i \underset{\mathbb{R}^n}{\cap} U_j \right)
         \\
         \big\downarrow \big\uparrow \big\downarrow
         \\
         \underset{i}{\coprod} 
         Hom_{CartSp}( \ast, U_i )
      }
    \right)
  \end{aligned}
  \,.
\label{ColimitOfCechGroupoidOverCartSp}\end{equation}
Here we used that [[colimits]] (here [[coproducts]]) of [[presheaves]] are computed objectwise, and then the definition of the [[Yoneda embedding]] $y$.

But the [[equivalence relation]] induced by this graph on its set of objects $\underset{i}{\coprod}  Hom_{CartSp}( \ast, U_i )$ precisely identifies pairs of points, one in $U_i$ the other in $U_j$, that are actually the same point of the $\mathbb{R}^n$ being covered. Hence the set of [[equivalence classes]] is the set of points of $\mathbb{R}^n$, which is just what remained to be shown:

\begin{displaymath}
\pi_0
  \underset{\underset{CartSp^{op}}{\longleftarrow}}{\lim}
    C(\{U_i\}_i)
  \;\simeq\;
  Hom_{CartSp}(\ast, \mathbb{R}^n)
  \,.
\end{displaymath}
Finally to see that \emph{[[pieces have points]]} and \emph{[[discrete objects are concrete]]} is satisfied, it is sufficient to observe, by \href{geometry+of+physics+-+cohesive+toposes#CohesiveSiteSuchThatDiscreteObjectsAreConcrete}{this prop.} that for each $n \in \mathbb{N}$, the [[hom set]] $Hom_{CartSp}(\ast, \mathbb{R}^n)$ is [[inhabited set|non-empty]].

\end{proof}
The following statement is a [[0-truncated object|0-truncated]] shadow of the [[differential geometry|differential geometric]] analog of the concept of \emph{[[A1-homotopy theory|A1-localization]]}:

\begin{prop}
\label{ShapeModalityOnSmoothSetsIsR1Localization}\hypertarget{ShapeModalityOnSmoothSetsIsR1Localization}{}
\textbf{([[shape modality]] on [[smooth sets]] is $\mathbb{R}^1$-[[reflective localization|localization]])}

The [[reflective subcategory]]-inclusion from Prop. \ref{SmoothSetsFormACohesiveTopos}

\begin{displaymath}
Set 
    \underoverset
      {\underset{ \phantom{A}Disc\phantom{A} }{\hookrightarrow}}
      {\overset{\Pi}{\longleftarrow}}
      {\bot}
  SmoothSet
\end{displaymath}
of [[sets]] as the [[discrete objects|discrete]] [[smooth sets]], exhibits the \emph{[[reflective subcategory|reflection]] on $\mathbb{R}^1$-[[local objects]]} (\href{geometry+of+physics+--+categories+and+toposes#LocalizationAtACollectionOfMorphisms}{this Def.}) for $\mathbb{R}^1$ the [[real line]], in the sense of [[localization at an object]]:

\begin{displaymath}
\Pi \;\simeq\; L_{\mathbb{R}^1}
  \,.
\end{displaymath}
\end{prop}
\begin{proof}
Since we already know that the [[left adjoint]] $\Pi$ exists, we need to show that the [[full subcategory]] of [[discrete object|discrete]] [[smooth sets]] $Set \overset{Disc}{\hookrightarrow} SmoothSet$ is equivalently that of [[local objects]] (\href{geometry+of+physics+–+basic+notions+of+category+theory#LocalObjects}{this Def.}) with respect to the class of morphisms of the form

\begin{displaymath}
X \times \mathbb{R}^1 \overset{ p_1 }{\longrightarrow} X
\end{displaymath}
for $X$ any [[object]] of $SmoothSet$.

We claim that a [[smooth set]] $A$ is a [[local object]] with respect to this class, already if it is a local object with respect to just the [[small set]]

\begin{equation}
\left\{
     \mathbb{R}^n \times \mathbb{R}^1 
     \overset{p_1}{\longrightarrow}
     \mathbb{R}^n
  \right\}_{n \in \mathbb{N}}
\label{RnTimesR1Projections}\end{equation}
for $X = \mathbb{R}^n$ a [[Cartesian space]].

To see this, we identify $SmoothSet \simeq Sh(CartSp)$ via Prop. \ref{EquivalentSitesForCartSp}, and then use the [[co-Yoneda lemma]] (\href{geometry+of+physics+--+categories+and+toposes#TopologicalCoYonedaLemma}{this Prop.}) to express any $X \in SmoothSet$ as a [[colimit]] of [[Cartesian spaces]]: $X \simeq \int^{\mathbb{R}^n \in Cartsp} \mathbb{R}^n \cdot X(\mathbb{R}^n)$.

Assuming then that $A$ is local with respect to the [[small set]] \eqref{RnTimesR1Projections} we obtain

\begin{displaymath}
\begin{aligned}
    Hom_{SmoothSet}\big(
      X \times \mathbb{R}^1 \overset{p_1}{\to} X
      \;\,,\;
      A
    \big)
    & \simeq
    \int_{\mathbb{R}^n \in CartSp}
    Hom_{Set}\left( X(\mathbb{R}^n),
    \,
    \underset{\text{bijection}}{
    \underbrace{
    Hom_{SmoothSet}\big(
      \mathbb{R}^n \times \mathbb{R}^1 \overset{p_1}{\to} \mathbb{R}^n
      \;\,,\;
      A
    \big)
    }}
    \right)
  \end{aligned}
\end{displaymath}
where we used that

\begin{enumerate}%
\item the [[Cartesian product]] $(-) \times \mathbb{R}^1$ preserves [[colimits]], since it is a [[left adjoint]] (\href{geometry+of+physics+--+categories+and+toposes#PropertiesOfSheafToposes}{this Prop.}) and since [[left adjoints preserve colimits]] (\href{geometry+of+physics+--+categories+and+toposes#AdjointsPreserveCoLimits}{this Prop.}),


\item the [[hom-functor preserves limits]] (\href{geometry+of+physics+--+categories+and+toposes#HomFunctorPreservesLimits}{this Prop.}), hence sends colimits in the first argument to limits.



\end{enumerate}
But on the right this is now a morphisms of [[limits]] induced by morphism of [[diagrams]] which is objectwise an [[bijection]], as shown, and hence is a [[bijection]]) itself.

Hence we are reduced to showing that the [[local objects]] with respect to \eqref{RnTimesR1Projections} are the discrete smooth sets. But by [[induction]] over $n \in \mathbb{N}$, locality with respect to \eqref{RnTimesR1Projections} means equivalently locality with respect to

\begin{displaymath}
\left\{ 
    \mathbb{R}^n \overset{\exists !}{\to} \mathbb{R}^0 = \ast
  \right\}
\end{displaymath}
The [[local objects]] with respect to this set are manifestly exactly the [[constant presheaves]]. But by the proof of Prop. \ref{SmoothSetsFormACohesiveTopos} (proceeding via the proof of \href{geometry+of+physics+--+categories+and+toposes#CategoriesOfSheavesOnCohesiveSiteIsCohesive}{this Prop.}) these are indeed exactly the objects in the image of $Set \overset{Disc}{\hookrightarrow} SmoothSet$.

\end{proof}
$\,$

\hypertarget{concrete_smooth_sets_diffeological_spaces}{}\subsubsection*{{Concrete smooth sets: Diffeological spaces}}\label{concrete_smooth_sets_diffeological_spaces}

The cohesiveness of smooth sets (Prop. \ref{SmoothSetsFormACohesiveTopos}) implies in particular that there is a concept of \emph{[[concrete objects]]} among the smooth sets (\href{geometry+of+physics+--+categories+and+toposes#CohesiveModalities}{this Def.}). We show here (Prop. \ref{DiffeologicalSpacesAreTheConcreteSmoothSets} below) that these concrete smooth sets are [[equivalence of categories|equivalent]] to a kind of [[generalized smooth spaces]] that are known as \emph{[[Chen smooth spaces]]} (\href{diffeological+space#Chen77}{Chen 77}) or \emph{[[diffeological spaces]]} (\href{diffeological+space#Souriau79}{Souriau 79}, \href{diffeological+space#IglesiasZemmour85}{Iglesias-Zemmour 85}), which we recall as Def. \ref{DiffeologicalSpace} below.

A comprehensive development of [[differential geometry]] in terms of [[diffeological spaces]] is spelled out in (\href{diffeological+space#PIZ}{Iglesias-Zemmour 13}).

Since the [[concrete objects]] in any [[cohesive topos]], and hence the [[diffeological spaces]] among all [[smooth sets]], form a [[reflective subcategory]] (\href{geometry+of+physics+--+categories+and+toposes#QuasitoposOfConcreteObjects}{This prop.}), every smooth set has a \emph{[[concretification]]} to a concrete smooth set, hence to a diffeological space. An important example of this construction are [[moduli spaces]] of [[differential forms]], this we turn to in Def. \ref{SmoothSpaceOfFormsOnSmoothSpace} below.

$\,$

\begin{defn}
\label{DiffeologicalSpace}\hypertarget{DiffeologicalSpace}{}
\textbf{([[diffeological space]] (e.g. \href{diffeological+space#IglesiasZemmour18}{Iglesias Zemmour 18, def. 2 and 5}))}

A \emph{[[diffeological space]]} $\mathbf{X}$ is

\begin{enumerate}%
\item a [[set]] $X \in Set$, called the \emph{underlying set} of the diffeological space;


\item for each [[open subset]] $U \subset E^n$ of some [[Euclidean space]] $E^n$, for any $n \in \mathbb{N}$, a [[subset]]

\begin{displaymath}
\mathbf{X}(U) \subset Hom_{Set}(U, X)
\end{displaymath}
of the [[function set]] of [[functions]] of [[sets]] from $U$ to $X$, called the set of \emph{plots} of $\mathbf{X}$ by $U$;



\end{enumerate}
such that for every open subset $U$ as above the following conditions hold:

\begin{enumerate}%
\item the set of plots $\mathbf{X}(U)$ contains all the [[constant functions]]

\begin{displaymath}
X 
    \overset{const_U}{\hookrightarrow} 
  \mathbf{X}(U) 
    \hookrightarrow 
  Hom_{Set}(U,X)
  \,,
\end{displaymath}

\item for every [[function]] $\phi \;\colon\; U \to X$ and for every [[open cover]] $\{U_i \overset{\iota_i}{\to} U\}$, if each [[restriction]] is a plot, $\phi\vert_{U_i} \in \mathbf{X}(U_i)$, then $\phi$ itself is a plot: $\phi \in \mathbf{X}(U)$;


\item for all plots $\phi \in \mathbf{X}(U)$, all open subsets $V$ of any [[Euclidean space]], and all [[smooth functions]] $V \overset{f}{\to} U$, we have, the composition is again a plot

\begin{displaymath}
\phi \circ f   \;\in\; \mathbf{X}(V)
  \,.
\end{displaymath}


\end{enumerate}
Moreover, for $\mathbf{X}$ and $\mathbf{Y}$ two [[diffeological spaces]], as above, then a \emph{smooth map} between them

\begin{displaymath}
\mathbf{X} \overset{f}{\longrightarrow} \mathbf{Y}
\end{displaymath}
is a [[function]] of underlying sets

\begin{displaymath}
X \overset{\phantom{A} f \phantom{A}}{\longrightarrow} Y
  \;\;\in\;\;
  Set
\end{displaymath}
such that for each plot $\phi \in \mathbf{X}(U)$ of $\mathbf{X}$ the [[composition]] with that function is a plot of $\mathbf{Y}$:

\begin{displaymath}
f \circ \phi \;\in\; \mathbf{X}(U)
  \,.
\end{displaymath}
This defines a [[category]] $DiffeologicalSpace$ (\href{geometry+of+physics+--+categories+and+toposes#Categories}{this def.}) whose [[objects]] are the diffeological spaces, whose [[morphisms]] are the smooth maps between them, with [[composition]] of morphisms the ordinary composition of functions of underlying sets.

\end{defn}
\begin{prop}
\label{DiffeologicalSpacesAreTheConcreteSmoothSets}\hypertarget{DiffeologicalSpacesAreTheConcreteSmoothSets}{}
\textbf{([[diffeological spaces]] are the [[concrete object|concret]] [[smooth sets]])}

The category of [[diffeological spaces]] (Def. \ref{DiffeologicalSpace}) is a [[full subcategory]] of the category of [[smooth sets]] (Def. \ref{CategoryOfSmoothSets}).

Moreover, in terms of the [[cohesive topos|cohesive]] structure on the category of smooth sets from Prop. \ref{SmoothSetsFormACohesiveTopos}, the diffeological spaces are precisely the \emph{[[concrete objects]]} (\href{geometry+of+physics+--+categories+and+toposes#CohesiveModalities}{this def.}) among the [[smooth sets]]:

\begin{displaymath}
DiffeologicalSpace
  \;\simeq\;
  SmoothSet_{conc}
  \overset{\phantom{AAAA}}{\hookrightarrow}
  SmoothSet
  \,.
\end{displaymath}
\end{prop}
\begin{proof}
First observe that the assignment of sets of plots

\begin{displaymath}
U \mapsto \mathbf{X}(U)
\end{displaymath}
of a diffeological space $\mathbf{X}$, according to Def. \ref{DiffeologicalSpace} constitutes a [[sheaf]] (\href{geometry+of+physics+--+categories+and+toposes#Sheaf}{this Def.}) on the [[site]] $EuclOp$ of [[open subsets]] of [[Euclidean spaces]], by the same unwinding of Definitions as in Prop. \ref{SmoothSetsAreSheavesOnCartSp}:

\begin{itemize}%
\item the third clause in the list of properties in Def. \ref{DiffeologicalSpace} says that the assignment of sets of plots is a [[presheaf]],


\item the second clause in the list of properties says that this presheaf satisfies the [[sheaf|sheaf condition]],


\item while the first clause in the list of properties is an extra condition, singling out diffeological spaces among all sheaves.



\end{itemize}
Under this identification, the definition of a smooth map of diffeological spaces in Def. \ref{DiffeologicalSpace} says that it is equivalently a morphism of presheaves of sets of plots between sheaves of sets of plots, and hence a morphism of sheaves. This establishe a [[full subcategory]]-inclusion

\begin{displaymath}
DiffeologicalSpace
    \hookrightarrow
  Sh(EuclOp)
  \,.
\end{displaymath}
But by Prop. \ref{EquivalentSitesForCartSp} the restriction from the site $EuclOp$ of all open subsets of Euclidean spaces to that of just the site [[CartSp]] of [[Cartesian spaces]] is an [[equivalence of categories]] between the corresponding [[sheaf toposes]]. This yields the full subcategory inclusion

\begin{displaymath}
DiffeologicalSpace
   \hookrightarrow
  Sh(EuclOp)
    \simeq
  Sh(CartSp)
    \simeq
  SmoothSet
  \,,
\end{displaymath}
where the last equivalence is Prop. \ref{SmoothSetsAreSheavesOnCartSp}.

It remains to see that under this inclusion, the diffeological spaces are identified with the [[concrete objects]] among the smooth set.

By definition (\href{geometry+of+physics+--+categories+and+toposes#CohesiveModalities}{this Def.}), a smooth set $\mathbf{X} \in SmoothSet$ is [[concrete object|concrete]], precisely if its [[sharp modality|sharp]]-unit is a [[monomorphism]]

\begin{displaymath}
\mathbf{X}  
    \overset{\phantom{A} \eta_X^\sharp \phantom{A}}{\hookrightarrow}
  \sharp \mathbf{X}
  \,,
\end{displaymath}
which is the [[adjunction unit]] (\href{geometry+of+physics+--+categories+and+toposes#AdjunctionUnitFromHomIsomorphism}{this Def.}) of the $(\Gamma \dashv coDisc)$-adjunction

\begin{displaymath}
\mathbf{X}  
    \overset{\phantom{A} \eta_X \phantom{A}}{\hookrightarrow}
  coDisc \Gamma \mathbf{X}
  \,.
\end{displaymath}
Now a morphism of sheaves is a monomorphism, precisely if for each object $U \in CartSp$ in the site, its component function

\begin{equation}
\mathbf{X}(U)
    \overset{\phantom{A} \eta_X^\sharp(U) \phantom{A}}{\hookrightarrow}
  (coDisc \Gamma \mathbf{X})(U)
\label{DecohesAsGammacoDiscUnit}\end{equation}
is an [[injective function]] (\href{geometry+of+physics+--+categories+and+toposes#RecognitionOfEpimorphisms}{this Prop.}). Unde the [[Yoneda lemma]], this function may be re-identified as follows:

\begin{equation}
\itexarray{
    \mathbf{X}(U) &\simeq& Hom_{SmoothSet}(y(U), \mathbf{X})
    \\
    {}^{\mathllap{ \eta_X^\sharp(U) }}\big\downarrow
    &&
    {}^{\mathllap{ Hom_{SmoothSet}(y(U), \eta_X^\sharp ) }}\big\downarrow
    &\searrow^{\mathrlap{ \widetilde{\eta^\sharp_X \circ (-)} }}&
    \\
    (coDisc \Gamma \mathbf{X}(U))
    &\simeq&
    Hom_{SmoothSet}( y(U), coDisc \Gamma \mathbf{X} )
    &\simeq&
    Hom_{Set}( \Gamma y(U), \Gamma \mathbf{X} )
    &\simeq&
    Hom_{Set}( U, X )
    \\
    && \phi &\mapsto& \widetilde \phi
    \,,
  }
\label{CodiscretePlotIdentidification}\end{equation}
where we first used the [[Yoneda lemma]] (\href{geometry+of+physics+--+categories+and+toposes#YonedaLemma}{this Prop.}), then the adjunction isomorphism (\href{geometry+of+physics+--+categories+and+toposes#eq:HomIsomorphismForAdjointFunctors}{here}) of $(\Gamma \dashv coDisc)$. In the final step we used that the cohesive structure on $SmoothSet$ comes from $CartSp$ being a [[cohesive site]] (Prop. \ref{SmoothSetsFormACohesiveTopos}) and that in this case $\Gamma$ is given by evaluation on the point (\href{geometry+of+physics+--+categories+and+toposes#CohesiveGlobalSectionsGivenByPointEvaluation}{here}), and we wrote

\begin{equation}
X \;\coloneqq\; \Gamma \mathbf{X} = \mathbf{X}(\ast)
\label{UnderlyingSetOfDiffeologicalSpaceAsSmoothSet}\end{equation}
for the set of points in $\mathbf{X}$. Notice that if $\mathbf{X}$ is indeed a [[diffeological space]], then this set is indeed its underlying set, by the first clause in the list of conditions on a diffeological space in Def. \ref{DiffeologicalSpace}.

This shows that \eqref{DecohesAsGammacoDiscUnit} being an injection means equivalently that we have an injection of the form

\begin{equation}
\mathbf{X}(U)
    \overset{\phantom{A} \eta_X^\sharp(U) \phantom{A}}{\hookrightarrow}
  Hom_{Set}(U, X)
  \,.
\label{RearrangedDecohesAsGammacoDiscUnit}\end{equation}
Hence that $\mathbf{X}(U)$ is always a subset of the [[function set]] from $U$ to the set $X$, as in the second clause in Def. \ref{DiffeologicalSpace}.

This shows that every concrete smooth set is a diffeological space. For the converse, it remains to check that if we start with a diffeological space $\mathbf{X}$ with prescribed inclusion function

\begin{equation}
\mathbf{X}(U) \hookrightarrow Hom_{Set}(U,X)
\label{DiffeologicalInclusionFunction}\end{equation}
then \eqref{RearrangedDecohesAsGammacoDiscUnit} indeed reproduces this inclusion.

To see this, first notice that, by the [[Yoneda lemma]] (\href{geometry+of+physics+--+categories+and+toposes#YonedaLemma}{this prop.}) and the definition of smooth maps between diffeological spaces, the inclusion function \eqref{DiffeologicalInclusionFunction} equals the component function of the [[functor]] $\Gamma \;\colon\; SmoothSet \to Set$, that acts by point evaluation:

\begin{displaymath}
\Gamma_{y(U),\mathbf{X}}
  \;\colon\;
  \itexarray{
    Hom_{SmoothSet}( y(U), \mathbf{X} )
    &\hookrightarrow&
    Hom_{Set}( \Gamma y(U), \Gamma \mathbf{X} )
    \\
    f &\mapsto& \Gamma(f)
  }
\end{displaymath}
Hence, by \eqref{DecohesAsGammacoDiscUnit}, we need to show that

\begin{equation}
\Gamma_{y(U), \mathbf{X}} \;=\;  \widetilde{\eta_{\mathbf{X}} \circ (-)}
  \,.
\label{PostcompositionWithEtaAsGamma}\end{equation}
But this holds as a general fact about [[adjunctions]] (a special case of \href{geometry+of+physics+–+basic+notions+of+category+theory#ReExpressingMiddleFunctorInAdjointTriple}{this Example}).

\end{proof}
By \href{geometry+of+physics+--+categories+and+toposes#QuasitoposOfConcreteObjects}{this prop.} it follows that

\begin{prop}
\label{ReflectiveInclusionOfDiffeologicalSpacesinSmoothSets}\hypertarget{ReflectiveInclusionOfDiffeologicalSpacesinSmoothSets}{}
\textbf{([[reflective subcategory|reflection]] of [[diffeological spaces]] in [[cohesive topos]] of [[smooth sets]])}

The [[category]] of [[diffeological spaces]] (Def. \ref{DiffeologicalSpace}) is ``in between'' the [[category of sets]] (\href{geometry+of+physics+--+categories+and+toposes#CategoryOfSets}{this Example}) and the category of [[smooth sets]] (Def. \ref{CategoryOfSmoothSets}) as exhibited by the following system of [[adjoint functors]]:

\begin{displaymath}
\itexarray{
     \\
     \phantom{a}
     \\
     \phantom{A}
     \\
     \Gamma \;\dashv\; coDisc
  }
  \;\;\colon\;\;
  SmoothSet
  \itexarray{
    \phantom{\overset{ \phantom{AA} \Pi_0 \phantom{AA} }{\longrightarrow}}
    \\
    \phantom{\overset{ \phantom{AA} Disc \phantom{AA} }{\hookleftarrow}}
    \\
    \overset{\phantom{AA} conc \phantom{AA}}{\longrightarrow}
    \\
    \overset{\phantom{AA} \iota_{conc} \phantom{AA}}{\hookleftarrow}
  }
  DiffeologicalSpace
  \itexarray{
    \overset{ \phantom{AA} \Pi_0 \phantom{AA} }{\longrightarrow}
    \\
    \overset{ \phantom{AA} Disc \phantom{AA} }{\hookleftarrow}
    \\
    \overset{\phantom{AA}\Gamma \phantom{AA}}{\longrightarrow}
    \\
    \overset{\phantom{AA}coDisc\phantom{AA}}{\hookleftarrow}
  }
  Set
\end{displaymath}
where on the left we have a [[reflective subcategory]] with reflector being \emph{[[concretification]]} (\href{geometry+of+physics+--+categories+and+toposes#QuasitoposOfConcreteObjects}{this prop.}), and on the right we have the [[corestriction|co]][[restriction]] of the [[adjoint quadruple]] of [[cohesion]] from \eqref{SheafToposAdjointQuadruple}.

\end{prop}
\begin{prop}
\label{FrechetManifoldsFullyFaithfulInSmoothSets}\hypertarget{FrechetManifoldsFullyFaithfulInSmoothSets}{}
\textbf{([[Fréchet manifolds]] [[fully faithful functor|fully faithful]] among [[smooth sets]])}

Write $FrechetMfd$ for the [[category]] of [[Fréchet manifolds]] and [[smooth functions]] between these, which generalizes smooth manifolds to possibly [[infinite-dimensional manifold|infinite-dimensional]] smooth manifolds

\begin{displaymath}
CartSp 
   \overset{\phantom{AAAA}}{\hookrightarrow} 
  SmoothMfd 
    \overset{\phantom{AAAA}}{\hookrightarrow} 
  FrechetMfd
  \,.
\end{displaymath}
For $X,Y$ two [[Fréchet manifolds]], write again $C^\infty(X,Y)$ for the set of [[smooth functions]] between them. Then the same kind of construction as for [[smooth manifolds]], sending a Fr\'e{}chet manifold to the [[presheaf]]

\begin{displaymath}
\mathbb{R}^n \mapsto C^\infty(\mathbb{R}^n, X)
\end{displaymath}
defines a [[fully faithful functor]] (\href{geometry+of+physics+--+categories+and+toposes#FullyFaithfulFunctor}{this Example})

\begin{displaymath}
FrechetMfd \overset{\phantom{AAAA}}{\hookrightarrow} SmoothSet
  \,,
\end{displaymath}
hence a [[full subcategory]] inclusion.

\end{prop}
\begin{proof}
The construction clearly factors through [[diffeological spaces]] (Def. \ref{DiffeologicalSpace}), identified as a [[full subcategory]] of [[smooth sets]] via Prop. \ref{ReflectiveInclusionOfDiffeologicalSpacesinSmoothSets}.

With this it is now sufficient to see that [[Fréchet manifolds]] are fully faithful among [[diffeological spaces]]. This is due to (\href{diffeological+space#Losik}{Losik 94, theorem 3.1.1}),

\end{proof}
$\,$

\hypertarget{DifferentialForms}{}\subsubsection*{{Differential forms}}\label{DifferentialForms}

We have seen above in \emph{\hyperlink{TheContinuumRealWorldLine}{The continuum real line}} that that [[real line]] $\mathbb{R}$ is the basic [[kinematics|kinematical structure]] in the [[differential geometry]] of [[physics]]. Notably the smooth [[path spaces]] $[\mathbb{R}, X]$ from example \ref{SmoothPathSpace} are to be thought of as the smooth spaces of \emph{trajectories} (for instance of some [[particle]]) in a [[smooth space]] $X$, hence of smooth maps $\mathbb{R} \to X$.

But moreover, \emph{[[dynamics]]} in [[physics]] is encoded by \emph{[[linear functionals|functionals]] on such trajectories}: by ``[[action functionals]]''. In the simplest case these are for instance homomorphisms of smooth spaces

\begin{displaymath}
S \colon \left[I, X\right] \to \mathbb{R}
  \,,
\end{displaymath}
where $I \hookrightarrow \mathbb{R}$ is the standard unit [[interval]].

Such [[action functionals]] we discuss in their own right in \emph{\hyperlink{VariationalCalculus}{Variational calculus}} below. Here we first examine in detail a fundamental property they all have: they are supposed to be \emph{[[local action functional|local]]}.

Foremost this means that the value associated to a trajectory is \emph{built up incrementally} from small contributions associated to small sub-trajectories: if a trajectory $\gamma$ is decomposed as a trajectory $\gamma_1$ followed by a trajectory $\gamma_2$, then the action functional is additive

\begin{displaymath}
S(\gamma) = S(\gamma_1) + S(\gamma_2)
  \,.
\end{displaymath}
As one takes this property to the limit of iterative subdivision, one finds that action functionals are entirely determined by their value on \emph{[[infinitesimal space|infinitesimal]] displacements} along the worldline. If $\gamma \colon \mathbb{R} \to X$ denotes a path and ``$\dot \gamma(x)$'' denotes the corresponding ``infinitesimal path'' at worldline parameter $x$, then the value of the action functional on such an infinitesimal path is traditionally written as

\begin{displaymath}
\mathbf{d}S(\dot \gamma)_x  \in \mathbb{R}
  \,,
\end{displaymath}
to be read as ``the small change $\mathbf{d}S$ of $S$ along the infinitesimal path $\dot \gamma_x$''.

This function $\mathbf{d}S$ that assigns numbers to infinitesimal paths is called a \emph{[[differential form]]}. Etymologically this originates in the use of ``form'' as in \emph{[[bilinear form]]}: something that is evaluated. Here it is evaluated on \emph{infinitesimal differences}, referred to as \emph{differentials}.

$\,$

\begin{defn}
\label{Differential1FormsOnCartesianSpaces}\hypertarget{Differential1FormsOnCartesianSpaces}{}
For $n \in \mathbb{N}$ a \textbf{[[smooth differential 1-form]]} $\omega$ on a [[Cartesian space]] $\mathbb{R}^n$ is an $n$-[[tuple]]

\begin{displaymath}
\left(\omega_i \in CartSp\left(\mathbb{R}^n,\mathbb{R}\right)\right)_{i = 1}^n
\end{displaymath}
of [[smooth functions]], which we think of equivalently as the [[coefficients]] of a [[formal linear combination]]

\begin{displaymath}
\omega = \sum_{i = 1}^n f_i \mathbf{d}x^i
\end{displaymath}
on a [[set]] $\{\mathbf{d}x^1, \mathbf{d}x^2, \cdots, \mathbf{d}x^n\}$ of [[cardinality]] $n$.

Write

\begin{displaymath}
\Omega^1(\mathbb{R}^k) \simeq CartSp(\mathbb{R}^k, \mathbb{R})^{\times k}\in Set
\end{displaymath}
for the set of smooth [[differential 1-forms]] on $\mathbb{R}^k$.

\end{defn}
\begin{remark}
\label{}\hypertarget{}{}
We think of $\mathbf{d} x^i$ as a measure for [[infinitesimal space|infinitesimal]] displacements along the $x^i$-[[coordinate]] of a [[Cartesian space]]. This idea is made precise below in \emph{\hyperlink{1FormsAsSmoothFunctors}{Differential 1-forms are smooth increnemental path measures}}.

\end{remark}
If we have a measure of infintesimal displacement on some $\mathbb{R}^n$ and a smooth function $f \colon \mathbb{R}^{\tilde n} \to \mathbb{R}^n$, then this induces a measure for infinitesimal displacement on $\mathbb{R}^{\tilde n}$ by sending whatever happens there first with $f$ to $\mathbb{R}^n$ and then applying the given measure there. This is captured by the following definition.

\begin{defn}
\label{PullbackOfDifferential1FormsOnCartesianSpaces}\hypertarget{PullbackOfDifferential1FormsOnCartesianSpaces}{}
For $\phi \colon \mathbb{R}^{\tilde k} \to \mathbb{R}^k$ a [[smooth function]], the \textbf{[[pullback of differential forms|pullback of differential 1-forms]]} along $\phi$ is the [[function]]

\begin{displaymath}
\phi^* \colon \Omega^1(\mathbb{R}^{k}) \to \Omega^1(\mathbb{R}^{\tilde k})
\end{displaymath}
between sets of differential 1-forms, def. \ref{Differential1FormsOnCartesianSpaces}, which is defined on [[basis]]-elements by

\begin{displaymath}
\phi^* \mathbf{d} x^i \coloneqq \sum_{j = 1}^{\tilde k} \frac{\partial \phi^i}{\partial \tilde x^j} \mathbf{d}\tilde x^j
\end{displaymath}
and then extended linearly by

\begin{displaymath}
\begin{aligned}
    \phi^* \omega & = \phi^* \left( \sum_{i} \omega_i \mathbf{d}x^i \right)
    \\
    & \coloneqq
     \sum_{i = 1}^k \left(\phi^* \omega\right)_i \sum_{j = 1}^{\tilde k} \frac{\partial \phi^i }{\partial \tilde x^j}  \mathbf{d} \tilde x^j 
    \\
    & = 
     \sum_{i = 1}^k  \sum_{j = 1}^{\tilde k} (\omega_i \circ \phi) \cdot \frac{\partial \phi^i }{\partial \tilde x^j}  \mathbf{d} \tilde x^j 
  \end{aligned}
  \,.
\end{displaymath}
\end{defn}
\begin{remark}
\label{}\hypertarget{}{}
The term ``pullback'' in \emph{[[pullback of differential forms]]} is not really related, certainly not historically, to the term \emph{[[pullback]]} in [[category theory]]. One can relate the pullback of differential forms to categorical pullbacks, but this is not really essential here. The most immediate property that both concepts share is that they take a [[morphism]] going in one direction to a map between structures over domain and codomain of that morphism which goes in the other direction, and in this sense one is ``pulling back structure along a morphism'' in both cases.

\end{remark}
Even if in the above definition we speak only about the [[set]] $\Omega^1(\mathbb{R}^k)$ of differential 1-forms, this set naturally carries further [[structure]].

\begin{defn}
\label{ModuleStructureOn1FormsOnRk}\hypertarget{ModuleStructureOn1FormsOnRk}{}
\begin{enumerate}%
\item The set $\Omega^1(\mathbb{R}^k)$ is naturally an [[abelian group]] with addition given by componentwise addition

\begin{displaymath}
\begin{aligned}
      \omega + \lambda & =
    \sum_{i = 1}^k \omega_i \mathbf{d}x^i + \sum_{j = 1}^k \lambda_j \mathbf{d}x^j
      \\
      & = \sum_{i = 1}^k(\omega_i + \lambda_i) \mathbf{d}x^i
   \end{aligned}
   \,,
\end{displaymath}

\item The abelian group $\Omega^1(\mathbb{R}^k)$ is naturally equipped with the structure of a [[module]] over the [[ring]] $C^\infty(\mathbb{R}^k,\mathbb{R}) = CartSp(\mathbb{R}^k, \mathbb{R})$ of [[smooth functions]], where the [[action]] $C^\infty(\mathbb{R}^k,\mathbb{R}) \times\Omega^1(\mathbb{R}^k) \to \Omega^1(\mathbb{R}^k)$ is given by componentwise multiplication

\begin{displaymath}
f \cdot \omega = \sum_{i = 1}^k( f \cdot \omega_i) \mathbf{d}x^i
  \,.
\end{displaymath}


\end{enumerate}
\end{defn}
\begin{defn}
\label{}\hypertarget{}{}
More abstractly, this just says that $\Omega^1(\mathbb{R}^k)$ is the [[free module]] over $C^\infty(\mathbb{R}^k)$ on the set $\{\mathbf{d}x^i\}_{i = 1}^k$.

\end{defn}
The following definition captures the idea that if $\mathbf{d} x^i$ is a measure for displacement along the $x^i$-[[coordinate]], and $\mathbf{d}x^j$ a measure for displacement along the $x^j$ coordinate, then there should be a way te get a measure, to be called $\mathbf{d}x^i \wedge \mathbf{d} x^j$, for infinitesimal \emph{surfaces} (squares) in the $x^i$-$x^j$-plane. And this should keep track of the [[orientation]] of these squares, with

\begin{displaymath}
\mathbf{d}x^j \wedge \mathbf{d}x^i = - \mathbf{d}x^i \wedge \mathbf{d} x^j
\end{displaymath}
being the same infinitesimal measure with orientation reversed.

\begin{defn}
\label{DifferentialnForms}\hypertarget{DifferentialnForms}{}
For $k,n \in \mathbb{N}$, the \textbf{smooth [[differential forms]]} on $\mathbb{R}^k$ is the [[exterior algebra]]

\begin{displaymath}
\Omega^\bullet(\mathbb{R}^k) 
   \coloneqq
  \wedge^\bullet_{C^\infty(\mathbb{R}^k)} \Omega^1(\mathbb{R}^k)
\end{displaymath}
over the [[ring]] $C^\infty(\mathbb{R}^k)$ of [[smooth functions]] of the [[module]] $\Omega^1(\mathbb{R}^k)$ of smooth 1-forms, prop. \ref{ModuleStructureOn1FormsOnRk}.

We write $\Omega^n(\mathbb{R}^k)$ for the sub-module of degree $n$ and call its elements the \textbf{smooth [[differential n-forms]]}.

\end{defn}
\begin{remark}
\label{}\hypertarget{}{}
Explicitly this means that a [[differential n-form]] $\omega \in \Omega^n(\mathbb{R}^k)$ on $\mathbb{R}^k$ is a [[formal linear combination]] over $C^\infty(\mathbb{R}^k)$ of [[basis]] elements of the form $\mathbf{d} x^{i_1} \wedge \cdots \wedge \mathbf{d}x^{i_n}$ for $i_1 \lt i_2 \lt \cdots \lt i_n$:

\begin{displaymath}
\omega = \sum_{1 \leq i_1 \lt i_2 \lt \cdots \lt i_n \lt k} \omega_{i_1, \cdots, i_n} \mathbf{d}x^{i_1} \wedge \cdots \wedge \mathbf{d}x^{i_n}
  \,.
\end{displaymath}
\end{remark}
\begin{defn}
\label{PullbackOfDifferentialForms}\hypertarget{PullbackOfDifferentialForms}{}
The [[pullback of differential forms|pullback of differential 1-forms]] of def. \ref{Differential1FormsOnCartesianSpaces} extends as an $C^\infty(\mathbb{R}^k)$-[[associative algebra|algebra]] [[homomorphism]] to $\Omega^n(-)$, given for a smooth function $f \colon \mathbb{R}^{\tilde k} \to \mathbb{R}^k$ on basis elements by

\begin{displaymath}
f^* \left(  \mathbf{d}x^{i_1} \wedge \cdots \wedge \mathbf{d}x^{i_n} \right)
  = 
  \left(f^* \mathbf{d}x^{i_1} \wedge \cdots \wedge f^* \mathbf{d}x^{i_n} \right)
  \,.
\end{displaymath}
\end{defn}
$\,$

So far we have defined differential $n$-form on abstract coordinate systems. Here we extend this definition to one of differential $n$-forms on arbitrary [[smooth sets]]. We start by observing that the space of \emph{all} differential $n$-forms on cordinate systems themselves naturally is a smooth set.

\begin{prop}
\label{SmoothModuliSpaceOfnForms}\hypertarget{SmoothModuliSpaceOfnForms}{}
\textbf{([[smooth set|smooth]] [[moduli space]] of [[differential forms]])}

The assignment of differential $n$-forms

\begin{displaymath}
\Omega^n(-) \colon \mathbb{R}^k \mapsto \Omega^n(\mathbb{R}^k)
\end{displaymath}
of def. \ref{DifferentialnForms} together with the [[pullback of differential forms]]-functions of def. \ref{PullbackOfDifferentialForms}

\begin{displaymath}
\itexarray{
    \mathbb{R}^{k_1} &\mapsto & \Omega^n(\mathbb{R}^{k_1})
    \\
    \uparrow^{\mathrlap{f}} && \downarrow^{\mathrlap{f^*}}
    \\
    \mathbb{R}^{k_2} &\mapsto& \Omega^n(\mathbb{R}^{k_2})
  }
\end{displaymath}
constitutes a [[smooth set]] in the sense of def. \ref{SmoothSpace}, which we denote by

\begin{displaymath}
\mathbf{\Omega}^n(-) \;\in\; SmoothSet
  \,.
\end{displaymath}
We call this the \textbf{universal smooth [[moduli space]]} of differential $n$-forms.

\end{prop}
The reason for this terminology is that homomorphisms of smooth sets into $\Omega^1$ \emph{modulate} differential $n$-forms on their [[domain]], by prop. \ref{YonedaForSmoothSpaces} (and hence by the [[Yoneda lemma]], \href{geometry+of+physics+--+categories+and+toposes#YonedaLemma}{this prop}):

\begin{example}
\label{}\hypertarget{}{}
For the [[Cartesian space]] $\mathbb{R}^k$ regarded as a [[smooth set]] by example \ref{CartesianSpaceAsSmoothSpace}, there is a [[natural bijection]]

\begin{displaymath}
\Omega^n(\mathbb{R}^k) \simeq Hom(\mathbb{R}^k, \Omega^1)
\end{displaymath}
between the set of smooth $n$-forms on $\mathbb{R}^n$ according to def. \ref{Differential1FormsOnCartesianSpaces} and the set of homomorphism of smooth set, $\mathbb{R}^k \to \Omega^1$, according to def. \ref{HomomorphismOfSmoothSpaces}.

\end{example}
In view of this we have the following elegant definition of smooth $n$-forms on an arbitrary smooth set.

\begin{defn}
\label{DifferentialnFormOnSmoothSpace}\hypertarget{DifferentialnFormOnSmoothSpace}{}
For $X \in SmoothSet$ a [[smooth set]], def. \ref{SmoothSpace}, a \textbf{[[differential n-form]]} on $X$ is a [[homomorphism]] of [[smooth sets]] of the form

\begin{displaymath}
\omega \colon X \to \Omega^n(-)
  \,.
\end{displaymath}
Accordingly we write

\begin{displaymath}
\Omega^n(X) \coloneqq SmoothSet(X,\Omega^n)
\end{displaymath}
for the set of smooth $n$-forms on $X$.

\end{defn}
We may unwind this definition to a very explicit description of differential forms on smooth sets. This we do in a moment in remark \ref{DifferentialFormOnSmoothSpaceAsSystemOfDiffFormsOnCoordinates}.

Notice that differential 0-forms are equivalently smooth $\mathbb{R}$-valued functions.

\begin{example}
\label{SpaceOf0FormsIsRealLine}\hypertarget{SpaceOf0FormsIsRealLine}{}
\begin{displaymath}
\Omega^0 \;\simeq\; \mathbb{R}
\end{displaymath}
\end{example}
\begin{defn}
\label{PullbackOfDifferentialFormsOnSmoothSpaces}\hypertarget{PullbackOfDifferentialFormsOnSmoothSpaces}{}
For $f \colon X \to Y$ a [[homomorphism]] of [[smooth sets]], def. \ref{HomomorphismOfSmoothSpaces}, the \textbf{[[pullback of differential forms]]} along $f$ is the [[function]]

\begin{displaymath}
f^* \colon \Omega^n(Y) \to \Omega^n(X)
\end{displaymath}
given by the [[hom-functor]] into the smooth set $\Omega^n$ of def. \ref{SmoothModuliSpaceOfnForms}:

\begin{displaymath}
f^* \coloneqq Hom(-, \Omega^n)
 \,.
\end{displaymath}
This means that it sends an $n$-form $\omega \in \Omega^n(Y)$ which is modulated by a homomorphism $Y \to \Omega^n$ to the $n$-form $f^* \omega \in \Omega^n(X)$ which is modulated by the [[composition|composite]] $X \stackrel{f}{\to} Y \to \Omega^n$.

\end{defn}
\begin{defn}
\label{}\hypertarget{}{}
For $X = \mathbb{R}^{\tilde k}$ and $Y = \mathbb{R}^{k}$ definition \ref{PullbackOfDifferentialFormsOnSmoothSpaces} reproduces def. \ref{PullbackOfDifferentialForms}.

\end{defn}
\begin{proof}
Again by the [[Yoneda lemma]] (\href{geometry+of+physics+--+categories+and+toposes#YonedaLemma}{this prop.})

\end{proof}
\begin{remark}
\label{DifferentialFormOnSmoothSpaceAsSystemOfDiffFormsOnCoordinates}\hypertarget{DifferentialFormOnSmoothSpaceAsSystemOfDiffFormsOnCoordinates}{}
Using def. \ref{PullbackOfDifferentialFormsOnSmoothSpaces}

Unwinding def. \ref{DifferentialnFormOnSmoothSpace} yields the following explicit description:

a differential $n$-form $\omega \in \Omega^n(X)$ on a smooth set $X$ is

\begin{enumerate}%
\item for each way $\phi \colon \mathbb{R}^k \to X$ of laying out a coordinate system $\mathbb{R}^k$ in $X$ a differential $n$-form

\begin{displaymath}
\phi^* \omega \in \Omega^n(\mathbb{R}^k)
\end{displaymath}
on the abstract coordinate system, as given by def. \ref{DifferentialnForms};


\item for each abstract [[coordinate transformation]] $f \colon \mathbb{R}^{k_2} \to \mathbb{R}^{k_1}$ a corresponding compatibility condition between local differential forms $\phi_1 \colon \mathbb{R}^{k_1} \to X$ and $\phi_2 \colon \mathbb{R}^{k_2} \to X$ of the form

\begin{displaymath}
f^* \phi_1^* \omega = \phi_2^* \omega
  \,.
\end{displaymath}


\end{enumerate}
Hence a differential form on a smooth set is simply a collection of differential forms on all its coordinate systems such that these glue along all possible coordinate transformations.

\end{remark}
The following adds further explanation to the role of $\Omega^n \in Smooth0Tye$ as a \emph{[[moduli space]]}. Notice that since $\Omega^n$ is itself a [[smooth set]], we may speak about differential $n$-forms on $\Omega^n$ itsefl.

\begin{defn}
\label{UniversalDifferentialnForm}\hypertarget{UniversalDifferentialnForm}{}
The \textbf{universal differential $n$-form} is the differential $n$-form

\begin{displaymath}
\omega^n_{univ} \in \Omega^n(\Omega^n)
\end{displaymath}
which is modulated by the [[identity]] [[homomorphism]] $id \colon \Omega^n \to \Omega^n$.

\end{defn}
With this definition we have:

\begin{prop}
\label{}\hypertarget{}{}
For $X \in SmoothSet$ any [[smooth set]], every differential $n$-form on $X$, $\omega \in \Omega^n(X)$ is the pullback of differential forms, def. \ref{PullbackOfDifferentialFormsOnSmoothSpaces}, of the universal differential $n$-form, def. \ref{UniversalDifferentialnForm}, along a homomorphism $f$ from $X$ into the moduli space $\Omega^n$ of differential $n$-forms:

\begin{displaymath}
\omega = f^* \omega^n_{univ}
  \,.
\end{displaymath}
\end{prop}
\begin{remark}
\label{}\hypertarget{}{}
This statement is of course in a way a big tautology. Nevertheless it is a very useful tautology to make explicit. The whole concept of differential forms on smooth sets here may be thought of as simply a variation of the theme of the [[Yoneda lemma]] (\href{geometry+of+physics+--+categories+and+toposes#YonedaLemma}{this prop.}).

\end{remark}
$\,$

We discuss the smooth space of differential forms \emph{on a fixed smooth space} $X$.

\begin{remark}
\label{}\hypertarget{}{}
For $X$ a [[smooth space]], the smooth mapping space $[X, \Omega^n] \in SmoothSet$ is the smooth space whose $\mathbb{R}^k$-plots are differential $n$-forms on the [[product]] $X \times \mathbb{R}^k$

\begin{displaymath}
[X, \Omega^n] \colon \mathbb{R}^k \mapsto \Omega^n(X \times \mathbb{R}^k)
  \,.
\end{displaymath}
This is not \emph{quite} what one usually wants to regard as an $\mathbb{R}^k$-parameterized of differential forms on $X$. That is instead usually meant to be a differential form $\omega$ on $X \times \mathbb{R}^k$ which has ``no leg along $\mathbb{R}^k$''. Another way to say this is that the family of forms on $X$ that is represented by some $\omega$ on $X \times \mathbb{R}^k$ is that which over a point $v \colon * \to \mathbb{RR}^k$ has the value $(id_X,v)^* \omega$. Under this [[pullback of differential forms]] any components of $\omega$ with ``legs along $\mathbb{R}^k$'' are identified with the 0 differential form

\end{remark}
This is captured by the following definition.

\begin{defn}
\label{SmoothSpaceOfFormsOnSmoothSpace}\hypertarget{SmoothSpaceOfFormsOnSmoothSpace}{}
\textbf{([[concrete object|concrete]] [[moduli space]] of [[differential forms]] on a [[smooth set]])}

For $X \in SmoothSet$ any [[smooth set]] and $n \in \mathbb{N}$, the \emph{smooth space of differential $n$-forms} $\mathbf{\Omega}^n(X)$ on $X$ is the [[concretification]] (Prop. \ref{ReflectiveInclusionOfDiffeologicalSpacesinSmoothSets}) of the smooth mapping space $[X, \Omega^n]$, def. \ref{SmoothFunctionSpace}, into the smooth moduli space of differential $n$-forms, def. \ref{SmoothModuliSpaceOfnForms}:

\begin{displaymath}
\mathbf{\Omega}^n(X)_{conc} \; \coloneqq \; Conc([X, \Omega^n])
  \,.
\end{displaymath}
\end{defn}
\begin{prop}
\label{}\hypertarget{}{}
The $\mathbb{R}^k$-plots of $\mathbf{\Omega}^n(\mathbb{R}^k)$ are indeed smooth differential $n$-forms on $X \times \mathbb{R}^k$ which are such that their evaluation on vector fields tangent to $\mathbb{R}^k$ vanish.

\end{prop}
\begin{proof}
By the proof of \href{geometry+of+physics+--+categories+and+toposes#QuasitoposOfConcreteObjects}{this Prop.} spring the set of plots of $\mathbf{\Omega}^n(X)$ over $\mathbb{R}^k$ is the [[image]] of the [[function]]

\begin{displaymath}
\Omega^n(X \times \mathbb{R}^k)
  \simeq
   Hom_{SmoothSet}(\mathbb{R}^k, [X,\Omega^n])
   \stackrel{\Gamma_{ \mathbb{R}^k, [X,\Omega^n] }}{\to}
   Hom_{Set}(\Gamma(\mathbb{R}^k), \Gamma [X, \Omega^n])
   \simeq
   Hom_{Set}(\mathbb{R}^k_s, \Omega^n(X))
  \,,
\end{displaymath}
where on the right $\mathbb{R}^k_s$ denotes, just for emphasis, the underlying set of $\mathbb{R}^k$. This function manifestly sends a smooth differential form $\omega \in \Omega^n(X \times \mathbb{R}^k)$ to the function from points $v$ of $\mathbb{R}^k$ to differential forms on $X$ given by

\begin{displaymath}
\omega \mapsto \left(v \mapsto  (id_X, v)^* \omega \right)
  \,.
\end{displaymath}
Under this function all components of differential forms with a ``leg along'' $\mathbb{R}^k$ are sent to the 0-form. Hence the image of this function is the collection of smooth forms on $X \times \mathbb{R}^k$ with ``no leg along $\mathbb{R}^k$''.

\end{proof}
\begin{remark}
\label{}\hypertarget{}{}
For $n = 0$ we have (for any $X\in SmoothSet$)

\begin{displaymath}
\begin{aligned}
    \mathbf{\Omega}^0(X) 
      & \coloneqq Conc [X, \Omega^0]
    \\
    & \simeq Conc [X, \mathbb{R}]
    \\
    & \simeq [X, \mathbb{R}]
  \end{aligned}
  \,,
\end{displaymath}
by prop. \ref{SpaceOf0FormsIsRealLine}.

\end{remark}
$\,$

\hypertarget{integration_and_transgression}{}\subsubsection*{{Integration and transgression}}\label{integration_and_transgression}

The traditional concept of [[integration of differential forms]] over a [[compact space|compact]] [[smooth manifold]] $\Sigma$ applies in smooth families of differential forms and hence constitutes in fact a [[smooth function]] from the [[smooth set|smooth]] [[moduli space]] of [[differential forms]] on the given manifold, this is Def. \ref{ParameterizedIntegrationOfDifferentialForms} below.

Using this, [[transgression of differential forms]] may be defines as the application of the [[mapping space]]-[[functor]] out of $\Sigma$ to the [[modulating morphisms]] of [[differential forms]] and applying [[integration of differential forms]] to the result (Def. \ref{TransgressionOfDifferentialFormsToMappingSpaces} below). This simple construction turns out to be equivalent to the traditional definition (Prop. \ref{EquivalenceOfTransgressionOfDifferentialFormsToMappingSpaces} below).

\begin{defn}
\label{ParameterizedIntegrationOfDifferentialForms}\hypertarget{ParameterizedIntegrationOfDifferentialForms}{}
\textbf{(parameterized [[integration of differential forms]])}

Let

\begin{enumerate}%
\item $X$ be a [[smooth set]];


\item $\Sigma_k$ be a [[compact topological space|compact]] [[smooth manifold]] of [[dimension]] $k$, regarded as a [[smooth set]] via Example \ref{CartesianSpaceAsSmoothSpace}.


\item $n \geq k \in \mathbb{N}$ a [[natural number]];



\end{enumerate}
Consider the [[smooth set|smooth]] [[mapping space]] $[\Sigma_k, \mathbf{\Omega}^n]$ (Def. \ref{SmoothFunctionSpace}) out of $\Sigma_k$ into the universal [[smooth set|smooth]] [[moduli space]] $\mathbf{\Omega}^n$ of [[differential n-forms]] (Prop. \ref{SmoothModuliSpaceOfnForms}).

Then we write

\begin{displaymath}
\int_{\Sigma}
    \;\colon\;
  [\Sigma_k, \mathbf{\Omega}^n]
    \longrightarrow
  \mathbf{\Omega}^{n-k}
\end{displaymath}
for the [[smooth function]] (Def. \ref{HomomorphismOfSmoothSpaces}) which takes a plot $\omega_{(-)} \colon U \to [\Sigma, \mathbf{\Omega}^k]$, hence equivalently a differential $n$-form $\omega_{(-)}(-)$ on $U \times \Sigma$, to the result of [[integration of differential forms]] over $\Sigma$:

\begin{displaymath}
\int_{\Sigma} \omega_{(-)}(-) \coloneqq \int_\Sigma \omega_{(-)}
  \,.
\end{displaymath}
\end{defn}
\begin{defn}
\label{TransgressionOfDifferentialFormsToMappingSpaces}\hypertarget{TransgressionOfDifferentialFormsToMappingSpaces}{}
\textbf{([[transgression of differential forms]] to [[mapping spaces]])}

Let

\begin{enumerate}%
\item $X$ be a [[smooth set]];


\item $\Sigma_k$ be a [[compact topological space|compact]] [[smooth manifold]] of [[dimension]] $k$, regarded as a [[smooth set]] via Example \ref{CartesianSpaceAsSmoothSpace}.


\item $n \geq k \in \mathbb{N}$ a [[natural number]];



\end{enumerate}
Consider the [[smooth set|smooth]] [[mapping space]] $[\Sigma_k, \mathbf{\Omega}^n]$ (Def. \ref{SmoothFunctionSpace}) out of $\Sigma_k$ into the universal [[smooth set|smooth]] [[moduli space]] $\mathbf{\Omega}^n$ of [[differential n-forms]] (Prop. \ref{SmoothModuliSpaceOfnForms}).

Then the operation of \emph{[[transgression of differential n-forms]]} on $X$ with respect to $\Sigma_k$ is the [[function]]

\begin{displaymath}
\tau_\Sigma
   \;\coloneqq\;
  \int_\Sigma [\Sigma,-]
   \;\colon\;
  \Omega^n(X) \to \Omega^{n-k}([\Sigma,X])
\end{displaymath}
from [[differential n-forms]] on $X$ to differential $n-k$-forms on the [[smooth set|smooth]] [[mapping space]] $[\Sigma_k,X]$ spring which takes the differential form corresponding to the smooth function

\begin{displaymath}
(X \stackrel{\omega}{\to} \Omega^n) \in \Omega^n(X)
\end{displaymath}
to the differential form corresponding to the following composite smooth function:

\begin{displaymath}
\tau_\Sigma \omega
   \coloneqq
  \int_{\Sigma} [\Sigma,\omega]
   \;\colon\;
  [\Sigma, X] 
    \stackrel{[\Sigma, \omega]}{\longrightarrow}  
  [\Sigma, \Omega^n]
    \stackrel{\int_{\Sigma}}{\longrightarrow}
  \Omega^{n-k}
  \,,
\end{displaymath}
where $[\Sigma,\omega]$ is the [[mapping space]] [[functor]] on [[morphisms]] and $\int_{\Sigma}$ is the parameterized integration of differential forms from def. \ref{ParameterizedIntegrationOfDifferentialForms}.

More explicitly in terms of plots this means equivalently the following

A plot of the [[mapping space]]

\begin{displaymath}
\phi_{(-)} \;\colon\; U \to [\Sigma, X]
\end{displaymath}
is equivalently a [[smooth function]] of the form

\begin{displaymath}
\phi_{(-)}(-) \;\colon\; U \times \Sigma \to X
  \,.
\end{displaymath}
The smooth function $[\Sigma,\omega]$ takes this smooth function to the plot

\begin{displaymath}
U \times \Sigma \to X
   \overset{\phi_{(-)}(-)}{\longrightarrow}
  X 
   \overset{\omega}{\longrightarrow}
  \mathbf{\Omega}^{n}
\end{displaymath}
which is equivalently a differential form

\begin{displaymath}
(\phi_{(-)}(-))^\ast \omega \in \Omega^n(U \times \Sigma)
  \,.
\end{displaymath}
Finally the smooth function $\int_\Sigma$ takes this to the result of [[integration of differential forms]] over $\Sigma$:

\begin{displaymath}
\tau_{\Sigma}\omega\vert_{\phi_{(-)}}
  \;=\;
  \int_\Sigma (\phi_{(-)}(-))^\ast \omega
  \;\in\;
  \Omega^{n-k}(U)
  \,.
\end{displaymath}
\end{defn}
\begin{defn}
\label{TransgressionOfDifferentialFormsToMappingSpacesViaEvaluationMap}\hypertarget{TransgressionOfDifferentialFormsToMappingSpacesViaEvaluationMap}{}
\textbf{([[transgression of differential forms]] to [[mapping space]] via [[evaluation map]])}

Let

\begin{enumerate}%
\item $X$ be a [[smooth set]];


\item $n \geq k \in \mathbb{N}$;


\item $\Sigma_k$ be a [[compact topological space|compact]] [[smooth manifold]] of [[dimension]] $k$.



\end{enumerate}
Then the operation of \emph{transgression of differential $n$-forms} on $X$ with respect to $\Sigma$ is the [[function]]

\begin{displaymath}
\tau_\Sigma
   \coloneqq
  \int_\Sigma ev^\ast
   \;\colon\;
  \Omega^n(X)
    \overset{ev^\ast}{\longrightarrow} 
  \Omega^n(\Sigma \times [\Sigma, X])
    \overset{\int_\Sigma}{\longrightarrow}
  \Omega^{n-k}([\Sigma,X])
\end{displaymath}
from differential $n$-forms on $X$ to differential $n-k$-forms on the [[mapping space]] $[\Sigma,X]$ (Def. \ref{SmoothFunctionSpace}) which is the [[composition|composite]] of forming the [[pullback of differential forms]] along the [[evaluation map]] $ev \colon  [\Sigma, X] \times \Sigma \to X$ with [[integration of differential forms]] over $\Sigma$.

This construction manifestly extends to the [[smooth set]] of [[differential forms]]

\end{defn}
\begin{prop}
\label{EquivalenceOfTransgressionOfDifferentialFormsToMappingSpaces}\hypertarget{EquivalenceOfTransgressionOfDifferentialFormsToMappingSpaces}{}
The two definitions of [[transgression of differential forms]] to mapping spaces from def. \ref{TransgressionOfDifferentialFormsToMappingSpaces} and def. \ref{TransgressionOfDifferentialFormsToMappingSpacesViaEvaluationMap} are equivalent.

\end{prop}
\begin{proof}
We need to check that for all plots $\gamma \colon U \to [\Sigma, X]$ the pullbacks of the two forms to $U$ coincide.

For def. \ref{TransgressionOfDifferentialFormsToMappingSpacesViaEvaluationMap} we get

\begin{displaymath}
\gamma^\ast \int_\Sigma \mathrm{ev}^\ast A
  =
  \int_\Sigma (\gamma,\mathrm{id}_\Sigma)^\ast \mathrm{ev}^\ast A
  \;
  \in \Omega^n(U)
\end{displaymath}
Here we recognize in the integrand the pullback along the $( (-)\times \Sigma \dashv [\Sigma,-])$-[[adjunct]] $\tilde \gamma : U \times \Sigma \to \Sigma$ of $\gamma$, which is given by applying the [[left adjoint]] $(-)\times \Sigma$ and then postcomposing with the adjunction counit $\mathrm{ev}$:

\begin{displaymath}
\itexarray{
    U \times \Sigma
    &
     \overset{(\gamma, \mathrm{id}_\Sigma)}{\longrightarrow}
    &
    [\Sigma,X] \times \Sigma
    &
      \overset{\mathrm{ev}}{\longrightarrow}
    &
    X
  }
  \,.
\end{displaymath}
Hence the integral is now

\begin{displaymath}
\cdots = \int_{\Sigma} \tilde \gamma^\ast A
  \,.
\end{displaymath}
This is the operation of the top horizontal composite in the following [[natural transformation|naturality square]] for [[adjuncts]], and so the claim follows by its [[commuting diagram|commutativity]]:

\begin{displaymath}
\itexarray{
    \tilde \gamma \in 
    & 
    Hom(U \times\Sigma, X)
    &
      \overset{Hom(U \times \Sigma,A)}{\longrightarrow}
    &    
    Hom(U \times \Sigma, \mathbf{\Omega}^{n+k})
    &
      \overset{\int_\Sigma(U)}{\longrightarrow}
    &
    \Omega^n(U)
    \\
    &
    {}^{\mathllap{\simeq}}\big\downarrow
      &&
    {}^{\mathllap{\simeq}}\big\downarrow
      &&
    {}^{\mathllap{\simeq}}\big\downarrow
    \\
    \gamma \in 
    & 
    Hom(U,[\Sigma,X])
    &
      \overset{Hom(U,[\Sigma,A])}{\longrightarrow}
    &
    Hom(U,[\Sigma,\mathbf{\Omega}^{n+k}])
    &
      \overset{Hom(U,\int_\Sigma)}{\longrightarrow}
    & 
    Hom(U,\mathbf{\Omega}^n)
  }
\end{displaymath}
(here we write $Hom(-,-) \coloneqq Hom_{SmoothSet}(-,-)$ for the [[hom functor]] of [[smooth sets]]).

\end{proof}
\begin{prop}
\label{}\hypertarget{}{}
\textbf{(relative transgression over [[manifolds with boundary]])}

\begin{enumerate}%
\item $X$ be a [[smooth set]];


\item $\Sigma_k$ be a [[compact topological space|compact]] [[smooth manifold]] of [[dimension]] $k$ with [[manifold with boundary|boundary]] $\partial \Sigma$


\item $n \geq k \in \mathbb{N}$;


\item $\omega \in \Omega^n_{X}$ a [[closed differential form]].



\end{enumerate}
Write

\begin{displaymath}
(-)\vert_{\partial \Sigma}
    \;\coloneqq\;
  [\partial \Sigma \hookrightarrow \Sigma, X]
  \;\colon\;
  [\Sigma, X]
   \longrightarrow
  [\partial \Sigma, X]
\end{displaymath}
for the smooth function that restricts smooth functions on $\Sigma$ to smooth functions on the [[boundary]] $\partial \Sigma$.

Then the operations of transgression of differential forms (def. \ref{TransgressionOfDifferentialFormsToMappingSpaces}) to $\Sigma$ and to $\partial \Sigma$, respectively, are related by

\begin{displaymath}
d \left(
    \tau_{\Sigma}(\omega)
  \right)
  = 
  (-1)^{k+1}
  ((-)\vert_{\partial \Sigma})^\ast \tau_{\partial \Sigma}(\omega)
    \phantom{AAAAAAAA}
  \itexarray{
    [\Sigma, X] 
      &\overset{ \tau_{\Sigma}(\omega) }{\longrightarrow}&
    \mathbf{\Omega}^{n-k}
    \\
    {}^{\mathllap{(-)\vert_{\partial \Sigma} }}\downarrow
      &&
    \downarrow^{\mathrlap{ (-1)^{k+1} d}}
    \\
    [\partial \Sigma, X]
      &\underset{ \tau_{\partial\Sigma}(\omega) }{\longrightarrow}&
    \mathbf{\Omega}^{n-k+1}
  }
  \,.
\end{displaymath}
In particular this means that if the compact manifold $\Sigma$ happens to have no boundary (is a [[closed manifold]]) then transgression over $\Sigma$ takes closed differential forms to closed differential forms.

\end{prop}
\begin{proof}
Let $\phi_{(-)}(-) \colon U \times \Sigma \to X$ be a plot of the mapping space $[\Sigma, X]$. Notice that the [[de Rham differential]] on the [[Cartesian product]] $U \times \Sigma$ decomposes as

\begin{displaymath}
d = d_U + d_\Sigma
  \,.
\end{displaymath}
Now we compute as follows:

\begin{displaymath}
\begin{aligned}
    d \tau_{\Sigma}\omega\vert_{\phi_(-)}
    & =
    d_U \int_\Sigma (\phi_{(-)}(-))^\ast \omega
    \\
    & =
    (-1)^k \int_\Sigma d_U (\phi_{(-)}(-))^\ast \omega
    \\
    & =
    (-1)^k \int_\Sigma (d - d \Sigma) (\phi_{(-)}(-))^\ast \omega
    \\
    & =
    (-1)^k \int_\Sigma d (\phi_{(-)}(-))^\ast \omega
    -
    (-1)^k \int_\Sigma d_\Sigma (\phi_{(-)}(-))^\ast \omega
    \\
    & =
    (-1)^k \int_\Sigma (\phi_{(-)}(-))^\ast \underset{= 0}{\underbrace{d \omega}}
    -
    (-1)^k \int_\Sigma d_\Sigma (\phi_{(-)}(-))^\ast \omega
    \\
    & =
    -
    (-1)^k \int_\Sigma d_\Sigma (\phi_{(-)}(-))^\ast \omega
    \\
    & =
    -(-1)^k \int_{\partial \Sigma} (\phi_{(-)}(-))^\ast \omega   
    \\
    & = 
    -(-1)^k \tau_{\partial \Sigma} \omega \vert_{\phi_{(-)}}
  \end{aligned}
\end{displaymath}
where in the second but last step we used [[Stokes' theorem]].

\end{proof}
(\ldots{})

(\ldots{})

[[!redirects geometry of physics -- smooth spaces]]



\end{document}