\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*{Aufhebung}

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

\hypertarget{foundations}{}\paragraph*{{Foundations}}\label{foundations}

[[!include foundations - contents]]

\hypertarget{category_theory}{}\paragraph*{{Category theory}}\label{category_theory}

[[!include category theory - contents]]

\hypertarget{topos_theory}{}\paragraph*{{Topos Theory}}\label{topos_theory}

[[!include topos theory - contents]]

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

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{aufhebung_in_hegels_wissenschaft_der_logik}{\emph{Aufhebung} in Hegel's `Wissenschaft der Logik'}\dotfill \pageref*{aufhebung_in_hegels_wissenschaft_der_logik} \linebreak
\noindent\hyperlink{lawveres_path_to_aufhebung}{Lawvere's path to \emph{Aufhebung}}\dotfill \pageref*{lawveres_path_to_aufhebung} \linebreak
\noindent\hyperlink{extracting_the_rational_kernel}{Extracting the rational kernel}\dotfill \pageref*{extracting_the_rational_kernel} \linebreak
\noindent\hyperlink{the_mathematics_of_yin_and_yang}{The mathematics of Yin and Yang}\dotfill \pageref*{the_mathematics_of_yin_and_yang} \linebreak
\noindent\hyperlink{TheMathematicsOfAufhebung}{The mathematics of \emph{Aufhebung}}\dotfill \pageref*{TheMathematicsOfAufhebung} \linebreak
\noindent\hyperlink{examples}{Examples}\dotfill \pageref*{examples} \linebreak
\noindent\hyperlink{AufhebungOfBecoming}{Aufhebung of Becoming -- Determinate being}\dotfill \pageref*{AufhebungOfBecoming} \linebreak
\noindent\hyperlink{from_fausts_study}{From Faust's study}\dotfill \pageref*{from_fausts_study} \linebreak
\noindent\hyperlink{ExamplesBecomingFormalization}{Over cohesive sites}\dotfill \pageref*{ExamplesBecomingFormalization} \linebreak
\noindent\hyperlink{absolute_identity_and_selbstaufhebung}{Absolute identity and \emph{Selbstaufhebung}}\dotfill \pageref*{absolute_identity_and_selbstaufhebung} \linebreak
\noindent\hyperlink{SierpExample}{The example of the Sierpinski topos}\dotfill \pageref*{SierpExample} \linebreak
\noindent\hyperlink{SimplicialAndCubicalSets}{Simplicial and cubical sets}\dotfill \pageref*{SimplicialAndCubicalSets} \linebreak
\noindent\hyperlink{an_open_problem_the_presheaf_topos_over_nonempty_finite_sets}{An open problem: the presheaf topos over non-empty finite sets}\dotfill \pageref*{an_open_problem_the_presheaf_topos_over_nonempty_finite_sets} \linebreak
\noindent\hyperlink{related_pages}{Related pages}\dotfill \pageref*{related_pages} \linebreak
\noindent\hyperlink{links}{Links}\dotfill \pageref*{links} \linebreak
\noindent\hyperlink{a_guide_to_the_literature}{A guide to the literature}\dotfill \pageref*{a_guide_to_the_literature} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


[[!redirects aufhebung]] [[!redirects Aufhebungs relation]] [[!redirects jump operator]] [[!redirects sublation]]

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

\begin{quote}%
I am not a ``Hegelian''. F. W. Lawvere \footnote{(\hyperlink{Law89b}{Lawvere 1989}, p.74).} 


\end{quote}
\textbf{Aufhebung} (sublation) is a central concept\footnote{A pertinent passage is e.g. \href{Science+of+Logic#209}{SoL \S{}209}.}  in the [[dialectic|dialectical]] logic of the German philosopher [[Georg Hegel|G. W. F. Hegel]]. The German expression has several meanings for which \emph{tollere, elevare, conservare} would be Latin equivalents.\footnote{As this polysemy is important for the concept and difficult to preserve in translation we prefer to use the German term in the following.} 

In his quest to [[axiom|axiomatize]] the concepts of [[space]] and [[cohesion]], [[F. W. Lawvere]], inspired by [[homotopy theory]] proposed a mathematical rendering of the \emph{Aufhebungs} relation within [[topos theory]] or [[category theory]] more generally. It is the mathematical concept that will constitute the primary subject in the following.

\hypertarget{aufhebung_in_hegels_wissenschaft_der_logik}{}\subsection*{{\emph{Aufhebung} in Hegel's `Wissenschaft der Logik'}}\label{aufhebung_in_hegels_wissenschaft_der_logik}

Although the two volumes of \emph{`[[Science of Logic|Wissenschaft der Logik]]'} (1st ed. 1812-1816) can be considered as one of the main texts of [[Hegel]]`s philosophy they fell into disfavour in the second half of the 19th century and most of the 20th century, and accordingly received much less attention than the `Ph\"a{}nomenologie des Geistes' or the `Rechtsphilosophie'. They shared this fate with Hegelian philosophy as a whole which apart from the philological interest it generated, was continued only through the political wing of Lefthegelianism which in either its existentialist interpretation by A. Koj\`e{}ve or its Marxist interpretation by G. Luk\'a{}cs openly rejected the concept of objective dialectics in nature thereby cutting the social thought from its broad foundation in [[ontology]] and [[logic]], whereas the [[natural philosophy|natural philosophical]] tradition in the vein of F. Engels petrified to the doctrines of dialectical materialism.

The `Wissenschaft der Logik' has to be viewed against the background of philosophy in the early 19th century: \textbf{Kant} had embarked on a project of `refoundation', or rather demolition, of [[metaphysics]] from an epistemological perspective and this project had been pushed further by his followers especially Fichte in his \emph{Wissensschaftslehre}. However critical these [[idealism|idealist]] systems had been to the claims of traditional metaphysics and epistemology they all left the traditional logic untouched and in this respect fell behind Leibniz. It is at this point where Hegel starts: he sets out to extend the critical examination of the foundations of knowledge to logic itself.

Heavily influenced by the transcendental deductions and the chapters on dialectical paralogisms in Kant's `Kritik der reinen Vernunft' he intends to start from indeterminate, immediate [[being]] and justify the autonomous development of the system of categories. Here dialectics and Aufhebung enter the picture as Hegel conceives the categories not only as not given apriorily but as actually [[becoming]]: \emph{logic ceases to be an inventory of categories but becomes a system of transformations of categories!} (Had Eilenberg and MacLane in 1945 intended their terminological loans from philosophy as a kind of joke, Lawvere would 25 years later take this terminological proximity at face value.)

Hegel parts with the traditional conception mainly in two points: the foundations of his logic coalesce with [[ontology]] into an \textbf{objective logic} as the first part is titled (a `logic of things' as [[Charles Sanders Peirce|C.S. Peirce]] would later put it), i.e. he rejects the subject as a possible ground for logic, and he reassesses the status of \textbf{negativity} or conflict-contradiction in logic. The cornerstone of the edifice is the anti-eleatic unity of [[being]] and [[nothing|nothingness]] in the idea of [[becoming]]. It is precisely this `positively being negative' that finds its expression in the concept of `Aufhebung'.

A key passage on Aufhebung in `Wissenschaft der Logik' comes at the end of the first chapter (\hyperlink{WdL}{I.1.1Cc, p.113}): after a deduction of the categories of `[[being]]', `[[nothing|nothingness]]', and their unity in `[[becoming]]' Hegel determines \textbf{[[dialectics]]} as `the higher rational movement\ldots{} in which the precondition of the separatedness (of the seemingly separated) is lifted ( \emph{sich aufhebt} )' (\hyperlink{WdL}{p.111}).

He goes on (\hyperlink{WdL}{p.113}) to explicate \emph{Aufheben} as one of the most important concepts in all of philosophy that constantly recurs everywhere. The sublated - \emph{das Aufgehobene} is not nothing which is an \emph{unmediated}, but is a mediated - \emph{ein Vermitteltes}; it is nothing - \emph{das Nichtseiende}, but as a result that originated from a being and therefore still carries with it the determination from which it derives. This is inspired by Spinoza's `omnis determinatio est negatio': \textbf{Aufhebung} is the mode of this coexistence of negation-affirmation.

Hegel draws his logic from a rich tradition of dialectic going back to Plato in general and to its renewal in Fichte and Schelling's attempts to transcendental philosophy in the 1790s for which in turn Kant's attitude was of capital importance: the latter had established in a short paper \emph{`[[Attempt to Introduce the Concept of Negative Quantities into Philosophy|Versuch den Begriff der negativen Größen in die Weltweisheit einzuführen]]'} (1763) a distinction between contradictions and real oppositions\footnote{On the avatars of this synthetic negation from Kant through von Trendelenburg to Neo-Kantianism see Giovanelli (\hyperlink{Giovanelli15}{2015}). The connection between Kant's approach to negative quantities and Hegel's concept of contradiction against the background of the mathematics of their time is developed in the groundbreaking study Wolff (\hyperlink{Wolff10}{2010}) first published in 1981. The importance of this link has been stressed already in the 19th century by [[Karl Rosenkranz]].}  anticipating the later analytic-synthetic division - here originates the term `Aufhebung' and gets tied to synthesis of oppositions which is terminologically present in Schelling's use of the terms `thesis', `anti-thesis' and `synthesis' for the dialectical triad.\footnote{Hegel apparently didn't use these terms though, probably through their use by F. Engels who was a student of Schelling, the terms stick to Hegelian dialectic today.} 

Secondly, Kant had arranged the table of categories in triadic fashion with the third terms \emph{grosso modo} being the synthesis of the preceding positive respectively negative terms and claimed to have demonstrated the completeness of the resulting table though his deduction was generally considered inconclusive. Starting with Reinhold the deduction of the categories soon became a main concern of transcendental philosophy. In particular, Fichte rejected the primacy of the judgement forms in Kant's approach i.e. the primacy of propositions in logic and gave direct derivations of the categories from the transcendental ego by dialectical steps. Schelling and Hegel followed Fichte in this shift.\footnote{Eventually both distanced themselves from the Fichtean ego as the starting point though. Whereas Hegel gives primacy to `deduction' in logic (cf. [[absolute conclusion]] - \emph{`Alles Vern\"u{}nftige ist ein Schluss'}) the philosophy of the mature Schelling with its emphasis on the [[transcendental ideal]] can be partly be seen as a return to the classical Pre-Kantian primacy of `concept' in logic.} 

Thirdly, Kant's view that reason gets necessarily entangled in the contradictions of \emph{transcendental dialectic} by its own nature was interpreted by Hegel as an indication of the positive role of contradictions as the driving force of thought.

Clearly, these remarks can not do justice to the richness and subtlety of Hegel's logic and should only serve as canvas against which to get a better grasp of Lawvere's conceptual translation. The points to keep in mind from this view are:

\begin{itemize}%
\item Aufhebung is a \emph{pervasive} concept: although Lawvere proposes only mathematical definitions for two terms of Hegel's logic, namely \emph{[[unity of opposites]]} and \emph{Aufhebung}, these are in fact the key terms and go already far in a reconstruction of the whole edifice!


\item Aufhebung unites \emph{determinateness} with annihilation of being. These recur at the mathematical level as the correspondance between being-being a sheaf, annihilation -being the adjoint opposite of sheaf (anti-sheaf), and the determination of Aufhebung as being the least (=the Leibnizian best) level of being simultaneously a sheaf and an anti-sheaf.



\end{itemize}
This is the original text on \emph{Aufhebung} from \href{Science+of+Logic#AufhebenDesWerdens}{Hegel 1812, book 1, section 1, chapter 1, C, 3.}:

\begin{quote}%
Aufheben und das Aufgehobene (das Ideelle) ist einer der wichtigsten Begriffe der Philosophie, eine Grundbestimmung, die schlechthin allenthalben wiederkehrt, deren Sinn bestimmt aufzufassen und besonders vom Nichts zu unterscheiden ist.---Was sich aufhebt, wird dadurch nicht zu Nichts. Nichts ist das Unmittelbare; ein Aufgehobenes dagegen ist ein Vermitteltes, es ist das Nichtseyende, aber als Resultat, das von einem Seyn ausgegangen ist; es hat daher die Bestimmtheit aus der es herkommt, noch an sich.

Aufheben hat in der Sprache den gedoppelten Sinn, da\ss{} es so viel als aufbewahren, erhalten bedeutet, und zugleich so viel als aufh\"o{}ren lassen, ein Ende machen. Das Aufbewahren selbst schlie\ss{}t schon das Negative in sich, da\ss{} etwas seiner Unmittelbarkeit und damit einem den \"a{}u\ss{}erlichen Einwirkungen offenen Daseyn entnommen wird, um es zu erhalten.---So ist das Aufgehobene ein zugleich Aufbewahrtes, das nur seine Unmittelbarkeit verloren hat, aber darum nicht vernichtet ist. ---Die angegebenen zwei Bestimmungen des Aufhebens k\"o{}nnen lexikalisch als zwei Bedeutungen dieses Wortes aufgef\"u{}hrt werden. Auffallend m\"u{}\ss{}te es aber dabei seyn, da\ss{} eine Sprache dazu gekommen ist, ein und dasselbe Wort f\"u{}r zwei entgegengesetzte Bestimmungen zu gebrauchen. F\"u{}r das spekulative Denken ist es erfreulich, in der Sprache W\"o{}rter zu finden welche eine spekulative Bedeutung an ihnen selbst haben; die deutsche Sprache hat mehrere dergleichen. Der Doppelsinn des lateinischen: tollere (der durch den ciceronianischen Witz tollendum esse Octavium, ber\"u{}hmt geworden) geht nicht so weit, die affirmative Bestimmung geht nur bis zum Emporheben. Etwas ist nur insofern aufgehoben, als es in die Einheit mit seinem Entgegengesetzten getreten ist; in dieser n\"a{}hern Bestimmung als ein reflektirtes kann es passend Moment genannt werden. Gewicht und Entfernung von einem Punkt hei\ss{}en beim Hebel, dessen mechanische Momente, um der Dieselbigkeit ihrer Wirkung willen bei aller sonstigen Verschiedenheit eines Reellen, wie das ein Gewicht ist, und eines Ideellen, der blo\ss{}en r\"a{}umlichen Bestimmung, der Linie; s. Encykl. der philos. Wissenschaft 3te Ausg. \_ 261. Anm.---Noch \"o{}fter wird die Bemerkung sich aufdringen, da\ss{} die philosophische Kunstsprache f\"u{}r reflektirte Bestimmungen lateinische Ausdr\"u{}cke gebraucht, entweder weil die Muttersprache keine Ausdr\"u{}cke daf\"u{}r hat, oder wenn sie deren hat, wie hier, weil ihr Ausdruck mehr an das Unmittelbare, die fremde Sprache aber mehr an das Reflektirte erinnert.


\end{quote}
\hypertarget{lawveres_path_to_aufhebung}{}\subsection*{{Lawvere's path to \emph{Aufhebung}}}\label{lawveres_path_to_aufhebung}

\begin{quote}%
In early 1985, while I was studying the foundations of homotopy theory, it occurred to me that the explicit use of a certain simple categorical structure might serve as a link between mathematics and philosophy. (\hyperlink{Law96}{Lawvere 1996}, p.167)


\end{quote}
\hypertarget{extracting_the_rational_kernel}{}\subsection*{{Extracting the rational kernel}}\label{extracting_the_rational_kernel}

So now let's get down to business and do some mathematics!

\hypertarget{the_mathematics_of_yin_and_yang}{}\subsubsection*{{The mathematics of Yin and Yang}}\label{the_mathematics_of_yin_and_yang}

In (\hyperlink{Law00}{Lawvere 2000}) a particularly simple example of the [[adjoint cylinder]] was suggested that we use here as a warm up. Note that the categories involved are not toposes and even lack a terminal object!

Let $N$ be the [[natural numbers]] $\{0, 1,\dots\}$ viewed as a [[category]] via their usual [[poset|ordering]]. Let $L,R:N\to N$ be the two parallel [[functors]] `\emph{even}' and `\emph{odd}' defined by $L(n) \coloneqq 2n$ and $R(n) \coloneqq 2n+1$.

Both are [[fully faithful functor|full and faithful]], which means that they correspond to two subcategory inclusions and, accordingly, to two subcategories $N_{even}$ and $N_{odd}$. We are now in situation where we have two subcategories that `oppose' each other in that $N_{even}\neq N_{odd}$ but are nevertheless `identical' in that there is a bijection $N_{even}\overset{\simeq}{\to} N_{odd}$. Furthermore, both are `united' as different parts in the encompassing $N$ whose overall structure they represent in that $N_{even}\simeq N\simeq N_{odd}$ - that is somewhat unusual for what is to follow below where the opposing parts are seldom equivalent to the whole but they will always be a pair consisting of a reflective and a coreflective subcategory.

Now it was Lawvere's observation that a third functor $N\to N$ which with a clin d'oeil to [[Charles Sanders Peirce|C. S. Peirce's]] concept of \emph{thirdness} we call $T$ , can encapsulate this bunch of relations in one sweep when it forms an [[adjoint triple]] $L\dashv T\dashv R$ with $L$ and $R$:

\begin{enumerate}%
\item The triple expresses the \emph{unity} by the idempotency of $(R\circ T)^2=R\circ T$ and $(L\circ T)^2=L\circ T$ typical for (co)reflective subcategories,


\item it expresses the \emph{opposition} between $L$ and $R$ by an entailed adjunction $L\circ T\dashv R\circ T$,


\item it expresses the \emph{identity} $L$ between $R$ by the entailed equivalence $T\circ L\simeq T\circ R$ .



\end{enumerate}
In other words, \emph{$T$ unites, opposes and identifies $L$ and $R$ at the same time}!

For our simple [[poset]] example the [[adjunctions]] $L\dashv T$ and $T\dashv R$ amount to $L(n)\leq m$ iff $n\leq T(m)$ and $n\leq R(m)$ iff $T(n)\leq m$. When $T$ exists it must satisfy $T\circ L \cong id\cong T\circ R$ which in our case just gives $T\circ L = id = T\circ R$. Spelled out this says $T(2n)=n$ and $T(2n+1)=n$ which indicates as definition for $T$:

\begin{displaymath}
T(k)=\Bigg\{ \itexarray{\frac{k}{2}\quad k\in N_{even} \\
                       \frac{k-1}{2} \quad k\in N_{odd}}
\end{displaymath}
Whereas $T\circ L$ and $T\circ R$ are each the identity, the reverse compositions $L\circ T$ and $R\circ T$ yield an [[idempotent comonad]] $sk:N\to N$ and an [[idempotent monad]] $cosk:N\to N$, respectively, where $sk(2n)=2n$ and $sk(2n+1)=2n$ and $cosk(2n)=2n+1$ and $cosk(2n+1)=2n+1$: in new guises $L$ and $R$ resurface again but this time within an `opposition' $sk\dashv cosk$ which expresses formally the `conflict' between $N_{even}$ and $N_{odd}$, even and odd, as well as their essential identity and unity.

\hypertarget{TheMathematicsOfAufhebung}{}\subsubsection*{{The mathematics of \emph{Aufhebung}}}\label{TheMathematicsOfAufhebung}

For convenience let us briefly recall the following

\begin{defn}
\label{EssentialLocalization}\hypertarget{EssentialLocalization}{}
A [[localization of a category]] $\mathcal{B}$ with [[finite limits]] is a [[reflective subcategory]] $\mathcal{A}$ whose reflection preserves finite limits. The localization is called \emph{[[essential geometric morphism|essential]]} when the reflection has furthermore a [[left adjoint]].

\end{defn}
If $l\dashv r\dashv i$ is an essential localization then $l$ is also [[fully faithful functor|full and faithful]]. If $\mathcal{B}$ is a [[topos]], $\mathcal{A}$ is called an \emph{[[essential geometric morphism|essential]] [[subtopos]]} and we write $i_!\dashv i^*\dashv i_*$ in this case and call $i_!$ the \emph{essentiality}.

It is a result in (\hyperlink{KL89}{Kelly-Lawvere 89}) that the [[essential geometric morphism|essential]] [[subtoposes]] of a topos form a [[complete lattice]]. Therefore we say:

\begin{defn}
\label{Level}\hypertarget{Level}{}
An [[essential geometric morphism|essential]] [[subtopos]] of $\mathcal{B}$ is referred to as a \emph{[[level of a topos|level]]} of $\mathcal{B}$ and levels are denoted by small letters $i,j,\dots$ .

\end{defn}
An [[adjoint triple]] $i_!\dashv i^*\dashv i_*$ yields two [[adjoint modalities]] $\Box _i\dashv\bigcirc _i$ on $\mathcal{B}$, namely $\Box _i \coloneqq i_!i^*$ and $\bigcirc _i \coloneqq i_*i^*$.

The [[modalities]] yield notions of \emph{[[modal types]]}, which may be called

\begin{itemize}%
\item the \emph{i-sheaves} : $X\in\mathcal{B}$ with $\bigcirc _i X\simeq X$ (following the terminology at \emph{[[Lawvere-Tierney operator]]});


\item the \emph{i-skeleta} : $X\in\mathcal{B}$ with $\Box _i X\simeq X$ (following the example of [[simplicial skeleta]] discussed \hyperlink{SimplicialAndCubicalSets}{below}).



\end{itemize}
\begin{defn}
\label{Aufhebung}\hypertarget{Aufhebung}{}
(\hyperlink{Law89b}{Lawvere 1989b})

Let $i,j$ be [[level of a topos|levels]], def. \ref{Level}, of a topos $\mathcal{A}$ we say that the level $i$ is \emph{lower} than level $j$, written

\begin{displaymath}
\itexarray{
    \Box_i &\prec & \Box_j
    \\
    \bot && \bot
    \\
    \bigcirc_i &\prec & \bigcirc_j 
  }
\end{displaymath}
(or $i\prec j$ for short) when every i-sheaf ($\bigcirc_i$-[[modal type]]) is also a j-sheaf and every i-skeleton ($\Box_i$-[[modal type]]) is a j-skeleton. This is equivalent to say that both $\bigcirc_j \bigcirc_i =\bigcirc_i$ and $\Box_j \Box_i =\Box_i$.

Let $i\prec j$, we say that the level $j$ \emph{resolves the opposite} of level $i$, written

\begin{displaymath}
\itexarray{
    \Box_i &\ll& \Box_j
    \\
    \bot && \bot
    \\
    \bigcirc_i &\ll& \bigcirc_j 
  }
\end{displaymath}
(or just $i\ll j$ for short\footnote{$\ll$ is called the \emph{way below} relation in (\hyperlink{KRRZ11}{KRRZ11}).} ) if $\bigcirc _j\Box_i=\Box _i$.

Finally a [[level of a topos|level]] $\bar{i}$ is called the \emph{Aufhebung} of level $i$

\begin{displaymath}
\itexarray{
    \Box_i &\ll& \Box_{\bar i}
    \\
    \bot &\searrow& \bot
    \\
    \bigcirc_i &\ll& \bigcirc_{\bar i} 
  }
\end{displaymath}
iff it is a minimal level which resolves the opposites of level $i$, i.e. iff $i\ll\bar{i}$ and for any $k$ with $i\ll k$ then it holds that $\bar{i}\leq k$ in the order relation (by subtopos inclusion) between levels.

\end{defn}
\begin{remark}
\label{}\hypertarget{}{}
The condition $\bigcirc_j \Box_i=\Box_i$ amounts to saying that every $i$-skeleton is a $j$-sheaf:

Suppose the condition holds and $X$ is an $i$-skeleton ($\Box_i X= X$) then $\bigcirc_j \Box_i X =\bigcirc_j X=\Box_i X =X$ i.e. $X$ is a $j$-sheaf. Conversely, if every $i$-skeleton is a $j$-sheaf then, since by the idempotency of $\Box_i$ $i$-skeleta are precisely the objects of form $\Box_i X$ for some $X$, $\Box_i X$ is by assumption a $j$-sheaf and that's precisely what $\bigcirc_j \Box_i X=\Box_i X$ asserts.

The resolution condition $\bigcirc_j \Box_i=\Box_i$ ensures that $i$-skeleta are in the intersection of the $j$-skeleta and $j$-sheaves at the resolving level.

Thinking of $\bigcirc_i\Box_i=\bigcirc_i$ as an expression of the negation of $\Box_i$ by $\bigcirc_i$ one could think of $\bigcirc_j \Box_i=\Box_i$ as dialogical refinement of the opposition through a \emph{negation of the negation}: `Proponent' $\bigcirc_i$ gets updated - \emph{sublated} to $\bigcirc_j$ in order to absorb the `opponent' $\Box_i$.

Note that $\bigcirc_j \Box_i=\Box_i$ does not imply $\Box_j \bigcirc_i =\bigcirc_i$ , e.g. in the [[Sierpinski topos]] $Set^\to$ the level $\emptyset\dashv\ast$ is resolved by $\nabla\dashv &#643;$ but $(\nabla\circ\ast)\neq\ast$ (see \hyperlink{SierpExample}{below}).

We say that $j$ \emph{co-resolves} $i$ if $\Box_j \bigcirc_i =\bigcirc_i$. If $j$ resolves and co-resolves $i$ we say that $j$ bi-resolves $i$. In the latter case, all $i$-sheaves and $i$-skeleta are simultaneously $j$-sheaves and $j$-skeleta at the higher level $j$.

\end{remark}
\begin{remark}
\label{}\hypertarget{}{}
The Aufhebung of a level is the smallest level that resolves its opposites or contradictions. Such a level need not exist in general for every level but in certain cases like [[presheaf toposes]] over [[graphic category|graphic categories]] or, more generally, over [[von Neumann regular categories]] (\hyperlink{Law02}{Lawvere 2002}), it does. The Aufhebungs relation is also called the \emph{jump operator} in \hyperlink{Law09}{Lawvere (2009)}.

\end{remark}
\begin{remark}
\label{}\hypertarget{}{}
Comparing with [[Science of Logic|WdL]] under Lawvere's translation and identifing the [[level of a topos|levels]] with logical categories of thinking in the ordinary sense (thought determinations - \emph{Gedankenbestimmungen}), one sees that $\emptyset\dashv\ast$ corresponds to Hegel's logical category of \emph{indeterminate being} whereas the higher levels correspond to logical categories of \emph{determinate being} - \emph{Bestimmtheit}.

Furthermore one sees that the subtoposes corresponding to the levels trace out as \emph{mathematical} categories the \emph{logical} categories of thought as envisioned by Hegel thereby corroborating the terminological choices of Eilenberg and Mac Lane made in their 1945 paper!

\end{remark}
\begin{remark}
\label{}\hypertarget{}{}
We can use the definition to try to shed some light on the apparently rather odd contention by Hegel that the method of logic is analytic and synthetic at the same time:

\begin{quote}%
Der Gang oder die Methode des absoluten Wissens ist ebensosehr analytisch als synthetisch. Die Entwicklung dessen, was im Begriff enthalten ist, die Analysis, ist das Hervorgehen verschiedener Bestimmungen, die im Begriff enthalten sind, somit zugleich synthetisch. (\hyperlink{Begriff}{Begriffslehre f\"u{}r die Mittelklasse (1809/10)}, p.161)


\end{quote}
We can think of the inclusion of the sheaf category of a lower level into the higher sheaf category as an \emph{analytic} relation between the concepts involved: when viewed as a relation between the [[geometric theories]] classified by the respective subtoposes an inclusion relation corresponds indeed to an unpacking of the richer theory of the smaller subtopos e.g. the subtopos corresponding to the theory of [[local ring|local rings]] is included in the topos corresponding to the theory of rings which on the conceptual side is spelled out as \emph{a local ring is a ring}, or, the concept `local ring' implies the concept `ring'. So the passage from subtopos to including supratopos corresponds to an unfolding of the concepts implied in the subtopos concept.

This analytic procedure seems close to the `analytical reading' of Hegel's dialectic as a refinement of meaning postulates proposed by F. Berto e.g. in (\hyperlink{Berto07}{Berto 2007}).

Whereas on the \emph{synthetic} side, by demanding \emph{essentiality} of the subtoposes we get at each level skeletal `determinations' corresponding to features \emph{not} contained in the concept on the sheaf side which by the resolution condition nevertheless get synthesized into the sheaf side on the higher levels.

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

\hypertarget{AufhebungOfBecoming}{}\subsubsection*{{Aufhebung of Becoming -- Determinate being}}\label{AufhebungOfBecoming}

\hypertarget{from_fausts_study}{}\paragraph*{{From Faust's study}}\label{from_fausts_study}

In the context of a \textbf{[[category of being]]}, aka a (sufficiently) [[cohesive topos]], which has a connected [[subobject classifier]] $\Omega$ and product preserving components functor $\Pi _0$, there is an opposition

\begin{displaymath}
\empty\dashv \ast
\end{displaymath}
between \emph{[[nothing|non being]]} (the [[idempotent comonad]] constant on the [[initial object]]) and \emph{[[being|pure being]]} (the idempotent comonad constant in the [[terminal object]]) whose Aufhebung is (at least in suitable cases, see \hyperlink{ExamplesBecomingFormalization}{below}) the [[unity of opposites|opposition]] of [[becoming]]

\begin{displaymath}
\flat\dashv \sharp
\end{displaymath}
given by [[flat modality]] $\dashv$ [[sharp modality]], between \emph{non-becoming} vs. \emph{pure becoming} (cf. Lawvere 1989a, 1989b, \hyperlink{Law91a}{1991a})\footnote{Lawvere suggests more generally to read $\Box_ i\dashv\bigcirc_i$ as an opposition \emph{non-F} vs. \emph{pure-F} where $F$ is a property descriptively appropriate for the level.} . This is what in \href{Science+of+Logic#DaseinUberhaupt}{SoL \S{} 191} is called \emph{[[determinate being]]} as it corresponds to localization at $\neg\neg$ and the double negation creates the determinateness of the `Etwasse'.

In terms of [[topos theory]] the Aufhebungs-condition $\sharp \emptyset \simeq \emptyset$ says equivalently that the [[subtopos]] of $\sharp$-[[modal objects]] is a [[dense subtopos]].

This lowest essential subtopos arises more generally for categories $\mathcal{A}$ with [[initial object|initial]] and [[terminal objects]], via the adjoints to $\mathcal{A}\to \{*\}$ that map $*$ to $0$ and $1$. Especially, the imposition of conditions that ensure the existence of $\flat\dashv \sharp$ can be viewed as intended to provide a specific resolution of the `identity' $0=1$, the indeterminate confluence of truth and falsity at the lowest level which [[syntax|syntactically]] corresponds to the inconsistent [[geometric theory]].

Following Lawvere's suggestive terminology and identifying a level with its sheaf part, we could somewhat more loosely say that [[becoming]] is the Aufhebung of the opposition between [[nothing]] and [[being]], or more shortly, that \emph{becoming is the Aufhebung of being}.

The Aufhebungs relation expresses precisely that the (positive) sheaf part of the higher level $j$ subsumes (the opposition between) the skeleton and the sheaf part of the lower level in a universal way - it is the smallest context in which negative and positive poles of the lower level can positively coexist. To elaborate this intuition somewhat, it is the minimal way to turn the negative part into a positive part yet retaining the positivity of its positive opposite.

For more on the relevant \emph{metaphysical} modalities see at [[adjoint modality]].

\hypertarget{ExamplesBecomingFormalization}{}\paragraph*{{Over cohesive sites}}\label{ExamplesBecomingFormalization}

We discuss Aufhebung of [[becoming]] in the above sense in [[cohesive toposes]] ([[cohesive (∞,1)-toposes]]) with a [[cohesive site]] ([[∞-cohesive site]]) of definition.

(More general discussion is now also in \hyperlink{LawvereMenni15}{Lawvere-Menni 15, lemma 4.1, 4.2}, \hyperlink{Shulman15}{Shulman 15, section 3}, see at \href{points-to-pieces+transform#RelationToAufhebung}{pieces-to-points-transform -- Relation to Aufhebung}).

\begin{prop}
\label{AufhebungOfBecomingMeansOnlyInitialObjectHasNoGlobalPoints}\hypertarget{AufhebungOfBecomingMeansOnlyInitialObjectHasNoGlobalPoints}{}
Given a [[topos]] equipped with a [[level of a topos]] given by an [[adjoint modality]] $(\Box\dashv \bigcirc) \coloneqq (\flat \dashv \sharp)$, then the condition $\sharp \emptyset \simeq \emptyset$ is equivalent to $(\flat X \simeq \emptyset) \Leftrightarrow (X \simeq \emptyset)$.

\end{prop}
\begin{proof}
In a topos the [[initial object]] $\emptyset$ is a [[strict initial object]], and hence $(X \simeq \emptyset) \simeq (X \to \emptyset)$.

In one direction, assuming $\sharp \emptyset \simeq \emptyset$ then

\begin{displaymath}
\begin{aligned}
    (X \simeq \emptyset)
    & \simeq
    (X \to \emptyset)
    \\
    & \simeq (X \to \sharp \emptyset)
    \\
    & \simeq (\flat X \to \emptyset)
    \\
    & \simeq (\flat X \simeq \emptyset)
  \end{aligned}
  \,.
\end{displaymath}
Conversely, assume that $(\flat X \simeq \emptyset) \Leftrightarrow (X \simeq \emptyset)$. Then for all $X$

\begin{displaymath}
\begin{aligned}
    (X\to \emptyset)
    & \simeq
    (X\simeq \emptyset)
   \\
    & \simeq (\flat X \simeq \emptyset)
    \\
    & \simeq (\flat X \to \emptyset)
    \\
    & \simeq (X\to \sharp \emptyset)
  \end{aligned}
\end{displaymath}
and hence by the [[Yoneda lemma]] $\emptyset \simeq \sharp \emptyset$.

\end{proof}
\begin{example}
\label{}\hypertarget{}{}
In the [[Sierpinski topos]] $Set^{\to}$ with objects maps $X\to Y$ between sets $X,Y$, the initial object is $\emptyset\to\emptyset$ and the respective adjoint modalities are given by $\sharp(X\to Y)=X\to 1$ and $\flat(X\to Y)=X\overset{id}{\to} X$. Since not only $\flat(\emptyset\to\emptyset)=\emptyset\to\emptyset$ but also $\flat(\emptyset\to Y)=\emptyset\to\emptyset$, we find that $\flat\dashv \sharp$ does not resolve $\emptyset\dashv\ast$ (we expand on this example \hyperlink{SierpExample}{below}).

\end{example}
\begin{cor}
\label{}\hypertarget{}{}
An [[(∞,1)-topos]] with Aufhebung $(\flat \dashv \sharp)$ of [[being]] has [[homotopy dimension]] $\leq 0$ with respect to the $\flat$-[[modal types|modal]] [[base (∞,1)-topos]].

\end{cor}
\begin{prop}
\label{OverCohesiveSiteBecomingIsResolved}\hypertarget{OverCohesiveSiteBecomingIsResolved}{}
Let $\mathcal{S}$ be a [[cohesive site]] (or [[∞-cohesive site]]) and $\mathbf{H} = Sh(\mathcal{S})$ its [[cohesive topos|cohesive]] [[sheaf topos]] (or $\mathbf{H} = Sh_\infty(S)$ its [[cohesive (∞,1)-topos]] ).

Then in $\mathbf{H}$ we have $\sharp \emptyset \simeq \emptyset$, hence that $(\flat \dashv \sharp)$ resolves, def. \ref{Aufhebung}, the [[unity of opposites]] $(\emptyset \dashv \ast)$ which is [[becoming]].

\end{prop}
\begin{proof}
The [[flat modality]] $\flat$ in this case is given by forming [[global sections]] and re-embedding the resulting [[set]] as a [[constant sheaf]].

Since by assumption $\mathcal{S}$ has a [[terminal object]] $\ast$, it follows that for $X\in \mathbf{H}$ any sheaf $X \colon \mathcal{S}^{op}\to Set$ then

\begin{displaymath}
\flat X \simeq X(\ast)
\end{displaymath}
(where we may leave the constant re-embedding implicit, due to it being [[fully faithful functor|fully faithful]]).

Moreover by assumption, for every object $U\in \mathcal{S}$ there exists a morphism $i \colon \ast \to U$ hence for every $X\in \mathbf{H}$ and every $U$ there exists a morphism $i^\ast \colon X(U)\to \flat X$. This means that if $\flat X \simeq \emptyset$ then $X(U) \simeq \emptyset$ for all $U \in \mathcal{S}$ and hence $X\simeq \emptyset$. From this the claim follows with prop. \ref{AufhebungOfBecomingMeansOnlyInitialObjectHasNoGlobalPoints}.

\end{proof}
\begin{prop}
\label{OverCohesiveSiteBecomingIsAufgehoben}\hypertarget{OverCohesiveSiteBecomingIsAufgehoben}{}
Let $\mathcal{S}$ be a [[cohesive site]] (or [[∞-cohesive site]]) and $\mathbf{H} = Sh(\mathcal{S})$ its [[cohesive topos|cohesive]] [[sheaf topos]] with values in [[Set]] (or $\mathbf{H} = Sh_\infty(S)$ its [[cohesive (∞,1)-topos]] ).

Then in $\mathbf{H}$ we have Aufhebung, def. \ref{Aufhebung}, of the [[duality of opposites]] of [[becoming]] $\emptyset \dashv \ast$ (``[[Dasein]]'').

\begin{displaymath}
\itexarray{
     \flat &\dashv& \sharp
     \\
     \vee &\nearrow& \vee
     \\
     \emptyset &\dashv& \ast
  }
\end{displaymath}
\end{prop}
\begin{proof}
By prop. \ref{OverCohesiveSiteBecomingIsResolved} we have that $(\flat\dashv \sharp)$ resolves $(\emptyset \dashv \ast)$ and so it remains to see that it is the minimal [[level of a topos|level]] with this property. But the [[subtopos]] of [[sharp modality|sharp]]-[[modal types]] is $\simeq$ [[Set]] which is clearly a [[two-valued topos|two-valued]] [[Boolean topos]]. By \href{subtopos#BooleantoposesAreAtoms}{this proposition} these are the [[atoms]] in the [[subtopos lattice]] hence are minimal as non-trivial subtoposes and hence also as non-trivial [[level of a topos|levels]].

\end{proof}
\begin{remark}
\label{OnDoubleNegation}\hypertarget{OnDoubleNegation}{}
As mentioned above, the Aufhebung of $\emptyset\dashv \ast$ is necessarily given by a \emph{[[dense subtopos|dense]]} subtopos $\mathcal{E}_j$. Since the [[double negation topology]] $\neg\neg$ is the unique largest dense topology it follows in general that $\mathcal{E}_{\neg\neg}\subseteq\mathcal{E}_j$ , in particular in the case that $\mathcal{E}_{\neg\neg}$ happens to be [[essential geometric morphism|essential]] and hence happens to be a [[level of a topos|level]], the minimality condition on the Aufhebung of the initial opposition means that $\mathcal{E}_j = \mathcal{E}_{\neg\neg}$ is, in particular, a [[Boolean topos]].

\end{remark}
A special case of this are toposes $\mathcal{E}$ such that $\mathcal{E}_{\neg\neg}$ is [[open subtopos|open]] whence essential in particular; these are called $\bot$-scattered toposes. For the record we state:

\textbf{Proposition.} Let $\mathcal{E}$ be a $\bot$-[[scattered topos]]. The Aufhebung of $\emptyset\dashv\ast$ is given by $\mathcal{E}_{\neg\neg}$. $\qed$

Another consequence is that the Aufhebung $\mathcal{E}_j$ of $\emptyset\dashv\ast$ is [[Boolean topos|Boolean]] precisely when $\mathcal{E}_{\neg\neg}$ is essential e.g. for Boolean $\mathcal{E}$ this happens trivially and accordingly the Aufhebung of $\emptyset\dashv \ast$ is $\mathcal{E}$ in this case.

It also follows from the \hyperlink{OverCohesiveSiteBecomingIsAufgehoben}{above proposition} that for [[cohesive sites]] over [[Set]]: $\mathbf{H}_{\neg\neg}=Set$ i.e. the double negation topos coincides with the base.

\begin{example}
\label{}\hypertarget{}{}
Examples of $\infty$-toposes satisfying the assumptions of prop. \ref{OverCohesiveSiteBecomingIsAufgehoben} and hence exhibiting Aufhebung of becoming include

\begin{itemize}%
\item [[∞-groupoids]]


\item [[Euclidean-topological ∞-groupoids]]


\item [[smooth ∞-groupoids]]


\item [[formal smooth ∞-groupoids]]


\item [[super ∞-groupoids]]


\item [[smooth super ∞-groupoids]]



\end{itemize}
Here [[formal smooth ∞-groupoid]] has its [[cohesion]] further refined to [[differential cohesion]], yielding

\begin{displaymath}
\itexarray{
     id & \dashv & id
     \\
     \vee && \vee
     \\
     \Re &\dashv& &#643;_{inf} &\dashv& \flat_{inf}
     \\
      && \vee && \vee
     \\
     && &#643; &\dashv& \flat &\dashv& \sharp
     \\
     && && \vee &\nearrow& \vee
     \\
     && && \emptyset &\dashv& \ast
  }
\end{displaymath}
\end{example}
\hypertarget{absolute_identity_and_selbstaufhebung}{}\subsubsection*{{Absolute identity and \emph{Selbstaufhebung}}}\label{absolute_identity_and_selbstaufhebung}

Given a topos $\mathcal{E}$ the highest level is always given by $id_\mathcal{E}$ yielding the trivial [[adjoint string]] $id_\mathcal{E}\dashv id_\mathcal{E}\dashv id_\mathcal{E}$ with no less trivial adjoint modalities $id_\mathcal{E}\dashv id_\mathcal{E}$. Obviously, the sheaves and skeleta for this level coincide. Since the corresponding subtopos is simply $\mathcal{E}$, this level \emph{resolves every other level} and suggests to view the ascension from $\emptyset\dashv\ast$ to $id_\mathcal{E}\dashv id_\mathcal{E}$ as a process of increasing stepwise the number of objects that are sheaves as well as skeleta at a given level. The definition of resolution ensures that a level inherits the objects in the intersection from lower levels but also that all non-sheaves from the lower levels will be henceforth in the intersection.

Note that though $id_\mathcal{E}$ resolves every level it need not be the Aufhebung of any strictly lower level. This situation occurs e.g. in the examples from combinatorial topology discussed \hyperlink{SimplicialAndCubicalSets}{below}: Here the levels correspond to the geometrical dimension of the `triangulated spaces' involved plus the highest level `at infinity' and the Aufhebung is a simple numerical relation between finite levels e.g. in the topos of Ball complexes the Aufhebung of level $n$ is $n+1$. Of course, $id_\mathcal{E}$ is always its own Aufhebung and we see, incidentally, that a level might be the Aufhebung of more than one level, namely e.g. itself and perhaps several other levels - this might happen with $id_\mathcal{E}$ when the lattice of levels is finite e.g. in the [[Sierpinski topos]] $Set^{\to}$ (see \hyperlink{SierpExample}{below}).

Though $id_\mathcal{E}$ is trivial from a mathematical point of view, paradoxically it nevertheless captures on the philosophical side one of the most enigmatic concepts of the early \emph{identity philosophy} of Hegel and Schelling, namely the \textbf{absolute} as the identity of identity and non-identity:

\begin{quote}%
Das Absolute selbst aber ist darum die Identit\"a{}t der Identit\"a{}t und der Nichtidentit\"a{}t; Entgegensetzen und Einssein ist zugleich in ihm. (Hegel \hyperlink{Diff}{1801}, p.96)


\end{quote}
We might call a topos $\mathcal{E}$ with the property that $id_\mathcal{E}$ is the Aufhebung of no other level than itself \emph{absolute} and $id_\mathcal{E}$ the absolute level. Note that these toposes will occasionally have infinitely many levels and are then from the perspective of the mature Hegel vulnerable to the charge of being a \emph{`bad infinity'}.

The discussion so far might suggest that being self-sublating is a property peculiar to $id_\mathcal{E}$ but this is not the case. In fact $id_\mathcal{E}$ is only an instance of a whole class of essential localizations enjoying this property:

\begin{defn}
\label{quintessentialloc}\hypertarget{quintessentialloc}{}
Let $\mathcal{C}$ be a finitely complete category. An [[level|essential localization]] $l\dashv r\dashv i:\mathcal{L}\to\mathcal{C}$ is called \textbf{quintessential} if $l$ is naturally isomorphic to $i$.

\end{defn}
To say that $l\dashv r\dashv i:\mathcal{L}\to\mathcal{C}$ is a quintessential localization amounts to say in Lawvere's terminology (\hyperlink{07}{2007}) that $i:\mathcal{L}\to\mathcal{C}$ exhibits $\mathcal{C}$ as a [[quality type]] over $\mathcal{L}$ with $r$ providing the right adjoint to $i\simeq l$ (provided $\mathcal{L}$, $\mathcal{C}$ are [[extensive category|extensive]]).

The following is immediate:

\begin{prop}
\label{quintAuf}\hypertarget{quintAuf}{}
Let $l\dashv r\dashv i:\mathcal{L}\to\mathcal{C}$ be a quintessential localization. Then the corresponding [[adjoint modality]] $l\cdot r\dashv i\cdot r$ coincides up to natural isomorphism and provides its own Aufhebung. $\qed$

\end{prop}
\begin{example}
\label{}\hypertarget{}{}
A simple \emph{example} of a non-trivial quintessential localization is given by the category $\mathcal{C}$ with objects pairs $(X, e)$ where $X$ is a set and $e=e^2$ an idempotent map $X\to X$. A morphism $f:(X_1, e_1)\to (X_2, e_2)$ is a function $f:X_1\to X_2$ with $f\cdot e_1=e_2\cdot f$. These equivariant morphisms are bound to preserve fixpoints: when $e_1(x)=x$ then $f(e_1(x))=f(x)=e_2(f(x))$. Then the fixpoint set functor $r:\mathcal{C}\to Set$ with $r(X, e)=\{x\in X | e(x)=x \}$ is left as well as right adjoint to $i(X)=(X, id_X)$ since an equivariant morphism $f:(X,e)\to (Y,id_Y)$ is uniquely determined by its restriction to the fixpoints of $e$ and its values are given by $f(e(x))$. The [[adjoint modality]] $i\cdot r\dashv i\cdot r:\mathcal{C}\to\mathcal{C}$ corresponding to $i\dashv r\dashv i:Set\to\mathcal{C}$ maps $(X,e)$ to $(r(X),id_{r(X)})$. The corresponding level sublates $\emptyset\dashv\ast$ as well as itself whereas $id_\mathcal{E}$ only sublates itself.

\end{example}
For further properties of quintessential localizations see at [[quality type]].

\hypertarget{SierpExample}{}\subsubsection*{{The example of the Sierpinski topos}}\label{SierpExample}

(\ldots{})

\hypertarget{SimplicialAndCubicalSets}{}\subsubsection*{{Simplicial and cubical sets}}\label{SimplicialAndCubicalSets}

(\ldots{}) [[simplicial set]] (\ldots{})

[[simplicial skeleton]] $\dashv$ [[simplicial coskeleton]]

(\ldots{}) [[cubical set]] (\ldots{})

(\hyperlink{KRRZ11}{Kennett-Riehl-Roy-Zaks (2011)})

\hypertarget{an_open_problem_the_presheaf_topos_over_nonempty_finite_sets}{}\subsubsection*{{An open problem: the presheaf topos over non-empty finite sets}}\label{an_open_problem_the_presheaf_topos_over_nonempty_finite_sets}

\ldots{}

\hypertarget{related_pages}{}\subsection*{{Related pages}}\label{related_pages}

\begin{itemize}%
\item [[Hegelian taco]]


\item [[Science of Logic]]


\item [[adjoint modality]]


\item [[adjoint logic]]


\item [[adjoint triple]]


\item [[level of a topos]]


\item [[negative moment]]


\item [[quality type]]


\item [[graphic category]]


\item [[Attempt to Introduce the Concept of Negative Quantities into Philosophy|Concept of Negative Quantities]]


\item [[construction in philosophy]]


\item [[infinite judgement]]


\item [[co-Heyting boundary]]


\item [[homotopy dimension]]



\end{itemize}
\hypertarget{links}{}\subsection*{{Links}}\label{links}

\begin{itemize}%
\item \href{http://revista.hegelbrasil.org/english-version-introduction/}{Online Journal of the Brazilian Hegel Society}

\end{itemize}
\hypertarget{a_guide_to_the_literature}{}\subsection*{{A guide to the literature}}\label{a_guide_to_the_literature}

On the philosophical side, the lectures notes \hyperlink{Koch09}{Koch (2009)} that suggest the use of [[pure set|non-wellfounded set theory]] as interpretative tool may serve as a good general introduction to Hegel's ideas on logic and metaphysics. \hyperlink{Krahn14}{Krahn (2014)} considers Hegel's concept of Aufhebung in the context of postmodern thought. For lucid accounts of Hegel's concept of dialectics in general consult Brauer (\hyperlink{Brauer82}{1982}) and Wolff (\hyperlink{Wolff10}{2010}) the latter highlighting Hegel as `a philosopher of mathematics' in this context.

On the mathematical side, the book by \hyperlink{RRZ04}{La Palme-Reyes-Zolfaghari (2004)} provides a good general entry to the `mathematics of Lawvere' from an elementary point of view and contains even a page on the adjoint cylinder. Goldblatt's book on [[topos theory]] (\hyperlink{Goldblatt84}{Goldblatt 1984}) covers a good deal of ground yet stays accessible and is available online.

Lawvere introduced the Hegelian concepts in Lawvere (\hyperlink{Law89b}{1989b}). They get some attention in Lawvere (\hyperlink{Law91a}{1991a},\hyperlink{Law92}{1992},\hyperlink{Law94a}{1994a}) with the second containing his `philosophical program'. By all means have a look at \hyperlink{Law96}{Lawvere (1996)}, this together with Lawvere (\hyperlink{Law89a}{1989a},\hyperlink{Law99}{1999}) exposes his ideas on homotopy theory. The work on graphic toposes (\hyperlink{Law89b}{1989b},\hyperlink{Law91b}{1991b},\hyperlink{Law02}{2002}) concerns the \emph{Aufhebungs} relation with the latter containing a discussion of the relevant concepts. \hyperlink{KL89}{Kelly-Lawvere (1989)} provides the technical prerequisites on essential localizations for \emph{Aufhebung}.

The known mathematical results on the Aufhebungs relation are contained in the paper by \hyperlink{KRRZ11}{Kennett-Riehl-Roy-Zaks (2011)} which is based on older phd-works by some of the authors.

Further results on essential localizations can be found in the papers by \hyperlink{BK91}{Borceux-Korotenski (1991)}, \hyperlink{JS96}{Johnstone (1996)}, \hyperlink{VT01}{Vitale (2001)} and \hyperlink{LW11}{Lucyshyn-Wright (2011)} or in \hyperlink{SGA4}{SGA 4}.


\vspace{.5em} \hrule \vspace{.5em}


(\href{http://www.in-situ-art-society.com/docs/2015-09-18+19_aufhebung_flyer.pdf}{full pdf} by \href{http://www.in-situ-art-society.com/aufhebung.html}{In Situ Art Society})


\vspace{.5em} \hrule \vspace{.5em}
\hypertarget{references}{}\subsection*{{References}}\label{references}

\begin{itemize}%
\item [[Michael Artin|M.Artin]], [[Alexander Grothendieck|A.Grothendieck]], [[J. L. Verdier]] (eds.), \emph{Th\'e{}orie des Topos et Cohomologie Etale des Sch\'e{}mas - SGA 4}, LNM \textbf{269} Springer Heidelberg 1972. (sec. IV 7.6., pp.414-416)


\item [[John Baez|J. C. Baez]], [[Mike Shulman|M. Shulman]], \emph{Lectures on n-categories and cohomology}, pp.1-68 in J. C. Baez, P. May (eds.), \emph{Towards Higher Categories}, Springer Heidelberg 2010. (\href{http://math.ucr.edu/home/baez/cohomology.pdf}{preprint}) 


\item F. Berto, \emph{Hegel's Dialectic as a Semantic Theory: An Analytical Reading}, European Journal of Philosophy \textbf{15} no.1 (2007) pp.19-39. (\href{http://philpapers.org/rec/BERHDA}{philpapers})


\item [[Francis Borceux|F. Borceux]], M. Korostenski, \emph{Open Localizations}, JPAA \textbf{74} (1991) pp.229-238.


\item Robert Brandom, \emph{Selbstbewusstsein und Selbstkonstitution} , pp.46-77 in Halbig, Quante, Siep (eds.), \emph{Hegels Erbe} , Suhrkamp Frankfurt am Main 2004.


\item Oscar Daniel Brauer, \emph{Dialektik der Zeit - Untersuchungen zu Hegels Metaphysik der Weltgeschichte} , frommann-holzboog Stuttgart 1982.


\item J. Climent Vidal, J. Soliveres Tur, \emph{Functors of Lindenbaum-Tarski, Schematic Interpretations, and Adjoint Cylinders between Sentential Logics}, Notre Dame Journal of Formal Logic \textbf{49} no.2 (2008) pp.185-202. (\href{https://projecteuclid.org/download/pdfview_1/euclid.ndjfl/1210859927}{pdf}) 


\item H. F. Fulda, \emph{Aufheben}, pp.318-320 in Ritter (ed.), \emph{Historisches W\"o{}rterbuch der Philosophie}, Schwabe Basel 1971. (\href{http://archiv.ub.uni-heidelberg.de/volltextserver/16307/}{Heidi})


\item M. Giovanelli, \emph{Trendelenburg and the Concept of Negation in Post-Kantian Philosophy}, to appear in Munk (ed.), \emph{Proceedings of the Amsterdam 2010 Colloquium: Natur des Denkens und das Denken der Natur: Spinoza, Trendelenburg und H. Cohen}. (\href{https://www.dropbox.com/s/mxm4db8id7je924/Giovanelli%2C%20Marco%20-%20Trendenleburg%20and%20the%20Concept%20of%20Negation%20in%20Post-Kantian%20Philosophy%20Proceedings%20of%20the%20Connference.pdf?dl=0}{draft})


\item R. Goldblatt, \emph{Topoi - The Categorical Analysis of Logic}, 2nd ed. North-Holland Amsterdam 1984. (Dover reprint New York 2006; \href{http://projecteuclid.org/euclid.bia/1403013939}{project euclid})


\item [[G. W. F. Hegel]], \emph{Differenz des Fichte'schen und Schelling'schen Systems der Philosophie}, pp.7-138 in Moldenhauer, Michel (eds.), \emph{Werke 2}, Suhrkamp Frankfurt 19861801.


\item [[G. W. F. Hegel]], \emph{Begriffslehre f\"u{}r die Mittelklasse (1809/10)}, pp.139-162 in Moldenhauer, Michel (eds.), \emph{Werke 4}, Suhrkamp Frankfurt 1986.


\item [[G. W. F. Hegel]], \emph{[[Science of Logic|Wissenschaft der Logik]] I}, Suhrkamp Frankfurt 19861812/13; revised 1831.


\item [[Peter Johnstone|P. Johnstone]], \emph{Remarks on Quintessential and Persistent Localizations}, TAC \textbf{2} no.8 (1996) pp.90-99. (\href{http://www.tac.mta.ca/tac/volumes/1996/n8/n8.pdf}{pdf})


\item [[G. M. Kelly]], [[F. W. Lawvere]], \emph{On the Complete Lattice of Essential Localizations}, Bull. Soc. Math. de Belgique \textbf{XLI} (1989) pp.289-319.


\item C. Kennett, [[Emily Riehl|E. Riehl]], M. Roy, M. Zaks, \emph{Levels in the toposes of simplicial sets and cubical sets}, JPAA \textbf{215} no.5 (2011) pp.949-961. (\href{http://arxiv.org/abs/1003.5944}{preprint})


\item A. F. Koch, \emph{Hegel's Science of Logic}, Lectures Emory University 2009. (\href{http://www.philosophie.uni-hd.de/md/philsem/personal/koch_hegel_science_of_logic_winter_2016.pdf}{pdf})


\item R. Krahn, \emph{The Sublations of Dialectics: Hegel and the Logic of Aufhebung}, PhD Guelf University Ontario 2014. (\href{https://atrium.lib.uoguelph.ca/xmlui/handle/10214/8222}{link})


\item M. La Palme Reyes, [[Gonzalo E. Reyes|G. E. Reyes]], H. Zolfaghari, \emph{Generic Figures and their Glueings}, Polimetrica Milano 2004.


\item [[F. W. Lawvere]], \emph{Qualitative Distinctions between some Toposes of Generalized Graphs}, Cont. Math. \textbf{92} (1989) pp.261-299.


\item [[F. W. Lawvere]], \emph{Display of graphics and their applications, as exemplified by 2-categories and the Hegelian ``taco''}, Proceedings of the first international conference on algebraic methodology and software technology University of Iowa, May 22-24 1989, Iowa City, pp.51-74.


\item [[F. W. Lawvere]], \emph{[[Some Thoughts on the Future of Category Theory]]}, pp.1-13 in LNM \textbf{1488} Springer Heidelberg 1991.


\item [[F. W. Lawvere]], \emph{More on Graphic Toposes}, Cah. Top. G\'e{}om. Diff. Cat. \textbf{XXXII} no.1 (1991) pp.5-10. (\href{archive.numdam.org/article/CTGDC_1991__32_1_5_0.pdf}{pdf}) 


\item [[F. W. Lawvere]], \emph{Categories of Space and Quantity}, pp.14-30 in: J. Echeverria et al (eds.), \emph{The Space of mathematics}, de Gruyter Berlin 1992.


\item [[F. W. Lawvere]], \emph{Cohesive Toposes and Cantor's `lauter Einsen'}, Phil. Math. \textbf{2} no.3 (1994) pp.5-15.


\item [[F. W. Lawvere]], \emph{Tools for the Advancement of Objective Logic: Closed Categories and Toposes}, pp.43-56 in: J. Macnamara, G. E. Reyes (eds.), \emph{The Logical Foundations of Cognition}, Oxford UP 1994.


\item [[F. W. Lawvere]], \emph{[[Unity and Identity of Opposites in Calculus and Physics]]}, App. Cat. Struc \textbf{4} (1996) pp.167-174.


\item [[F. W. Lawvere]], \emph{Kinship and Mathematical Categories}, pp.411-425 in: R. Jackendoff, P. Bloom, K. Wynn (eds), \emph{Language, Logic, and Concepts - Essays in Memory of John Macnamara}, MIT Press 1999.


\item [[F. W. Lawvere]], \emph{Adjoint Cylinders}, message to catlist November 2000. (\href{http://permalink.gmane.org/gmane.science.mathematics.categories/1683}{link})


\item [[F. W. Lawvere]], \emph{Linearization of graphic toposes via Coxeter groups}, JPAA \textbf{168} (2002) pp.425-436.


\item [[F. W. Lawvere]], \emph{Axiomatic cohesion}, TAC \textbf{19} no.3 (2007) pp. 41--49. (\href{http://www.tac.mta.ca/tac/volumes/19/3/19-03.pdf}{pdf})


\item [[F. W. Lawvere]], \emph{Open Problems in Topos Theory}, ms. (2009). (\href{http://cheng.staff.shef.ac.uk/pssl88/lawvere.pdf}{pdf})


\item [[F. W. Lawvere]], \emph{Combinatorial Topology}, message to catlist November 2013. (\href{http://comments.gmane.org/gmane.science.mathematics.categories/7920}{link})


\item [[F. W. Lawvere]], [[Matías Menni|M. Menni]], \emph{Internal choice holds in the discrete part of any cohesive topos satisfying stable connected codiscreteness}, TAC \textbf{30} no. 26 (2015) pp.909-932. (\href{http://www.tac.mta.ca/tac/volumes/30/26/30-26abs.html}{abstract})


\item [[Mike Shulman]], \emph{Brouwer's fixed-point theorem in real-cohesive homotopy type theory}, Mathematical Structures in Computer Science Vol 28 (6) (2018): 856-941 (\href{https://arxiv.org/abs/1509.07584}{arXiv:1509.07584}, \href{https://doi.org/10.1017/S0960129517000147}{doi:10.1017/S0960129517000147})


\item [[Rory Lucyshyn-Wright|R. Lucyshyn-Wright]], \emph{Totally Distributive Toposes}, arXiv.1108.4032 (2011). (\href{http://arxiv.org/pdf/1108.4032v3}{pdf})


\item [[Francisco Marmolejo|F. Marmolejo]], [[Matías Menni|M. Menni]], \emph{Level $\epsilon$} , arXiv:1909.12757 (2019). (\href{https://arxiv.org/abs/1909.12757}{abstract})


\item [[Matías Menni|M. Menni]], \emph{Algebraic Categories whose Projectives are Explicitly Free}, TAC \textbf{22} no.29 (2009) pp.509-541. (\href{http://www.tac.mta.ca/tac/volumes/22/20/22-20.pdf}{pdf})


\item [[Matías Menni|M. Menni]], \emph{Bimonadicity and the Explicit Base Property}, TAC \textbf{26} no.22 (2012) pp.554-581. (\href{http://www.tac.mta.ca/tac/volumes/26/22/26-22.pdf}{pdf})


\item J. Petitot, \emph{La Neige est Blanche ssi\ldots{} Pr\'e{}dication et Perception}, Math. Inf. Sci. Hum \textbf{35} no.140 (1997) pp.35-50. (\href{http://archive.numdam.org/article/MSH_197_140_35_0.pdf}{pdf})


\item J. P. Pertille, \emph{Aufhebung - Meta-categoria da L\'o{}gica Hegeliana}, Revista Eletr\^o{}nica Estudos Hegelianos \textbf{8} no.15 (2011) pp.58-66. (\href{http://www.hegelbrasil.org/reh_2011_2_art4.pdf}{pdf})


\item [[Bob Rosebrugh|R. Rosebrugh]], R. J. Wood, \emph{Distributive Adjoint Strings}, TAC \textbf{1} no.6 (1995) pp.119-145. (\href{http://www.tac.mta.ca/tac/volumes/1995/n6/v1n6.pdf}{pdf})


\item [[R. Street]], \emph{The petit topos of globular sets}, JPAA \textbf{154} (2000) pp.299-315.


\item [[Enrico Vitale|E. M. Vitale]], \emph{Essential Localizations and Infinitary Exact Completions}, TAC \textbf{8} no.17 (2001) pp.465-480. (\href{http://www.tac.mta.ca/tac/volumes/8/n17/n17.pdf}{pdf})


\item Michael Wolff, \emph{Der Begriff des Widerspruchs - Eine Studie zur Dialektik Kants und Hegels} , Frankfurt UP $^2$2010.


\item [[Gavin C. Wraith]], \emph{Using the Generic Interval}, Cah. Top. G\'e{}om. Diff. Cat. \textbf{XXXIV} 4 (1993) pp.259-266. (\href{http://archive.numdam.org/ARCHIVE/CTGDC/CTGDC_1993__34_4/CTGDC_1993__34_4_259_0/CTGDC_1993__34_4_259_0.pdf}{pdf})



\end{itemize}


\end{document}