\documentclass[12pt,titlepage]{article}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

\begin{document}

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


\section*{infinitesimal object}

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

\hypertarget{formal_geometry}{}\paragraph*{{Formal geometry}}\label{formal_geometry}

[[!include formal geometry -- contents]]

\hypertarget{synthetic_differential_geometry}{}\paragraph*{{Synthetic differential geometry}}\label{synthetic_differential_geometry}

[[!include synthetic differential geometry - contents]]

\hypertarget{compact_objects}{}\paragraph*{{Compact objects}}\label{compact_objects}

[[!include compact object - contents]]

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

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{formalization_in_synthetic_differential_geometry}{Formalization in synthetic differential geometry}\dotfill \pageref*{formalization_in_synthetic_differential_geometry} \linebreak
\noindent\hyperlink{realizations_in_algebraic_geometry}{Realizations in algebraic geometry}\dotfill \pageref*{realizations_in_algebraic_geometry} \linebreak
\noindent\hyperlink{comparison_to_infinitesimals_in_nonstandard_analysis}{Comparison to infinitesimals in nonstandard analysis}\dotfill \pageref*{comparison_to_infinitesimals_in_nonstandard_analysis} \linebreak
\noindent\hyperlink{definition}{Definition}\dotfill \pageref*{definition} \linebreak
\noindent\hyperlink{atomic_object}{Atomic object}\dotfill \pageref*{atomic_object} \linebreak
\noindent\hyperlink{formal_infinitesimal_space}{Formal infinitesimal space}\dotfill \pageref*{formal_infinitesimal_space} \linebreak
\noindent\hyperlink{examples}{Examples}\dotfill \pageref*{examples} \linebreak
\noindent\hyperlink{infinitesimal_intervals}{Infinitesimal intervals}\dotfill \pageref*{infinitesimal_intervals} \linebreak
\noindent\hyperlink{the_standard_infinitesimal_interval}{The standard infinitesimal interval}\dotfill \pageref*{the_standard_infinitesimal_interval} \linebreak
\noindent\hyperlink{models}{Models}\dotfill \pageref*{models} \linebreak
\noindent\hyperlink{axiomatics}{Axiomatics}\dotfill \pageref*{axiomatics} \linebreak
\noindent\hyperlink{the_cartesian_product_of_infinitesimal_intervals}{The cartesian product of infinitesimal intervals}\dotfill \pageref*{the_cartesian_product_of_infinitesimal_intervals} \linebreak
\noindent\hyperlink{the_dimensional_infinitesimal_disk}{The $k$-dimensional infinitesimal disk}\dotfill \pageref*{the_dimensional_infinitesimal_disk} \linebreak
\noindent\hyperlink{the_infinitesimal_neighbourhood}{The infinitesimal neighbourhood}\dotfill \pageref*{the_infinitesimal_neighbourhood} \linebreak
\noindent\hyperlink{SpacOfInfSimpl}{Spaces of infinitesimal $k$-simplices}\dotfill \pageref*{SpacOfInfSimpl} \linebreak
\noindent\hyperlink{idea_2}{Idea}\dotfill \pageref*{idea_2} \linebreak
\noindent\hyperlink{definition_2}{Definition}\dotfill \pageref*{definition_2} \linebreak
\noindent\hyperlink{properties}{Properties}\dotfill \pageref*{properties} \linebreak
\noindent\hyperlink{the_tangent_lie_algebroid_and_differential_forms}{The tangent Lie algebroid and differential forms}\dotfill \pageref*{the_tangent_lie_algebroid_and_differential_forms} \linebreak
\noindent\hyperlink{related_concepts}{Related concepts}\dotfill \pageref*{related_concepts} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak
\noindent\hyperlink{atomic_spaces}{Atomic spaces}\dotfill \pageref*{atomic_spaces} \linebreak
\noindent\hyperlink{formally_infinitesimal_spaces}{Formally infinitesimal spaces}\dotfill \pageref*{formally_infinitesimal_spaces} \linebreak


\hypertarget{idea}{}\subsection*{{Idea}}\label{idea}

An \emph{infinitesimal quantity} is supposed to be a quantity that is infinitely small in size, yet not necessarily perfectly small (zero). An \emph{infinitesimal space} is supposed to be a space whose extension is infinitely small, yet not necessarily perfectly small (pointlike).

Infinitesimal objects have been conceived and used in one way or other for a long time, notably in [[algebraic geometry]], where [[Grothendieck]] emphasized the now familiar role of [[duality|formal dual]]s ([[affine scheme]]s) of commutative rings $R$ with nilpotent ideals $J\subset R$ as \emph{infinitesimal thickenings} of the formal dual of the quotient ring $R/J$.

See also [[infinitesimally thickened point]].

\hypertarget{formalization_in_synthetic_differential_geometry}{}\subsubsection*{{Formalization in synthetic differential geometry}}\label{formalization_in_synthetic_differential_geometry}

A proposal for formalizing the [[category theory|abstract nonsense]] behind the notion of the \emph{infinitesimal} such that these algebraic constructions become \emph{models} for more general axioms was given by [[William Lawvere]] in his 1967 lecture (see the references below).

Lawvere observed that a simple yet powerful characterization of the notion of \emph{infinitesimal space} $D$ is that $D$ is an [[object]] in a [[topos]] $\mathcal{T}$ of [[space]]s such that the [[inner hom]] [[functor]] $(-)^D : \mathcal{T} \to \mathcal{T}$ has a [[right adjoint]].

If the [[topos]] in question furthermore is equipped with a [[lined topos|line object]] $R$ that plays the role of the \emph{real line} $\mathbb{R}$ then a sensible notion of \emph{infinitesimal quantities} in $R$ is obtained when all [[morphism]]s $D \to R$ from infinitesimal spaces $D$ are necessarily \emph{linear} maps. This is now known as the [[Kock-Lawvere axiom]] on [[lined topos]]es $(\mathcal{T}, R)$. When it is satisfied, $(\mathcal{T}, R)$ is called a [[smooth topos]]. The study of these is known as [[synthetic differential geometry]].

The notion of infinitesimal object and infinitesimal space then makes sense in any [[smooth topos]], and may be reasoned about generally for all smooth toposes. In any concrete [[Models for Smooth Infinitesimal Analysis|model]] for the axioms there will accordingly be concrete realizations of these infinitesimal objects.

\hypertarget{realizations_in_algebraic_geometry}{}\subsubsection*{{Realizations in algebraic geometry}}\label{realizations_in_algebraic_geometry}

Notably, for instance the [[Grothendieck topos]] of [[presheaf|presheaves]] on the [[opposite category]] $k CAlg^{op}$ of that of commutative $k$-[[algebra]]s (over some [[field]] $k$) is a simple realization of a [[smooth topos]] (see for instance \href{http://home.imf.au.dk/kock/SGM-final.pdf}{Kock-SGM, section 93}). This topos and its variants and in particular their [[category of sheaves|sheaf]]-[[localization]]s provide the context in which [[algebraic geometry]] takes place.

Therefore the notion of infinitesimals in [[algebraic geometry]] may be understood as being models of the general notion of infinitesimals in [[synthetic differential geometry]] in context such as $\mathcal{T} = Sh(k CAlg^{op})$ or similar.

The vast majority of existing work on infinitesimals and infinitesimal neighbourhoods comes from [[algebraic geometry]]. It is the foundation of Grothendieck's approach to [[regular differential operators]], to costratifications, [[crystalline cohomology]] and [[Grothendieck connection|de Rham descent]].

Similar infinitesimal thickenings also appear in the [[noncommutative geometry]] of Kapranov, and in the language of [[abelian category|abelian categories]] of [[quasicoherent sheaf|quasicoherent sheaves]] in the work of Lunts and Rosenberg on regular [[differential operator]]s in the content of [[noncommutative geometry]], which strongly takes into account [[tensor product]]s.

\hypertarget{comparison_to_infinitesimals_in_nonstandard_analysis}{}\subsubsection*{{Comparison to infinitesimals in nonstandard analysis}}\label{comparison_to_infinitesimals_in_nonstandard_analysis}

Another notion of infinitesimals has arisen in the context of [[nonstandard analysis]]. The infinitesimal quantities considered there differ from the general ones in [[synthetic differential geometry]] in that they are all \emph{invertible} (their inverses being ``infinitely large''). Nevertheless, one can construct models of [[synthetic differential geometry]] which, in addition to nilpotent infinitesimals, contain invertible infinitesimals; see for instance [[Models for Smooth Infinitesimal Analysis|MSIA, chapters VI and VII]]. Such invertible infinitesimals can be applied in some of the same ways as the infinitesimals of nonstandard analysis.

However, as pointed out in MSIA (intro. to Chapter VII), ``there are some obvious differences.'' The primary tool used in nonstandard analysis is a completely general [[transfer principle]], saying that any statement in the ordinary world is also true in the nonstandard world. In particular, this implies that the infinitesimal and infinitely large quantities in nonstandard analysis obey all the same rules of arithmetic and analysis as do the standard ones. By contrast, a limited sort of transfer principle relating a pair of specific models for SDG is proven in MSIA, but it applies only to statements of a certain logical form. Moreover, the arithmetic of invertible infinitesimals in SDG has some unfamiliar aspects: for instance, mathematical induction is only valid for statements of a certain logical form, and the axiom of finite choice fails.

The construction of models for nonstandard analysis does, however, have a topos-theoretic description, using [[filterpower]]s.

\hypertarget{definition}{}\subsection*{{Definition}}\label{definition}

\hypertarget{atomic_object}{}\subsubsection*{{Atomic object}}\label{atomic_object}

\begin{defn}
\label{}\hypertarget{}{}
In a [[cartesian closed category]] $C$ an [[object]] $D$ is called \textbf{infinitesimal} \textbf{atomic} if the [[hom-functor]] $(-)^D : C \to C$ for maps out of $D$ (i.e. the functor of [[exponential object|exponentiation]] by $D$) is a [[left adjoint]], i.e. if it has a [[right adjoint]].

\end{defn}
In particular, since every [[left adjoint]] functor preserves colimits, such an object is in particular a [[tiny object]] and in particular a [[compact object]].

\begin{remark}
\label{}\hypertarget{}{}
\textbf{(intuitive interpretation)}

Here is how to think of what this definition means intuitively. For that, notice how maps out of an ordinary space fail to preserve [[colimit]]s:

for definiteness, consider the case of a [[cover]] of a [[space]] $X$ by spaces $\{U_i \to X\}_i$ so that $X$ is the [[coequalizer]]

\begin{displaymath}
(\coprod_{i,j} U_i \times_X U_j)
  \stackrel{\to}{\to}
  (\coprod_i U_i)
  \to X
\end{displaymath}
as discussed in detail at [[sieve]] and [[sheaf]]. This says effectively that every point of $X$ is element of at least one of the covering spaces $U_i$ and that one obtains $X$ by identifying the points in the covering spaces that correspond to the same one in $X$.

Now let $\Sigma$ be any other space. We may assume here that the [[internal hom]] $[\Sigma,-] : T \to T$ at least preserves [[coproduct]]s, so that applying this functor to the above diagram yields

\begin{displaymath}
(\coprod_{i,j} [\Sigma,U_i \times_X U_j])
  \stackrel{\to}{\to}
  (\coprod_i [\Sigma,U_i])
  \to [\Sigma,X]
  \,.
\end{displaymath}
Now notice how this will in general fail to still be a [[coequalizer]]: if it were, for one the morphism $(\coprod_i [\Sigma,U_i])
  \to [\Sigma,X]$ would have to be an [[epimorphism]]. But this can't be in general, because it would mean that every map $\Sigma \to X$ factors through one of the covering spaces. The problem here is that in general the image of $\Sigma \to X$ may be \emph{larger} than any of the $U_i$.

This is maybe most familiar in the context of [[loop space]]s (for $\Sigma$ the circle): the loop space of a cover of $X$ is not in general a cover of the loop space.

But suppose that $\Sigma$ were infinitesimal. One thing that should mean is that there is no other space that is ``effectively smaller'' in some useful sense. For $\Sigma$ infinitesimal, we do expect that every map $\Sigma \to X$ can always be factored through at least one of the $U_i$: because $\Sigma$ is so small, the image of a map out of it can never be too large.

So only if $\Sigma$ qualifies as having infinitesimal extension can the functor $[\Sigma,-]$ be expected to preserve colimits.

\end{remark}
\hypertarget{formal_infinitesimal_space}{}\subsubsection*{{Formal infinitesimal space}}\label{formal_infinitesimal_space}

\begin{defn}
\label{}\hypertarget{}{}
An object $\Delta$ in a [[smooth topos]] $(\mathcal{T}, R)$ is called a \textbf{formally infinitesimal object} if it is the algebra-spectrum of (what in the [[synthetic differential geometry|sdg]]-literature is usually called) a \emph{-$R$-[[infinitesimally thickened point|Weil algebra]]} in $\mathcal{T}$

\begin{displaymath}
\Delta \simeq Spec_R(W)
  \,.
\end{displaymath}
\end{defn}
Here

\begin{itemize}%
\item $W = R \oplus J$ is an [[internalization|internal]] $R$-algebra object in $\mathcal{T}$ with $J$ an $R$-finite dimensional nilpotent ideal


\item $Spec_R(W) := R Alg_{\mathcal{T}}(W,R) \subset R^W$ is the [[subobject]] of the [[internal hom]] of morphisms that respect the $R$-algebra structure on $W$ and $R$.



\end{itemize}
All the spaces that are described as collection of degree $n$ infinitesimal neighbours are of this form. Infinitesimal spaces not of this form are germ-spaces (see the examples below). These violate the finite-dimensionality assumption on $J$.

\hypertarget{examples}{}\subsection*{{Examples}}\label{examples}

\hypertarget{infinitesimal_intervals}{}\subsubsection*{{Infinitesimal intervals}}\label{infinitesimal_intervals}

There are several different objects that one may think of as an infinitesimal interval.

The smallest of them is often denoted $D$ and sometimes called the \textbf{disembodied tangent vector} or the \textbf{[[walking]] tangent vector} .

This is described in more detail at

\begin{itemize}%
\item [[infinitesimal interval object]].

\end{itemize}
It is such that a morphism $D \to X$ into a [[manifold]] $X$ is the same as a choice of point $x \in X$ and of a [[tangent vector]] $v \in T_x X$. Equivalently, it is such that restricting a smooth function $f : \mathbb{R} \to \mathbb{R}$ along the inclusion $D \hookrightarrow \mathbb{R}$ produces the first-order [[jet]] defined by $f$ at the point $0 \hookrightarrow D \to \mathbb{R}$.

Accordingly, for each $k \in \mathbb{N}$ there is a ``slightly bigger'' infinitesimal interval often denoted $D_k$, which is such that restricting a smooth function $f : \mathbb{R} \to \mathbb{R}$ along $D_k \to \mathbb{R}$ produces the order-$k$ [[jet]] represented by this function at the given point.

Still infinitesimal but bigger than all these is the object $\Lambda_0 := \cap_{0 \in U \subset \mathbb{R}} U$ of intersections of all neighbourhods of the origin of $\mathbb{R}$. This is such that the restriction of a map $f : \mathbb{R} \to \mathbb{R}$ along $\Lambda_0 \hookrightarrow \mathbb{R}$ produces the [[germ]] of $f$ at $0$.

\hypertarget{the_standard_infinitesimal_interval}{}\subsubsection*{{The standard infinitesimal interval}}\label{the_standard_infinitesimal_interval}

\hypertarget{models}{}\paragraph*{{Models}}\label{models}

The classical example of a realization of an infinitesimal object is in terms of what is (traditionally but undescriptively) called the \emph{ring of [[dual number]]s}. For that we place ourselves in some context in which [[space]]s are characterized [[duality|dually]] in terms of the [[space and quantity|quantities]] on them, i.e. in terms of their would-be function algebras.

For some real number $t \in \mathbb{R}$, functions on the closed [[interval]] $[-t,t] \subset \mathbb{R}$ of length $2 t$ may be thought of as represented by functions on the whole real line $\mathbb{R}$, where two representatives represent the same function on the interval if they differ by a function that vanishes on the interval.

Precisely:

\begin{lemma}
\label{}\hypertarget{}{}
The ([[generalized smooth algebra|generalized smooth]]) algebra of smooth functions $C^\infty([-t,t])$ on $[-t,t]$ is isomorphic to the quotient of the algebra of smooth functions $C^\infty(\mathbb{R})$ on all of $\mathbb{R}$ by the functions that vanish on $[-t,t]$

\begin{displaymath}
C^\infty([-t,t]) \simeq C^\infty(\mathbb{R})/\{f \in C^\infty(\mathbb{R})| \forall x \in [-t,t]: f(x) = 0\}
    \,.
\end{displaymath}
\end{lemma}
\begin{proof}
This is a corollary of the smooth version of the [[Tietze extension theorem]], which says that for $U \subset \mathbb{R}^n$ a closed subset, every smooth function on $U$ extends to a smooth function on all of $\mathbb{R}^n$.

See page 20 of [[Models for Smooth Infinitesimal Analysis|MSIA]].

\end{proof}
As we think of the length of the interval shrinking to an infinitesimal value, the notion of derivative of functions is such that we want to say that the statement ``a function vanishes on the infinitesimal interval'' is equivalent to ``a function vanishes at the origin and its first derivative there vanishes, too''. This in turn is usually equivalent (in a smooth context) to ``a function is a square of a function that vanishes at the origin''.

Accordingly, in a context where one considers [[polynomial]] functions over the [[ground field]] $k$, the infinitesimal interval is given by the [[space]] -- usually called $D$ -- that is [[duality|dual]] to the [[ring]] $k[\epsilon] := k[Z]/Z^2$ which is the quotient of the polynomial ring in one variable $Z$ modulo the polynomial $Z^2$. This is often called the \textbf{ring of dual numbers} (where the term `dual' historically refers to its being $2$-dimensional). In terms of generators and relations this is the ring generated by a single element $\epsilon$ subject to the relation that $\epsilon^2 = 0$.

Similarly, in the smooth context of, for instance, Moerdijk--Reyes \emph{[[Models for Smooth Infinitesimal Analysis]]}, $D$ is the [[space]] [[duality|dual]] to the [[generalized smooth algebra]] $C^\infty(\mathbb{R})/J^2$ obtained as the smooth functions on the real line modulo squares of functions that vanish at the origin.

\begin{defn}
\label{}\hypertarget{}{}
In the context of [[generalized smooth algebra]], the $1$-dimensional infinitesimal space is the space $D$ whose function algebra is the quotient

\begin{displaymath}
C^\infty(D) := C^\infty(\mathbb{R})/\{x^2\}
\end{displaymath}
of all functions on the real line, modulo those that are a product with the function $x \mapsto x^2$.

\end{defn}
This does reproduce the above ring of dual numbers due to the [[Hadamard lemma]], which says that for $g \in C^\infty(\mathbb{R})$ a smooth function, there exists a smooth function $h \in C^\infty(\mathbb{R})$ such that for all $x \in \mathbb{R}$ we have $g(x) = g(0) + x g'(x) + x^2 h(x)$. So modulo $x^2$, every smooth function is in fact a polynomial function.

See pages 19-20 of \emph{[[Models for Smooth Infinitesimal Analysis|MSIA]]}.

In this dual generators-and-relations description, the infinitesimal interval is very familiar in many mathematically less sophisticated contexts. It prevails for instance in the basic physics textbook treatment since [[Isaac Newton]] up to this day. [[Sophus Lie]] is famously quoted as having said that he found many of his famous insights by such ``synthetic reasoning'' and only a lack of proper formalization prevented him from writing them up in this way instead of in the more wide-spread way of differential calculus.

\hypertarget{axiomatics}{}\paragraph*{{Axiomatics}}\label{axiomatics}

More generally, one may abstract the above properties of concrete realizations of the infinitesimal interval such as to get such a notion in an arbitrary suitable context. A suitable context for [[synthetic differential geometry]] is any [[topos]] $C$ equipped with an [[internalization|internal]] [[commutative ring]] $R$.

Using the [[topos]]-[[internal logic]] we may speak of both $R$ and $D$ as if they were [[set]]s, where ``element'' means [[generalized element]]. This way we have:

\begin{example}
\label{FirstOrderInfinitesimalInterval}\hypertarget{FirstOrderInfinitesimalInterval}{}
Let $(\mathcal{T}, R)$ be a [[smooth topos]]. Then the first order \textbf{[[infinitesimal interval object]]} $D$ is the [[subobject]] of $R$ of all those elements whose square is 0.

\begin{displaymath}
D = \{x \in R | x^2 = 0\}
\end{displaymath}
\end{example}
It may be helpful to recall that in terms of [[limit]]s this notation means that $D$ is the [[equalizer]] of

\begin{displaymath}
R \stackrel{(-)^2}{\to} R
\end{displaymath}
and

\begin{displaymath}
R \stackrel{}{\to} 0 \stackrel{}{\to} R
  \,.
\end{displaymath}
For with $x : U \to D$ any morphism embodying a generalized element $x \in D$, the universal property of the [[limit]] identifies this uniquely with a morphism $U \to R$, hence with a generalized element of $R$, such that $U \to R \stackrel{(-)^2}{\to} R$ is the $0$ element of $R$ with domain of definition $U$ : $\cdots = U \to 0 \to R$.

\hypertarget{the_cartesian_product_of_infinitesimal_intervals}{}\subsubsection*{{The cartesian product of infinitesimal intervals}}\label{the_cartesian_product_of_infinitesimal_intervals}

This works analogously to how the $k$-[[cube]] is the $k$-fold [[cartesian product]] $D^k$ of the [[unit interval]] $[-1,1]$ with itself.

\begin{example}
\label{}\hypertarget{}{}
The $k$-fold [[cartesian product]] $D^k$ of the first-order infinitesimal interval $D$, example \ref{FirstOrderInfinitesimalInterval}, with itself might be called the ``infinitesimal $k$-cube''.

By the discussion at [[smooth algebra]], we have

\begin{displaymath}
C^\infty(D^k) \simeq C^\infty(D)^{\otimes^k} \simeq (\mathbb{R}[\epsilon]/(\epsilon^2))^{\otimes^k}
  \,.
\end{displaymath}
\end{example}
\hypertarget{the_dimensional_infinitesimal_disk}{}\subsubsection*{{The $k$-dimensional infinitesimal disk}}\label{the_dimensional_infinitesimal_disk}

\begin{example}
\label{}\hypertarget{}{}
For $n\in \mathbb{N}$ the $k$-dimensional infinitesimal disk is

\begin{displaymath}
D(k) 
   \coloneqq 
  \{ (x_1,\cdots, x_k) \in R^k | \forall j,k \colon x_j \cdot x_k = 0 \}
\end{displaymath}
\end{example}
\begin{remark}
\label{}\hypertarget{}{}
Since in particular $x_j^2 = 0$ for all elements of the infinitesimal $n$-disk, we have an inclusion

\begin{displaymath}
D(n) \subset D^n
\end{displaymath}
which is proper if $n \gt 1$. For $n = 1$ we have $D(1) = D$.

While $D(n)$ is closed under multiplication by elements of $R$, it is not in general closed under addition of its elements. For instance for $d_1,d_2 \in D(1) = D$ we have that $d_1 + d_2$ (the operation being in $R$) is still in $D$ precisely if $(d_1,d_2)$ is in $D(2)$.

\end{remark}
\hypertarget{the_infinitesimal_neighbourhood}{}\subsubsection*{{The infinitesimal neighbourhood}}\label{the_infinitesimal_neighbourhood}

For $x \in X$ a point in a manifold, the infinitesimal [[neighbourhood]] $U_p$ is the intersection of all open neighbourhoods of $x$. This is such that the restriction of a function $f : X \to \mathbb{R}$ along the inclusion $U_p \to X$ is precisely the ``infinitesimal [[germ]]'' of the function $f$.

All of the infinitesimal spaces above are contained in the corresponding infinitesimal neighbourhood. So this is the ``largest'' of the infinitesimal spaces discussed here.

\hypertarget{SpacOfInfSimpl}{}\subsubsection*{{Spaces of infinitesimal $k$-simplices}}\label{SpacOfInfSimpl}

\begin{quote}%
Much of this is being reworked at [[infinity-Lie algebroid]].


\end{quote}
\hypertarget{idea_2}{}\paragraph*{{Idea}}\label{idea_2}

An \textbf{infinitesimal $k$-[[simplex]]} in $R^n$ based at the origin is a collection $(\vec \epsilon_i \in R^n)_{i = 1}^k$ of points in $R^n$, such that each is an infinitesimal neighbour of the origin

\begin{displaymath}
\forall i : \;\; \vec \epsilon_i \sim 0
\end{displaymath}
and each are infinitesimal neighbours of each other

\begin{displaymath}
\forall i,j: \;\; (\vec \epsilon_i - \vec \epsilon_j) \sim 0
  \,.
\end{displaymath}
Following section 1.2 of

\begin{itemize}%
\item [[Anders Kock]], \emph{Synthetic differential geometry of manifolds} (\href{http://home.imf.au.dk/kock/SGM-final.pdf}{pdf})

\end{itemize}
we write $\tilde D(k,n)$ for the space of all infinitesimal $k$-simplices in $R^n$. More precisely, this is defined as the formal dual of the algebra $C^\infty(\tilde D(k,n))$ defined as follows.

Functions on spaces of infinitesimal $k$-simplices turn out to be degree $k$-differential forms. This provides a ``synthetic'' way of precisely thinking of wedge produts $d x \wedge dy$ etc as products of infinitesimals. As the following computations do show, the skew-commutativity of the wedge product is an inherent consequence of the nature of infinitesimals.

\hypertarget{definition_2}{}\paragraph*{{Definition}}\label{definition_2}

\begin{defn}
\label{}\hypertarget{}{}
The algebra $C^\infty(\tilde D(k,n))$ is the commutative $\mathbb{R}$-algebra generated from $k \times n$ generators $(\epsilon_i^j)_{1 \leq i \leq n, 1 \leq j \leq n}$ subject to the relations

\begin{displaymath}
\forall i, j,j' : \;\; \epsilon_i^{j} \epsilon_i^{j'} = 0
\end{displaymath}
and

\begin{displaymath}
\forall i,i',j,j'   : \;\;\; 
  (\epsilon_i^j - \epsilon_{i'}^j) (\epsilon_i^{j'} - \epsilon_{i'}^{j'}) = 0
  \,.
\end{displaymath}
\end{defn}
\begin{remark}
\label{}\hypertarget{}{}
By multiplying out the latter set of relations and using the former, these relations are seen to be equivalent to the set of relations

\begin{displaymath}
\forall i,i',j,j' : \;\;\;
  \epsilon_i^j \epsilon_{i'}^{j'} 
  + \epsilon_{i'}^j \epsilon_{i}^{j'} = 0
  \,.
\end{displaymath}
Notice that this implies also that

\begin{displaymath}
\forall i,i', j: \;\;\;  \epsilon_i^{j} \epsilon_{i'}^j = 0
  \,.
\end{displaymath}
\end{remark}
A general element $f$ of this algebra we think of as a function on a certain infinitesimal neightbourhood of the origin of $R^{k \cdot n}$, interpreted as the space of infinitesimal $k$-simplices in $R^n$ based at 0.

Since $C^\infty(\tilde D(k,n))$ is a [[infinitesimally thickened point|Weil algebra]] in the sense of [[synthetic differential geometry]], its structure as an $\mathbb{R}$-algebra extends uniquely to the structure of a [[smooth algebra]] (as discussed there) and we may think of $\tilde D(k,n)$ as an infinitesimal [[smooth locus]].

\begin{example}
\label{}\hypertarget{}{}
For $n = 2$ and $k = 2$ we have that $C^\infty(\tilde D(2,2))$ consists of elements of the form

\begin{displaymath}
\begin{aligned}
    f
    +
    a \cdot \epsilon_1 
     + b \cdot \epsilon _2 
     + (\omega \cdot \epsilon_1) (\lambda \cdot \epsilon_2) 
    &= 
    f + 
    a_1 \epsilon_1^1 
     + a_2 \epsilon_1^2 
     + b_1 \epsilon_2^1 
     + b_2 \epsilon_1^2
    \\
    & + (\omega_1 \lambda_2 - \omega_2 \lambda_1) 
      \frac{1}{2}(\epsilon_1^1 \epsilon_2^2 - \epsilon_1^2 \epsilon_2^1)
  \end{aligned}
\end{displaymath}
for $f \in \mathbb{R}$ and $(a, b, \omega, \lambda \in (\mathbb{R}^n)^*)_{1 \leq i \leq n}$ a collection of ordinary covectors and with ``$\cdot$'' denoting the evident contraction, and where in the last step we used the above relations.

It is noteworthy here that the coefficient of the term which is multilinear in each of the $\epsilon_i$ is the [[wedge product]] of two [[covector]]s $\omega$ and $\lambda$: we may naturally identify the subspace of $C^\infty(\tilde D(2,2))$ on those elements that vanish if either $\epsilon_1$ or $\epsilon_2$ are set to 0 as the space $\wedge^2 T_0^* \mathbb{R}^2$ of 2-forms at the origin of $\mathbb{R}^2$.

Of course for this identification to be more than a coincidence we need that this is the beginning of a pattern that holds more generally. But this is indeed the case.

\end{example}
\hypertarget{properties}{}\paragraph*{{Properties}}\label{properties}

Let $E$ be the set of \emph{square} submatrices of the $k \times n$-matrix $(\epsilon_i^j)$. As a set this is isomorphic to the set of pairs of subsets of the same size of $\{1, \cdots, k\}$ and $\{1, \cdots , n\}$, respectively. For instance the square submatrix labeled by $\{2,3,4\}$ and $\{1,4,5\}$ is

\begin{displaymath}
e 
  =
  \left(
    \itexarray{
       \epsilon_1^2 & \epsilon_4^2 & \epsilon_5^2
       \\
       \epsilon_1^3 & \epsilon_4^3 & \epsilon_5^3
       \\
       \epsilon_1^4 & \epsilon_4^4 & \epsilon_5^4
    }
  \right)
  \,.
\end{displaymath}
For $e \in E$ an $r\times r$ submatrix, we write

\begin{displaymath}
det(e) = 
    \sum_{\sigma} sgn(\sigma) 
    \epsilon_{1}^{\sigma(1)} \epsilon_2^{\sigma(2)}
    \cdots 
    \epsilon_r^{\sigma(r)}
  \in
  C^\infty(\tilde D(k,n))
  \,.
\end{displaymath}
for the corresponding [[determinant]], given as a product of generators in $C^\infty(\tilde D(k,n))$. Here the sum runs over all [[permutation]]s $\sigma$ of $\{1, \cdots, r\}$ and $sgn(\sigma) \in \{+1, -1\} \subset \mathbb{R}$ is the [[signature]] of the permutation $\sigma$.

\begin{prop}
\label{}\hypertarget{}{}
The elements $f \in C^\infty(\tilde D(k,n))$ are precisely of the form

\begin{displaymath}
f = \sum_{e \in E} f_e \; det(e)
\end{displaymath}
for \emph{unique} $\{f_e \in \mathbb{R} | e \in E\}$. In other words, the map of [[vector space]]s

\begin{displaymath}
\mathbb{R}^{|E|} \to C^\infty(\tilde D(k,n))
\end{displaymath}
given by

\begin{displaymath}
(f_e)_{e \in E} \mapsto \sum_{e \in E} f_e det(e)
\end{displaymath}
is an [[isomorphism]].

\end{prop}
\begin{proof}
This is a direct extension of the argument in the above example: a general product of $r$ generators in $C^\infty(\tilde D(k,n))$ is

\begin{displaymath}
\epsilon_{i_1}^{j_1} \epsilon_{i_2}^{j_2} 
   \cdots \epsilon_{i_r}^{j_r}
  \,.
\end{displaymath}
By the relations in $C^\infty(\tilde D(k,n))$, this is non-vanishing precisely if none of the $i$-indices repeats and none of the $j$-indices repeats. Furthermore by the relations, for any permutation $\sigma$ of $r$ elements, this is equal to

\begin{displaymath}
\cdots = sgn(\sigma) 
   \epsilon_{i_1}^{j_{\sigma(1)}} 
   \epsilon_{i_1}^{j_{\sigma(2)}}
   \cdots 
   \epsilon_{i_1}^{j_{\sigma(r)}}
  \,.
\end{displaymath}
It follows that each such element may be written as

\begin{displaymath}
\cdots = \frac{1}{r!} det(e)
  \,,
\end{displaymath}
where $e$ is the $r \times r$ subdetermined given by the subset $\{i_1, \cdots, i_r\}$ and $(\{j_1, \cdots, j_r\})$ as discussed above.

\end{proof}
\begin{remark}
\label{}\hypertarget{}{}
In section 1.3 of

\begin{itemize}%
\item [[Anders Kock]], \emph{Synthetic differential geometry of manifold} (\href{http://home.imf.au.dk/kock/SGM-final.pdf}{pdf})

\end{itemize}
effectively this proposition appears as the ``[[Kock-Lawvere axiom]] scheme for $\tilde D(k,n)$'' when $\tilde D(k,n)$ is regarded as an object of a suitable [[smooth topos]]. It is useful to record this simple but very crucial observation of Anders Kock here in the category $Alg_{\mathbb{R}}^{op}$ or in the category $C^\infty Alg^{op}$ of [[smooth loci]], as we do here, where it is just a simple observation. The point of the Kock-Lawvere axiom scheme is effectively to ensure that the properties of $C^\infty(\tilde D(k,n)) \in C^\infty Alg^{op}$ are preserved under [[Yoneda embedding]] into a corresponding [[sheaf topos]]. But it has been observed that it serves to clarify what is going on in parts of Ander Kock's book by separating the combinatorial and algebraic arguments from their internalization into suitable [[smooth topos]]es.

\end{remark}
Let $C^\infty(\tilde D(k,n))_{top}$ be the sub-[[vector space]] of the underlying vector space of $C^\infty(\tilde D(k,n))$ on those elements that vanish if the collection of generators $\epsilon_i = (\epsilon_i^1 , \epsilon_i^2, \cdots, \epsilon_i^n)$ is set to 0, for all $i$. This are those elements that are linear combinations of the form $\sum_{e_{top} \in E_{top}} det(e_{top}) f_{e_{top}}$, for $e_{top}$ ranging over the maximal square submatrices of $(\epsilon_i^j)$.

\begin{cor}
\label{}\hypertarget{}{}
The map

\begin{displaymath}
\wedge^k (\mathbb{R}^n)^* \to C^\infty(\tilde D(k,n))_{top}
\end{displaymath}
given by

\begin{displaymath}
\omega^1 \wedge \omega^2 \wedge
  \cdots \wedge \omega^k
  \mapsto
  (\omega^1 \cdot \epsilon_1) (\omega^2 \cdot \epsilon_2) \cdots
  (\omega^k \cdot \epsilon_k)
\end{displaymath}
is well defined and constitutes an [[isomorphism]] of vector spaces.

\end{cor}
So inside the space of functions on infinitesimal simplices, we find the [[differential form]]s. The next crucial observation now is that there is a \emph{natural reason} , from the [[nPOV]], to restrict to $C^\infty(\tilde D(k,n))_{top} \subset C^\infty(\tilde D(k,n))$.

\hypertarget{the_tangent_lie_algebroid_and_differential_forms}{}\paragraph*{{The tangent Lie algebroid and differential forms}}\label{the_tangent_lie_algebroid_and_differential_forms}

The collection of the spaces $R^n \times \tilde D(k,n)$ for all $k \in \mathbb{N}$ naturally forms a [[simplicial object|simplicial]] [[smooth locus]] $(\mathbb{R}^n)^{(\Delta^\bullet_{inf})}$, which represents the [[schreiber:infinitesimal path ∞-groupoid]] of $\mathbb{R}^n$, equivalently the [[tangent Lie algebroid]] of $\mathbb{R}^n$.

Dually this is a [[smooth algebra|smooth]] [[cosimplicial algebra]]. Under the \emph{normalized cochain complex functor} of the dual [[Dold-Kan correspondence]] this identifies with a [[dg-algebra]]. The fact that this is the \emph{normalized} cochain complex algebra means that it consists in degree $k$ only of a subspace of the space that the cosimplicial algebra has in degree $k$. This subspace is precisely that of differential $k$-forms.

This we now describe in detail. All the arguments involved are still (with slightly different parameterization, possibly) due to [[Anders Kock]], the only new thing here being the observation that the restriction to the joint kernel of the degeneracy maps exhibts the Dold-Kan map, and that this way using the simplicial picture everything acquires a nice [[nPOV]] interpretation as being about the [[schreiber:infinitesimal path ∞-groupoid]] of $\mathbb{R}^n$, regarded either as an infinitesimal [[Lie ∞-groupoid]] or as a [[∞-Lie algebroid]].

\begin{defn}
\label{}\hypertarget{}{}
Consider the [[simplicial object|simplicial]] [[smooth locus]]

\begin{displaymath}
(R^n)^{(\Delta^\bullet_{inf})}
  :=
  \left(
  \cdots
  R^n \times \tilde D(2,n)
  \stackrel{\to}{\stackrel{\to}{\to}} R^n \times \tilde D(1,n) \stackrel{\to}{\to} R^n
  \right)
  \,,
\end{displaymath}
where

\begin{itemize}%
\item the face maps $d_i : R^n \times \tilde D(k+1,n) \to R^n \times \tilde D(k,n)$ are

\begin{itemize}%
\item for $0 \lt i \lt k+1$ given by

\begin{displaymath}
d_i : (x, (v_1, v_2, \cdots, v_{k+1}))
  \mapsto
  (x, v_1, \cdots , v_{i} , v_{i+1} + v_{i+2}, v_{i+3}, \cdots, v_{k+1})
\end{displaymath}

\item for $i = k+1$ given by

\begin{displaymath}
d_{k+1} : (x, (v_1, v_2, \cdots, v_{k+1}))
  \mapsto
  (x, v_1, \cdots , v_{k})
\end{displaymath}

\item for $i = 0$ given by

\begin{displaymath}
d_0 : (x, (v_1, v_2, \cdots, v_k))
  \mapsto
  (x + v_1, v_2, \cdots , v_{k+1})
  \,.
\end{displaymath}


\end{itemize}

\item the degeneracy maps are

\begin{displaymath}
s_i : (x, (v_1, \cdots, v_k)) 
  \mapsto
  (x, (v_1, \cdots, v_{i}, 0, v_{i+1}, \cdots, v_k))
  \,.
\end{displaymath}


\end{itemize}
Dually (and this may be taken now as the precise definition of what the above simplicial object is), this is the [[smooth algebra|smooth]] [[cosimplicial algebra]]

\begin{displaymath}
C^\infty((R^n)^{(\Delta^\bullet_{inf})})
  :=
  \left(
  \cdots
  C^\infty(\mathbb{R}^n) \otimes C^\infty(\tilde D(2,n))
  \stackrel{\leftarrow}{\stackrel{\leftarrow}{\leftarrow}} 
  C^\infty(\mathbb{R}^n) \otimes C^\infty(\tilde D(1,n)) 
   \stackrel{\leftarrow}{\leftarrow} 
   C^\infty(\mathbb{R}^n)
  \right)
  \,,
\end{displaymath}
where

\begin{itemize}%
\item the co-degeneracy maps $s_i^*$ are given on generators by

\begin{itemize}%
\item for $r \lt i+1$ sending $\epsilon_r = (\epsilon_r^1, \cdots, \epsilon_r^{k+1})
 \in C^\infty(\tilde D(k+1,n))$ to itself regarded as an element of $C^\infty(\tilde D(k,n))$;


\item for $r = i +1$ sending $\epsilon_r$ to 0;


\item for $r \gt i+1$ sending $\epsilon_r$ to $\epsilon_{r-1}$.



\end{itemize}

\item the co-face maps $d_i^*$ are given on generators

\begin{itemize}%
\item for $0 \lt i \lt k +1$ by sending

$\epsilon_{1} \mapsto \epsilon_1$, $\cdots$, $\epsilon_{i+1} \mapsto
\epsilon_{i+1} + \epsilon_{i+2}$, $\epsilon_{i+2} \mapsto \epsilon_{i+3}$, $\cdots$;


\item for $i = k+1$ by sending each $\epsilon_{j}$ to the generator of the same name;


\item for $i = 0$ by sending

\begin{displaymath}
h \otimes (\sum_{e} det(e) f_e)
  \mapsto
  (h \otimes (\sum_{e} det(\tilde e) f_e)      
  +
  \sum_{i=1}^n 
  (\frac{\partial}{\partial x^i} h)
  \otimes
  \epsilon_1^i
  (\sum_{e} det(\tilde e) f_e)
  \,,
\end{displaymath}
where $\tilde e$ is obtained from $e$ by replacing each $\epsilon_{i}^j$ it contains with $\epsilon_{i+1}^j$.



\end{itemize}


\end{itemize}
\end{defn}
The way to think of how the face and degeracy maps here work is to imagine that a collection of elements $(v_1, \cdots, v_k) \in \tilde D(k,n)$ spans an infinitesimal $k$-parallelepiped, and that inside that the face and degeneracy maps slice out a $k$-simplex. The proof that this is indeed a (co)simplicial object is entirely analogous to the discussion of the simplicial object of finite simplices at [[interval object]].

For instance for $k = 3$ we have six 3-simplices sitting inside each 3-cube



and the face maps identify one of these:

.

Now observe that under the dual [[Dold-Kan correspondence]] the \emph{normalized cochain complex} of this cosimplicial algebra is, up to isomorphism, the complex that in degree $k$ has the joint [[kernel]] of the co-degeneracy maps. But by the above remarks, this joint kernel is precisely

\begin{displaymath}
C^\infty(\mathbb{R}^n) \otimes C^\infty(\tilde D(k,n))_{top} \simeq C^\infty(\mathbb{R}^n) \otimes \wedge^k (\mathbb{R}^n)^*
  \simeq
  \Omega^k(\mathbb{R}^n)
  \,,
\end{displaymath}
the space of differential $k$-forms on $\mathbb{R}^n$.

\begin{theorem}
\label{}\hypertarget{}{}
The normalized cochain complex of the cosimplicial algebra $C^{\infty}((\mathbb{R}^n)^{(\Delta^n_{diff})})$ is [[isomorphism|isomorphic]] as a cochain complex to the [[de Rham complex]] of $\mathbb{R}^n$.

Equipped with the [[cup product]] induced from $C^{\infty}((\mathbb{R}^n)^{(\Delta^n_{diff})})$ is is isomorphic to the de Rham complex even as a [[dg-algebra]].

\end{theorem}
\begin{proof}
We have already seen that degreewise the vector spaces in question are isomorphic.

It remains to check that the differentials agree. The alternating sum of the face maps acts on an element

\begin{displaymath}
h \otimes (\omega^1 \cdot \epsilon_1)(\omega^2 \cdot \epsilon_2) \cdots
      (\omega^k \cdot \epsilon_k)
\end{displaymath}
as

\begin{displaymath}
\begin{aligned}
     \cdots \mapsto &
     (d_0^* + \sum_{r = 1}^n (-1)^r d_r^*)(
       h \otimes (\omega^1 \cdot \epsilon_{1})
       (\omega^2 \cdot \epsilon_{2}) \cdots
       (\omega^k \cdot \epsilon_{k}))
      \\
      = &
       h \otimes (\omega^1 \cdot \epsilon_{2})
      (\omega^2 \cdot \epsilon_{3}) \cdots
       (\omega^k \cdot \epsilon_{k+1}))
      \\
      & + 
       (d h \cdot \epsilon_1)
       (\omega^1 \cdot \epsilon_{2})
       (\omega^2 \cdot \epsilon_{3}) \cdots
       (\omega^k \cdot \epsilon_{k+1}))
      \\
      & -
       h \otimes (\omega^1 \cdot (\epsilon_{1} + \epsilon_{2}))
       (\omega^2 \cdot \epsilon_{3}) \cdots
       (\omega^k \cdot \epsilon_{k+1}))
      \\
      & + 
       h \otimes (\omega^1 \cdot \epsilon_{1})
       (\omega^2 \cdot (\epsilon_2 + \epsilon_{3})) \cdots
       (\omega^k \cdot \epsilon_{k+1}))
      \\
      & - \cdots
      \\
      =& 
       (d h \cdot \epsilon_1)
       (\omega^1 \cdot \epsilon_{2})
       (\omega^2 \cdot \epsilon_{3}) \cdots
       (\omega^k \cdot \epsilon_{k+1}))
  \end{aligned}
  \,.
\end{displaymath}
Under our identification $C^\infty(\mathbb{R}^n)\otimes C^\infty(\tilde D(k,n))_{top}
  \simeq \wedge^k \Gamma(T^* \mathbb{R}^n)$ this means that the alternating sum of the face maps sends

\begin{displaymath}
h \wedge \omega^1 \wedge \omega^2 \wedge \cdots \wedge \omega^k
  \mapsto
  d h \wedge \omega^1 \wedge \omega^2 \wedge \cdots \wedge \omega^k
  \,,
\end{displaymath}
where each $\omega^j$ is a \emph{constant} 1-form on $\mathbb{R}^n$. So this is indeed the action of the [[de Rham complex|de Rham differential]].

\end{proof}
The construction of $(\mathbb{R}^n)^{(\Delta^\bullet_{inf})}$ is manifestly natural and extends to a functor

\begin{displaymath}
(-)^{(\Delta^\bullet_{inf})}
  :
  CartSp \mapsto [\Delta^{op}, \mathbb{L}]
\end{displaymath}
from [[CartSp]] to [[simplicial object|simplicial]] [[smooth loci]]. Effectively just by ([[derived functor|derived]]) [[Yoneda extension]] of this functor to a functor on [[simplicial presheaves]] on [[CartSp]] one obtains a definition of the [[schreiber:infinitesimal path ∞-groupoid]] of any [[smooth manifold]], any [[diffeological space]] and even every [[∞-Lie groupoid]].

\hypertarget{related_concepts}{}\subsection*{{Related concepts}}\label{related_concepts}

[[!include infinitesimal and local - table]]

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

Discussion of [[infinitesimals]] goes back to [[Leibniz]].

\begin{itemize}%
\item [[Hermann Cohen]], \emph{Das Prinzip der Infinitesimal-Methode und seine Geschichte} , Berlin 1883. (\href{http://www.gleichsatz.de/b-u-t/archiv/Cohen/hc-infinit1.html}{html})

\end{itemize}
Nowadays infinitesimal spaces and their properties were familiar in all those areas of mathematics where spaces are characterized by the algebras of functions on them.

It was in a seminal lecture

\begin{itemize}%
\item [[William Lawvere]], \emph{Categorical Dynamics} lectures at the University of Chicago (1967)

\end{itemize}
reproduced in

\begin{itemize}%
\item [[Anders Kock]], \emph{Topos theoretic methods in Geometry}, Aarhus Universitet (1979)

\end{itemize}
that the proposal was made to axiomatize the properties of infinitesimal objects by making use of the fact that they are supposed to be objects of a [[cartesian closed category]].

It was from this insight that [[synthetic differential geometry]] was eventually developed.

\begin{itemize}%
\item [[William Lawvere]], \emph{Outline of synthetic differential geometry}, (\href{http://www.acsu.buffalo.edu/~wlawvere/downloadlist.html}{web})

\end{itemize}
This is a classical case of [[general abstract nonsense]] used to understand a subtle situation.

A summary and discussion of the axiomatically defined standard infinitesimal objects $D$, $D_k$, $D_k(n)$ is in section 1.2 of

\begin{itemize}%
\item Anders Kock, \emph{Synthetic Geometry of Manifolds} (\href{http://home.imf.au.dk/kock/SGM-final.pdf}{pdf})

\end{itemize}
\hypertarget{atomic_spaces}{}\subsubsection*{{Atomic spaces}}\label{atomic_spaces}

The proposal to call objects $D$ such that $[D,-]$ has an [[amazing right adjoint]] ``atomic objects'' is due to

\begin{itemize}%
\item [[William Lawvere]], \emph{Toposes of Laws of Motion}

\end{itemize}
and repeated in

\begin{itemize}%
\item [[William Lawvere]], \emph{Open problems in topos theory} (\href{http://cheng.staff.shef.ac.uk/pssl88/lawvere.pdf}{pdf})

\end{itemize}
Details on the right adjoint to the exponentiation functor $(-)^X$ for $X$ an infinitesimal object are in appendix 4 of

\begin{itemize}%
\item Moerdijk, Reyes, \emph{[[Models for Smooth Infinitesimal Analysis]]}

\end{itemize}
\hypertarget{formally_infinitesimal_spaces}{}\subsubsection*{{Formally infinitesimal spaces}}\label{formally_infinitesimal_spaces}

For formal infinitesimal objects and [[infinitesimally thickened point|Weil algebras]] see

section I.16 of

\begin{itemize}%
\item [[Anders Kock]], \emph{Synthetic differential geometry} (\href{}{pdf})

\end{itemize}
and chapter I, section 4 and chapter II, theorem 1.13 and onwards in

\begin{itemize}%
\item [[Ieke Moerdijk]], [[Gonzalo Reyes]], [[Models for Smooth Infinitesimal Analysis]]

\end{itemize}
A discussion on terminology and share of the content between infinitesimal object and [[infinitesimal quantity]] is saved at $n$Forum \href{http://www.math.ntnu.no/~stacey/Mathforge/nForum/comments.php?DiscussionID=2696&Focus=22805#Comment_22805}{here}.

For an approach to infinitesimal thickenings in the context of abelian categories of quasicoherent sheaves see [[differential monad]] and [[regular differential operator in noncommutative geometry]].

[[!redirects infinitesimal objects]] [[!redirects infinitesimal quantity]] [[!redirects infinitesimal quantities]] [[!redirects infinitesimal space]] [[!redirects infinitesimal spaces]]



\end{document}