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

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

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

[[!include foundations - 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{ETCC}{ETCC: Lawvere (1963) and beyond}\dotfill \pageref*{ETCC} \linebreak
\noindent\hyperlink{ET2CC}{ET2CC: an elementary theory of the 2-category of categories}\dotfill \pageref*{ET2CC} \linebreak
\noindent\hyperlink{remark}{Remark}\dotfill \pageref*{remark} \linebreak
\noindent\hyperlink{related_entries}{Related entries}\dotfill \pageref*{related_entries} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


[[!redirects category of categories]]

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

\begin{quote}%
The explicit formulation of the principles of category theory \ldots{} is still in need of improved axiomatization. I will be overjoyed when some young person responds to that need. Lawvere (\hyperlink{Law16}{2016}, p.1)


\end{quote}
\textbf{Elementary theory of the category of categories}, or \emph{ETCC} for short, is in a broad sense an appropriate name for any [[first order logic|first order]] [[theory]] axiomatizing the metacategory [[Cat|CAT]] of categories that forms the intuitive background for naive [[category theory]] with a view to the categorical [[foundations of mathematics]].

Historically, the first attempt to formulate such a system of axioms has been undertaken by [[William Lawvere|F. W. Lawvere]] in his dissertation in 1963 and a subsequent publication (Lawvere 1966), and is this system that is sometimes referred to as \emph{the} ETCC. We will discuss it together with subsequent attempts to repair its technical flaws under this heading in the next section.

Taking into account that the intuitively given category of categories is a 2-category, from an \emph{n-categorical perspective} one would prefer to axiomatize CAT directly as a 2-category, and the resulting \emph{elementary theory of the 2-category of categories}, or \textbf{ET2CC}, is the subject of a subsequent \hyperlink{ET2CC}{section}.

\hypertarget{ETCC}{}\subsection*{{ETCC: Lawvere (1963) and beyond}}\label{ETCC}

\begin{quote}%
In 1964, F. W. Lawvere proposed to found mathematics on the category of categories. When he lectured on this at an international conference in Jerusalem, [[Alfred Tarski]] objected: ``But what is a category if not a set of objects together with a set of morphisms?'' Lawvere replied by pointing out that set theory axiomatized the binary relation of membership, while category theory axiomatized the ternary relation of composition. \footnote{\hyperlink{LS11}{Lambek\&Scott 2009}, pp.171-172.} 


\end{quote}
W. Lawvere launched in the early 60s an ambitious long-term project to replace membership based mathematics by more invariant concepts in order to arrive at a renewal of analysis and geometry adapted for the needs of modern (continuum) physics.

His 1963 [[Functorial Semantics of Algebraic Theories|dissertation]] takes issue with set-theoretic notions at various levels, e.g. redefining [[adjoint functors]] via [[comma categories]] in order to avoid reference to Hom-sets, but the most radical step is the attempt at a first-order axiomatization of the category of categories that he proposes to bypass [[set theory]] completely at a foundational level.

The system of axioms that he published in a more elaborate form in 1966, is layered in three parts:

\begin{itemize}%
\item The \emph{elementary theory of [[category|abstract categories]]} (ETAC) has besides equality three primitive predicates for domain, codomain, and composition and as axioms the usual axioms for identity, associativity etc.


\item The \emph{basic theory} (BT) adds axioms for e.g. \textbf{1}, a one-morphism category, \textbf{2}, a category with one non-identity morphism between two objects, \textbf{3}, a category with a commutative triangle of morphisms, and various exactness properties among which is the existence of exponentials. This permits then to define e.g. sets as discrete objects $A$ with $A^1\cong A^2$ i.e. as categories whose morphisms are all identity morphisms. The final axiom of the basic theory tries to express the \emph{[[dense subcategory|density]]-adequacy} of the simple categories like \textbf{1} etc. within the metacategory.


\item The \emph{stronger theory} (ST) then adds two further axioms to the basic theory concerning existence of completions and an `inaccessible' category (p.18).



\end{itemize}
As pointed out by [[John Isbell|J. Isbell]] in 1967, one of Lawvere's results (namely, the theorem on the `construction of categories by description' on p.14) was mistaken, which left the axiomatics dangling with insufficient power to construct models for categories. Several ways to overcome these problems where suggested in the following but no system achieved univocal approval (cf. Blanc-Preller(1975), Blanc-Donnadieu(1976), Donnadieu(1975), McLarty(1991)).

As ETCC also lacked the simplicity of [[ETCS]], it rarely played a role in the practice of category theory in the following and was soon eclipsed by [[topos theory]] in the attention of the research community that generally preferred to hedge their foundations with appeals to G\"o{}del-Bernays set-theory or Grothendieck universes.

Nevertheless, the axiomatic treatment of 1963/66 contained also the seminal idea to internally define discrete set-theoretic `foundations' within a bigger category, that will later on play a central role in Lawvere's approach to [[cohesion]]. So when one can view the 1964 ETCS as a forerunner of the Lawvere-Tierney axioms for an elementary topos, one could view ETCC as an anticipation of the 2007 axioms for a [[cohesive topos]].

\hypertarget{ET2CC}{}\subsection*{{ET2CC: an elementary theory of the 2-category of categories}}\label{ET2CC}

For Lawvere ETCS and ETCC have a different status, the first provides abstract constant sets as convenient carriers for structured objects, whereas the latter provides the overall ontology of concepts, the intellectual working space.

Yet from an \textbf{n-categorical perspective}, the categories they axiomatize differ in level only and so it is tempting to think of the second as a sort of [[categorification]] of the first: this suggests to posit an abstract concept `foundation' that at the level of ETCS shows up as set theory, gets refined to `category theory' one step higher, then as 2-category theory, and so on.

Now what comes closest to such a vision at the moment is probably [[homotopy type theory]] but truncating such a tower of `foundations' might be still relevant for applications where concepts of [[2-topos|2-toposes]] are considered. It would also provide an axiomatisation for the `familiar' meta 2-category CAT suggestive for the generalization to n-CAT.

At the time no such axiomatisation is fully worked out, but in 2009 [[Mike Shulman|M. Shulman]] gave a rough sketch of how such an \textbf{elementary theory of the 2-category of categories} (ET2CC) should look like:

\begin{quote}%
Firstly, some exactness axioms amounting to its being a ``2-pretopos'' in the sense I described here:[[michaelshulman:2-categorical logic]] . This gives you an ``internal logic'' like that of an ordinary (pre)topos.

Secondly, the existence of certain exponentials (this is optional).

Thirdly, the existence of a ``classifying discrete opfibration'' el$\rightarrow$set in the sense introduced by [[Mark Weber]] (``Yoneda structures from 2-toposes'') which serves as ``the category of sets,'' and internally satisfies some suitable axioms.

Finally, a ``well-pointedness'' axiom saying that the terminal object is a generator, as is the case one level down with in ETCS. This is what says you have a 2-category of categories, rather than (for instance) a 2-category of stacks.

Once you have all this, you can use finite 2-categorical limits and the ``internal logic'' to construct all the usual concrete categories out of the object ``set''. (\hyperlink{MO-CC}{Shulman 2009})


\end{quote}
We can see here how at the end Lawvere's idea of internal set-theoretic `foundations' resurfaces. Such a level of \emph{discreteness} seems to be pervasive in this context and e.g. the approach of Przybylek (2014) to the concept of internal 2-cartesian closure takes discreteness as a starting point.

\hypertarget{remark}{}\subsubsection*{{Remark}}\label{remark}

Note that already B. Walters and R. Street conceived of their work on [[Yoneda structure|Yoneda structures]] in the early 1970s as a 2-dimensional version of ETCC (cf. Walters \hyperlink{W71}{1971}).

\hypertarget{related_entries}{}\subsection*{{Related entries}}\label{related_entries}

\begin{itemize}%
\item [[ETCS]]
\item [[Yoneda structure]]
\item [[Functorial Semantics of Algebraic Theories]]
\item [[foundations of mathematics]]

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

\begin{itemize}%
\item F. W. Lawvere, \emph{[[Functorial Semantics of Algebraic Theories]]}, Ph.D. thesis, Columbia University New York 1963. (With an author's comment and a supplement in: Reprints in Theory and Applications of Categories, no.5 (2004) pp.1-121 (\href{http://www.tac.mta.ca/tac/reprints/articles/5/tr5.pdf}{pdf}))

\end{itemize}
A revised version of the axioms appears as

\begin{itemize}%
\item F. W. Lawvere, \emph{The Category of Categories as a Foundation for Mathematics}, pp.1-20 in Eilenberg, Harrison, MacLane, R\"o{}hrl (eds.), \emph{Proceedings of the Conference on Categorical Algebra - La Jolla 1965}, Springer Heidelberg 1966.

\end{itemize}
Important reviews of the paper pointing out technical problems appeared here

\begin{itemize}%
\item [[John Isbell|J. R. Isbell]], \emph{Review of Lawvere 1966}, Mathematical Reviews \textbf{34} (1967) \#7332.


\item G. Blanc. A. Preller, \emph{Lawvere's basic theory of the category of categories}, JSL \textbf{40} (1975) pp.14-18.



\end{itemize}
A more recent view of Lawvere exposing in particular his `M\"u{}nchhausen' approach to set-theoretic `foundations' is in

\begin{itemize}%
\item [[William Lawvere|F. W. Lawvere]], \emph{Foundations and Applications: Axiomatization and Education}, Bulletin of Symbolic Logic \textbf{9} no.2 (2003) pp.213-224. (\href{https://www.math.ucla.edu/~asl/bsl/0902/0902-006.ps}{ps-preprint})

\end{itemize}
Lawvere briefly comments on his 1965 system 50 years later p.6 in

\begin{itemize}%
\item F. W. Lawvere, \emph{Alexander Grothendieck and the Concept of Space}, address CT15 Aveiro 2016. (\href{http://www.acsu.buffalo.edu/~wlawvere/GrothendiekAveiro15.htm}{link})

\end{itemize}
An insightful and non-partisan view of ETCC can be found in a section of:

\begin{itemize}%
\item [[Andreas Blass]], Yuri Gurevich, \emph{Why Sets?}, Bull. Europ. Assoc. Theoret. Comp. Sci. \textbf{84} (2004) pp.139-156. (\href{http://www.math.lsa.umich.edu/~ablass/set.pdf}{draft})

\end{itemize}
Alternative or complementary approaches are

\begin{itemize}%
\item [[J. Bénabou]], \emph{Fibered Categories and the foundations of naive category theory}, JSL \textbf{50} (1985) pp.10-37. (\href{http://www.cwru.edu/artsci/phil/Benabou%20Fibered.pdf}{preprint})


\item G. Blanc, \emph{Propri\'e{}t\'e{}s du Premier Ordre et Cat\'e{}gories}, Cah. Top. G\'e{}om. Diff. Cat. \textbf{16} (1975) pp.222-224. (\href{http://archive.numdam.org/ARCHIVE/CTGDC/CTGDC_1975__16_3/CTGDC_1975__16_3_217_0/CTGDC_1975__16_3_217_0.pdf}{Colloque Amiens 1975 proceedings},6.81 MB)


\item G. Blanc, M. R. Donnadieu, \emph{Axiomatisation de la cat\'e{}gorie des cat\'e{}gories}, Cah.Top.G\'e{}om.Diff.Cat. \textbf{XVII} no. 2 (1976) pp.1-35. (\href{http://archive.numdam.org/ARCHIVE/CTGDC/CTGDC_1976__17_2/CTGDC_1976__17_2_135_0/CTGDC_1976__17_2_135_0.pdf}{pdf})


\item M. W. Bunder, \emph{Category Theory Based on Combinatory Logic}, Arch. Math. Logik \textbf{24} (1984) pp.1-15. (\href{http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=GDZPPN002045680}{gdz})


\item N. C. A. da Costa, O. Bueno, A. Volkov, \emph{Outline of a Paraconsistent Category Theory}, pp.95-114 in Weingartner (ed.), \emph{Alternative Logics. Do Science Need Them?}, Springer Heidelberg 2004. (\href{http://homepage.mac.com/otaviobueno/.Public/ParacCategTheory.pdf}{draft})


\item M. R. Donnadieu, \emph{D\'e{}monstration du th\'e{}or\`e{}me de construction de cat\'e{}gories d'apr\`e{}s description de Lawvere sous certains axiomes}, C. R. Acad. Sc. Paris \textbf{280} s\'e{}rie A (1975) pp.307-308. (\href{http://gallica.bnf.fr/ark:/12148/bpt6k6228238v/f59.image}{gallica})


\item E. Engeler, H. R\"o{}hrl, \emph{On the problem of foundations of category theory}, Dialectica \textbf{23} (1969) pp.58-66.


\item [[Colin McLarty|C. McLarty]], \emph{Axiomatizing a category of categories}, JSL \textbf{56} (1991) pp.1243-1260. (\href{http://www.cwru.edu/artsci/phil/AxiomatizingCategoryCategories.pdf}{preprint})


\item L. Oubi\~n{}a, \emph{Teor\'i{}a axiomatica de categor\'i{}as}, Cah. Top. G\'e{}om. Diff. Cat., \textbf{X} no. 3 (1968) pp.375-394. (\href{http://www.numdam.org/numdam-bin/item?id=CTGDC_1968__10_3_375_0}{numdam})


\item J. Sonner, \emph{On the formal definition of categories}, Math. Zeitschr. \textbf{80} (1962) pp.163-176. (\href{http://gdz.sub.uni-goettingen.de/dms/load/img/?PID=GDZPPN002392232}{gdz})


\item H. Tsukuda, \emph{Category theory not based upon set theory}, Sci. Papers College Gen. Ed. Univ. Tokyo \textbf{31} (1981) pp.1-24.



\end{itemize}
A critical view of purely categorical foundations can be found in a series of \href{http://math.stanford.edu/~feferman/papers.html}{papers} by S. Feferman e.g. :

\begin{itemize}%
\item [[Solomon Feferman|S. Feferman]], \emph{Categorical Foundations and Foundations of Category Theory}, pp.149-169 in Butts\&Hintikka (eds.), \emph{Logic, Foundations of Mathematics, and Computability Theory}, Reidel Dordrecht 1977. (\href{http://math.stanford.edu/~feferman/papers/Cat_founds.pdf}{pdf})

\end{itemize}
An inconsistency in a recent formalisation by Feferman is discussed in

\begin{itemize}%
\item M. Ernst, \emph{The Prospects of Unlimited Category Theory: Doing What Remains to be Done}, Review Symbolic Logic \textbf{8} no.2 (2015) pp.306-327.

\end{itemize}
The above remarks from [[Mike Shulman|M. Shulman]] come from the following MO discussion that also offers additional perspectives on ETCC and ET2CC:

\begin{itemize}%
\item mathoverflow, \emph{Category of categories as a foundation for mathematics}, December 2009 . (\href{http://mathoverflow.net/questions/9269/category-of-categories-as-a-foundation-of-mathematics}{link})

\end{itemize}
See also

\begin{itemize}%
\item [[Colin McLarty|C. McLarty]], [[Andrei Rodin|A. Rodin]], \emph{A Discussion between Colin McLarty and Andrei Rodin about Structuralism and Categorical Foundations of Mathematics}, n.d. (\href{http://canoe.ens.fr/~rodin/spip/IMG/pdf/colin.pdf}{pdf})


\item M. R. Pryzbylek, \emph{Logical systems I: Lambda calculi through discreteness}, arxiv:1306.3703v3 (2014). (\href{http://arxiv.org/pdf/1306.3703v3}{pdf})


\item [[Jim Lambek]], [[Phil Scott]], \emph{Reflections on Categorical Foundations of Mathematics}, pp.171-185 in Sommaruga (ed.), \emph{Foundational Theories of Classical and Constructive Mathematics}, Springer New York 2011. (\href{https://www.site.uottawa.ca/~phil/papers/LS11.final.pdf}{draft})


\item [[Bob Walters]], \emph{Yoneda 2Categories} , talk at the University of New South Wales December !971. (\href{https://dl.dropboxusercontent.com/u/92056191/Archive/temporary_new_material/yoneda.pdf}{manuscript})



\end{itemize}
[[!redirects elementary theory of the 2-category of categories]]



\end{document}