\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*{2009 May changes}

\hypertarget{archive}{}\subsubsection*{{Archive}}\label{archive}

[[!include all changes]]

Archive of changes made during May 2009. The substantive content of this page should \textbf{not} be altered. For past versions of this page beyond its own history, start \href{http://ncatlab.org/nlab/revision/2009+June+changes/773}{here} and work backwards.


\vspace{.5em} \hrule \vspace{.5em}
\hypertarget{20090530}{}\section*{{2009-05-30}}\label{20090530}

\begin{itemize}%
\item [[Toby Bartels]]: I don't understand $diag$ at [[Atiyah Lie groupoid]].


\item [[Urs Schreiber|Urs]]:

\begin{itemize}%
\item started [[connection on a bundle]] in reply to discussion \href{http://sbseminar.wordpress.com/2009/05/28/local-systems-what-do-you-know-about-connections/#comment-5791}{here}


\item added to [[distributor]] the description in terms of colimit preserving functors on presheaf categories and added corresponding remarks at the beginning of [[symmetric monoidal (infinity,1)-category of presentable (infinity,1)-categories]]


\item created [[Atiyah Lie-groupoid]] and [[principal bundle]] to link to from the blog discussion \href{http://sbseminar.wordpress.com/2009/05/28/local-systems-what-do-you-know-about-connections/#comment-5791}{here}



\end{itemize}

\item [[Toby Bartels]]:

\begin{itemize}%
\item A new query at [[sieve]].
\item Wrote [[finitely cocomplete category]] by copying [[finitely complete category]] and cutting it down.
\item Responded to Bruce at [[coverage]], to Urs at [[sieve]], and to Eric at [[category of elements]].

\end{itemize}


\end{itemize}
\hypertarget{20090529}{}\section*{{2009-05-29}}\label{20090529}

\begin{itemize}%
\item [[Todd Trimble]] kindly created [[quasitopos]].


\item [[Urs Schreiber|Urs]]

\begin{itemize}%
\item reacted to [[Bruce Bartlett|Bruce]] at [[sieve]]

\end{itemize}

\item [[Bruce Bartlett|Bruce]]

\begin{itemize}%
\item added a question at [[coverage]]


\item added comments to [[sieve]]



\end{itemize}

\item [[Urs Schreiber|Urs]]

\begin{itemize}%
\item added a long section ``A detailed description of what's going on'' to [[sieve]], meant to be pedagogical, veery small-stepped. I'd be interested to hear from non--experts to which extent they find this bit helpful


\item replied (to [[Toby Bartels|Toby]], I presume?) at [[sieve]]


\item created [[Dijkgraaf-Witten theory]]



\end{itemize}


\end{itemize}
\hypertarget{20090528}{}\section*{{2009-05-28}}\label{20090528}

\begin{itemize}%
\item [[Urs Schreiber|Urs]]

\begin{itemize}%
\item created [[On the Classification of Topological Field Theories]], [[factorization algebra]]


\item created [[category of generalized elements]] as a place for the material that was at [[Exploding a Category]] -- I am voting for not using that explosive terminology


\item expanded [[path category]] and created [[Moore path category]] in the process



\end{itemize}

\item [[David Roberts]]: Added comment to [[plus construction]] re disambiguation (recall the [[Quillen plus construction]]).



\end{itemize}
\hypertarget{20090527}{}\section*{{2009-05-27}}\label{20090527}

\begin{itemize}%
\item [[Toby Bartels]]: Last night, I made some lists of entries relevant to [[constructive mathematics]], starting with the back links and classifying them. (Hopefully the third list will become so large that we can't really use it, but for now I want to keep track of which entries have that material.)


\item [[Urs Schreiber|Urs]]

\begin{itemize}%
\item created [[Quantization as a Kan Extension]]


\item created [[plus construction]] -- the material that should go there is currently at [[sheaf]]; should be extracted from there eventually


\item added a link to the great Catsters video material to [[limits and colimits by example]] and created [[The Catsters]] and [[Eugenia Cheng]]



\end{itemize}

\item [[David Corfield|David]] created [[extended natural numbers]], [[corecursion]], and [[coalgebra for an endofunctor]]. Moved proof of terminal coalgebra being fixed point to [[terminal coalgebra]]. `Coalgebra' still needs disambiguation.



\end{itemize}
\hypertarget{20090526}{}\section*{{2009-05-26}}\label{20090526}

\begin{itemize}%
\item [[Bruce Bartlett|Bruce]] filled in a small thing at [[semisimple category]].


\item [[Urs Schreiber|Urs]]:

\begin{itemize}%
\item created [[path integral]]


\item added to [[sieve]] a -- potentially long-winded -- lemma with detailed proof that spells out details of the fact that every subfunctor is the coimage of a morphism out of a coproduct of representables


\item created [[separated presheaf]]


\item further worked on the section ``in terms of geometric embedding'' at [[sheaf]]



\end{itemize}


\end{itemize}
\hypertarget{20090525}{}\section*{{2009-05-25}}\label{20090525}

\begin{itemize}%
\item [[Toby Bartels]]: Copied comments on Google and page names to the Caf\'e{} \href{http://golem.ph.utexas.edu/category/2009/05/nlab_more_general_discussion.html#c024021}{here}.


\item [[Urs Schreiber|Urs]]

\begin{itemize}%
\item expanded and restructured [[sieve]] -- introduced the explicit \emph{distinction} between the notion of \emph{sieve} and that of \emph{subfunctor} and made their \emph{bijection} explicit: this seems to be the standard way that ``sieve'' is used in the literature: authors don't seem to say ``sieve'' synonymously with ``subfunctor'', but say ``sieve'' if they explicitly mean the \emph{set} of elements of the subfunctor. There is a bijection, but not an equality of concepts.


\item further expanded [[image]] and [[coimage]]


\item edited and replied at [[semisimple category]]



\end{itemize}

\item [[Bruce Bartlett|Bruce]] responded to comments at [[semisimple category]]\ldots{}and then got stuck. Can anyone help? Update from Future Bruce to Past Bruce: solved.


\item [[Zoran Skoda]]: \emph{as far as google (and other search machine's) counterarguments of Toby (see down 22. may) I still disagree. I do care if our stuff is well indexed and hence better used by anybody looking for answer at the google including us; and I do not care about vanity issues of pro or contra google movements. If somebody gets directed to a less relevant page this is creating noise, and showing a less convenient side of our work. If effectivity is not important why are we doing this ?}


\item [[Urs Schreiber|Urs]]

\begin{itemize}%
\item further developed the section ``In terms of geometric embedding'' at [[sheaf]], but will continue later. I am lacking (at least) one argument in one of the proofs currently\ldots{}


\item created [[Bertrand Toën]] (and [[Bertrand Toen]] as a redirect)



\end{itemize}


\end{itemize}
\hypertarget{20090524}{}\section*{{2009-05-24}}\label{20090524}

\begin{itemize}%
\item [[Toby Bartels]]:

\begin{itemize}%
\item Cleaned up [[Cauchy space]] a bit.
\item An answer for [[Mike Shulman]] at [[subsequential space]].
\item A question for [[Bruce Bartlett]] at [[semisimple category]].

\end{itemize}

\item [[Todd Trimble|Todd]]: Added a section ``morphisms of manifolds'' to [[manifold]] which attempts to enlarge the notion of pseudogroup, so as to get general notions of map for general notions of manifold. However, this is ``original research'' and should be vetted -- I don't see the enlarged notion (or an equivalent) in any of the literature I've read.


\item [[Bruce Bartlett|Bruce]]: started/added material to some pages related to fusion categories, like [[fusion category]], [[Pivotal symbols]] (this name needs to be changed to fit the naming conventions), [[semisimple category]] and [[rigid monoidal category]].


\item [[Urs Schreiber|Urs]]:

\begin{itemize}%
\item started expanding [[sheaf]] -- my goal is (as now indicated) to give a full derivation of how a geometric morphism into a presheaf category defines a Grothendieck topology and sheaves with respect to that -- but my machine's battery runs low and will leave me offline any minute now, so will have to continue later (darn technology\ldots{})


\item many thanks to [[Bruce Bartlett|Bruce]] for expanding [[fusion category]] and creating the relevant further entries


\item created a stub for [[fusion category]]


\item created a stub for [[String field theory]]


\item created [[A Survey of Cohomological Physics]]


\item added cross-links to [[monoidal category]] and [[manifold]]



\end{itemize}


\end{itemize}
\hypertarget{20090523}{}\section*{{2009-05-23}}\label{20090523}

\begin{itemize}%
\item [[Toby Bartels]]:\begin{itemize}%
\item Created [[Banach space]]s. I need to at least describe products and coproducts in $Ban$.


\item Another example, Banach spaces, at [[internal hom]].


\item Looking at other things that Urs has done, the problem may be this: If you want to put an equation within a bullet list, then you either have to put no blank lines between the equation and the surrounding text

\begin{displaymath}
like this
\end{displaymath}
or put enough spacing before the equation to match the indentation of the list

\begin{displaymath}
like this
\end{displaymath}
or, of course, both

\begin{displaymath}
like this
\end{displaymath}
but it will fall outside of the bullet list if you do neither



\end{itemize}


\end{itemize}
\begin{displaymath}
like this
\end{displaymath}
\begin{itemize}%
\item [[Bruce Bartlett|Bruce]]:\begin{itemize}%
\item Added example of the internal hom in super vector spaces to [[internal hom]].
\item Urs: I tried to understand what went wrong with your query box example for [[Tychonoff theorem]] but I think the roll-back has removed the original problem from the records.

\end{itemize}


\end{itemize}
\hypertarget{20090522}{}\section*{{2009-05-22}}\label{20090522}

\begin{itemize}%
\item [[Toby Bartels]]:

\begin{itemize}%
\item Expanded [[centipede mathematics]] and [[negative thinking]], which [[David Corfield]] created yesterday.
\item In response to Zoran immediately below, I don't think that we should change what works for us to fit Google. It's Google's job to give good search results, not ours to optimise Google's finding us, which Google tries to prevent anyway. That said, I agree with you about the page names, for other reasons. (Note to all: There is discussion \href{http://golem.ph.utexas.edu/category/2009/05/nlab_more_general_discussion.html#c023953}{here}.)

\end{itemize}

\item [[Zoran Škoda]]: created [[comorphism]] (in sheaf theory); there is hard to find a sensible and comprehensive account in the literature. Note that the treatment is more general than in the usage for the case of ringed spaces. By the way, the server is very erratic tonight, and having sometimes responses delayed by 5-10 minutes. On the other hand I strongly disagree with the changes of the names of entries massively being done today by Eric: he moves infinity-category into $\infty$-category. Though this is graphically appealing, google and others put higher in search results items which have search name in the title, and the entries they index are index basically by the ascii. I want to see nlab entries high in the google search, this makes our effort more useful. Fancy graphics can be WITHIN the entry, and prefereably in this decade still not in the title. I would do the redirects in the symbol variant of the title instead!! What the others think ?


\item [[Urs Schreiber|Urs]]

\begin{itemize}%
\item I tried to fix the query box layout at [[Tychonoff theorem]] only to find that there is apparently some software clash between the query box syntax and some symbols used. So I ``rolled back''. Hopefully the entry is now again in the form that [[Todd Trimble|Todd]] and [[Toby Bartels|Body]] left it. Please check.


\item started filling something into [[n-categorical physics]] just so the page looks less blank -- but didn't really have the energy or intention to produce anything of more than vaguely suggestive nature so far



\end{itemize}

\item [[Zoran Škoda]] made changes to [[pure motives]]. Please do not use defined term [[algebraic spaces]] when it is not appropriate.


\item \emph{David} added exposition references to [[pure motive]]


\item [[Urs Schreiber|Urs]]

\begin{itemize}%
\item added explicit description of colimits in $Set$ to [[limits and colimits by example]] -- I have a dumb question: frequently I want to use displayed math equations in a bullet list item. But more often than not when I try this the parser gets very mixed up and produces weirly formatted output -- what am I doing wrong??

\end{itemize}


\end{itemize}
\hypertarget{20090521}{}\section*{{2009-05-21}}\label{20090521}

\begin{itemize}%
\item [[Bruce Bartlett|Bruce]] added link to Evan Jenkins' notes of the [[Northwestern TFT Conference 2009]], and changed text+math font on the nLab to a serif theme by editing the CSS. This will only be for one day, just to create awareness of what's possible. Discussion on the \href{http://www.math.ntnu.no/~stacey/Mathforge/nForum/comments.php?DiscussionID=23}{nForum}.

\end{itemize}
\hypertarget{20090520}{}\section*{{2009-05-20}}\label{20090520}

\begin{itemize}%
\item [[Chris Brav|Chris]] started work on section 5 of BZFN for the journal club on geometric $\infty$-function theory.


\item [[Todd Trimble|Todd]] wrote a longish reply to a query of David Roberts about tame topology over at [[nice topological space]].


\item [[Toby Bartels]] wrote [[Hausdorff space]] and [[Zorn's lemma]].


\item [[Todd Trimble]] wrote [[Tychonoff theorem]].



\end{itemize}
\hypertarget{20090519}{}\section*{{2009-05-19}}\label{20090519}

\begin{itemize}%
\item [[Todd Trimble|Todd]] added a bit more to [[compact space]], in particular linking back to [[quasicompact]]. There is so much one could say about compact spaces, it's quite the embarrassment of riches.


\item [[Zoran Škoda]]: created [[algebraic geometry]], [[algebraic stack]], [[topological stack]]; updated [[quasicompact]] with the definition and facts about quasicompact morphisms.


\item [[Urs Schreiber|Urs]]:

\begin{itemize}%
\item created [[Northwestern TFT Conference 2009]]


\item added cross-links between [[compact object]] and [[compact space]]



\end{itemize}

\item [[Todd Trimble]] created [[compact space]]


\item [[Urs Schreiber|Urs]]:

\begin{itemize}%
\item added a short section \emph{Basic idea in three words} to the beginning of [[geometric infinity-function theory]], as I noticed that this simple introductory statement was not sufficiently amplified in the existing introductory section


\item thanks to [[Toby Bartels|Toby]] for (in particular) his editorial work! it doesn't go unnoticed, is much appreciated



\end{itemize}


\end{itemize}
\hypertarget{20090518}{}\section*{{2009-05-18}}\label{20090518}

\begin{itemize}%
\item [[Todd Trimble]] has also created [[uniform space]] and [[ultrafilter theorem]].


\item [[Chris Brav|Chris]]:

\begin{itemize}%
\item Replied to Urs on [[fiber product]], suggesting that fiber products be computed using a cobar resolution and that we should eventually make a section about derived fiber product of spaces.

\end{itemize}

\item [[Urs Schreiber|Urs]]:

\begin{itemize}%
\item added an ``Idea''-section to [[homotopy category]] and added the precise definition of the universality condition on $Q : C \to Ho(C)$


\item replied to [[Chris Brav|Chris]] at [[fiber product]]


\item expanded [[local isomorphism]]: more about sieves, more about pullbacks -- but needs polishing


\item created [[commutativity of limits and colimits]] as a place to list results such as commutativity of filtered colimits with finite limits;


\item added a further definition to [[image]], created [[coimage]] and [[strict morphism]]



\end{itemize}


\end{itemize}
\hypertarget{20090517}{}\section*{{2009-05-17}}\label{20090517}

\begin{itemize}%
\item [[Todd Trimble]] wrote [[metric space]], and there was much rejoicing.


\item [[Urs Schreiber|Urs]]:

\begin{itemize}%
\item restructured [[compact object]]

\end{itemize}


\end{itemize}
\hypertarget{20090516}{}\section*{{2009-05-16}}\label{20090516}

\begin{itemize}%
\item [[Toby Bartels]]:\begin{itemize}%
\item Created [[algebra for an endofunctor]] and [[monoid object]] just to be linked to from [[algebra]], but they are very much stubs; there is related discussion at [[coalgebra]].
\item Changed the category of [[Anders Kock]] from \href{/nlab/list/people}{people} to \href{/nlab/list/biography}{biography}, although frankly I can't remember why we keep these separate.
\item Noted exactly which limits are needed at [[power object]].
\item Noted on [[direct product]] just how trivial the direct coproduct is.
\item Answered Mike's question at [[algebraic theory]] by incorporating actual theorems from an actual reference instead of using vague handwaving in the query box, for once.

\end{itemize}


\end{itemize}
\hypertarget{20090515}{}\section*{{2009-05-15}}\label{20090515}

\begin{itemize}%
\item [[Bruce Bartlett|Bruce]]:

\begin{itemize}%
\item I created a Stylish extension for Firefox to make the edit box bigger and wider when editing pages (I always found this annoying). To install it, install \href{https://addons.mozilla.org/en-US/firefox/addon/2108}{Stylish} and then \href{http://userstyles.org/styles/17934}{click here}.


\item Started adding Todd's comments about compact objects in categories to the [[compact object]] page.



\end{itemize}

\item [[David Corfield|David]]:

\begin{itemize}%
\item began [[synthetic differential geometry]] and [[analytic versus synthetic]]

\end{itemize}

\item [[Urs Schreiber|Urs]]:

\begin{itemize}%
\item further refined the discussion of the relation to localization at [[geometric embedding]]

\end{itemize}


\end{itemize}
\hypertarget{20090514}{}\section*{{2009-05-14}}\label{20090514}

\begin{itemize}%
\item [[Urs Schreiber|Urs]]:

\begin{itemize}%
\item added some bits to [[subobject classifier]]: a short intro, the realization in presheaf topoi and a paragraph on $n$-catgorical generalizations and the interpretation of $true$ as a $-1$-category.


\item created [[power object]], which is mentioned in the alternative definition at [[topos]] -- guessed the definition from the \emph{Axiom of power sets} at [[Trimble on ETCS I]], but I am not really sure -- somebody please have a look and check


\item expanded and restructured [[Grothendieck topos]]


\item added what should be a detailed proof to [[geometric embedding]] that for every geometric embedding $f_* : F \hookrightarrow E$ the category $F$ is equivalent to the localization of $E$ at the morphisms that are sent by $f^*$ to isos

\begin{itemize}%
\item there are two possibilities here: either I am mixed up or this is somewhere in the literature. If the latter, can anyone give me a pointer to a reference that mentions this explicitly?

\end{itemize}

\item created [[geometric embedding]] -- am in the process of filling in a detailed discussion of the relation to [[localization]]


\item added a paragraph to [[localization]] describing and emphasizing the point that lots of localizations one runs into in practice are [[reflective subcategory|reflective subcategories]] or actually [[geometric embedding|geometric embeddings]]. In particular [[Bousfield localization]] presents the corresponding [[reflective (infinity,1)-subcategory]]. I am still not really satisfied with the entry [[localization]], though, I am hoping we can eventually present the conceptual basis here more clearly. After all, the perspective on sheaves and sheafification in terms of localization/geometric embedding has been shown to be the workable road to $\infty$-stacks, which, as tradition has it, are well worth pursuing in general and on an $n$Lab in particular :-) It is curious that there seems to be a cultural divide in the literature here: the book by Kashiwara-Schapira for instance amplifies sheafification as localization, which paves the road for $\infty$-stacks presented by the [[model structure on simplicial presheaves]], while the book by MacLane-Moerdijk amplifies sheafification as geometric embedding, which paves the road for the simple definition of [[(infinity,1)-sheafification]] by [[reflective (infinity,1)-subcategory]]. Lurie's book effectively gives the unified perspective, which I think is worthwhile presenting very clearly here on the $n$Lab, since it is coceptually so simple and transparent and in practice so powerful. Over.


\item added example to [[localization of a simplicial model category]]


\item added a little proposition to [[dependent product]] and a little example to [[geometric morphism]]



\end{itemize}

\item [[Tim Porter|Tim]]: I have given a partial reply to [[Urs Schreiber|Urs]] question at [[homotopy coherent nerve]].



\end{itemize}
\hypertarget{20090512}{}\section*{{2009-05-12}}\label{20090512}

\begin{itemize}%
\item [[Toby Bartels]]: An extensive rewrite and expansion of [[predicative mathematics]], including material on the non-[[constructive mathematics|constructive]] school (which rejects function sets), thanks to reading sparked by \href{http://golem.ph.utexas.edu/category/2009/04/taming_the_boundless.html#c023753}{one of Jonathan's posts} to the Caf\'e{}.


\item [[Urs Schreiber|Urs]]

\begin{itemize}%
\item created [[derived smooth manifold]], but will have to continue tomorrow


\item created [[category of local models]] and [[locally modeled monoid]]


\item expanded a bit more on the ``good limits''-motivation at [[derived stack]], alongside the \href{http://golem.ph.utexas.edu/category/2009/05/journal_club_geometric_infinit_3.html#c023770}{blog discussion}


\item added a few more details to [[generalized smooth algebra]] -- and have a question on that on the blog \href{http://golem.ph.utexas.edu/category/2009/05/journal_club_geometric_infinit_3.html#c023762}{here}


\item added a few bits and pieces to [[derived stack]], [[ind-object in an (infinity,1)-category]], [[perfect infinity-stack]]



\end{itemize}

\item [[David Corfield|David]]

\begin{itemize}%
\item began [[Eckmann-Hilton duality]]. Referred to it from [[duality]], but maybe that page needs some adjustment. By the way, I still don't think I have answers to questions posed \href{http://golem.ph.utexas.edu/category/2009/04/cohomology.html#c023057}{here} and below.


\item began [[initial algebra]] and [[terminal coalgebra]].



\end{itemize}

\item [[Urs Schreiber|Urs]]

\begin{itemize}%
\item added the coherence diagrams to [[braided monoidal category]]


\item added the enriched versions to [[representable functor]] and [[opposite category]]



\end{itemize}


\end{itemize}
\hypertarget{20090511}{}\section*{{2009-05-11}}\label{20090511}

\begin{itemize}%
\item [[Toby Bartels]]: I moved all of the  out of article pages and into included subpages as described at [[HowTo]]. (Note that this is supposed to be a temporary fix until we get a working automated system to include somehthing like TikZ; see \href{http://www.math.ntnu.no/~stacey/Mathforge/nForum/comments.php?DiscussionID=20}{the discussion}.)


\item [[Urs Schreiber|Urs]]:

\begin{itemize}%
\item added more details to and slightly restructured [[exact functor]]

\begin{itemize}%
\item in particular added a remark on and a link to ``[[flat functor]]'', which overlaps in content


\item I changed at [[flat functor]] the condition that $(d/F)$ be filtered to the condition that it be cofiltered. Please check that I am not hallucinating! But see for instance [[Categories and Sheaves|KashSch prop. 3.3.2]]



\end{itemize}

\item after reading it I got the idea that [[Toby Bartels|Toby]]`s latest addition to [[stuff, structure, property]] is really about higher subobject classifiers as discussed at [[generalized universal bundle]]. I added corresponding remarks, but didn't find the time to look into this very carefully.



\end{itemize}

\item [[David Corfield|David]]: Started [[locally finitely presentable category]]


\item [[Toby Bartels]]:

\begin{itemize}%
\item Added a sort of logical interpretation to [[stuff, structure, property]]. (This has some links that ought to be filled out.)
\item There's more work going on at [[SVG Sandbox]] and being discussed in \href{http://www.math.ntnu.no/~stacey/Mathforge/nForum/comments.php?DiscussionID=20}{a Forum post}. See also the new [[Inclusion Sandbox]].
\item There's been some work recently at [[generalized element]], in response to a reader's question.

\end{itemize}


\end{itemize}
\hypertarget{20090508}{}\section*{{2009-05-08}}\label{20090508}

\begin{itemize}%
\item [[Toby Bartels]]: Fixed the last `heuristic', at [[local system]], among other such fixes. (You gotta open them up for editing and look at the source!)


\item [[Urs Schreiber|Urs]]:

\begin{itemize}%
\item tied up the loose end at [[descent]] using the expected result that Dominic Verity was kind enough to proof on request and then confirm by private communication

\end{itemize}

\item [[Andrew Stacey|Andrew]]: (I forget whether I'm supposed to add this to my earlier comment, or here, or add a word of this to each of the other entries of the day). I've created [[SVG Sandbox]] expressly for the purpose of mucking about with SVGs to get them to look right. My rationale is explained at the top of that page, together with some suggestions on how it might work. The point is that one SVG can be rather large and I think that putting them in the regular Sandbox to test stuff is a bit anti-social. Hopefully we can get stuff in the [[FAQ]] and [[HowTo]] on good ways of importing SVGs as there seem to be a few ``special features''. I've shifted the recent SVG-related stuff from the original [[Sandbox]] to the [[SVG Sandbox]], but I shifted the discussion that Bruce started to the \href{http://www.math.ntnu.no/~stacey/Mathforge/nForum/}{nForum}.

\begin{itemize}%
\item [[Urs Schreiber|Urs]]: I believe [[Mike Shulman|Mike]] had requested that we announce each change here always on the very top of the list, even if we had earlier logs the same day with other people's logs already on top of them. Seems to be a reasonable practice if the point of this page here is to alert others of changes. Which it is. So, yes, the way you did it should be the preferred way.

\end{itemize}

\item [[Urs Schreiber|Urs]]:

\begin{itemize}%
\item recalled [[Tim Porter]]`s comment at [[simplicial set]] and moved [[simplicial nerve of simplicial categories]] to [[homotopy coherent nerve]];


\item started expanding, polishing and reorganizing [[simplicial set]] -- still not satisfied, though.



\end{itemize}

\item [[Bruce Bartlett|Bruce]]: Added discussion to [[Sandbox]] about Andrew's TikZ-{\tt \symbol{62}}SVG method. Maybe we can get good and easy graphics going soon in Instiki!


\item [[Urs Schreiber|Urs]]:

\begin{itemize}%
\item added lots of further stuff to [[simplex category]]

\end{itemize}

\item [[Andrew Stacey|Andrew]]: Finished off the heuristic shift. Bizarrely, one page, [[local system]], comes up in the Instiki search as having ``heuristic'' in it but I can't find it. The other instances of ``heuristic'' that are left are either correct or within discussions.


\item [[Urs Schreiber|Urs]]:

\begin{itemize}%
\item added explicitly the description in terms of weighted (co)limits and in terms of (co)ends to [[Kan extension]]; also reorganized the existing material somewhat.


\item added the definition of composition to [[enriched functor category]];


\item thanks to [[Andrew Stacey|Andrew]] for the thing about ``heuristic''. I'll be aware of that in the future.

\begin{itemize}%
\item following [[Toby Bartels|Toby]] I made [[heuristic introduction to sheaves, cohomology and higher stacks|heuristic intro\ldots{}]] a redirection to [[motivation for sheaves, cohomology and higher stacks]]

\end{itemize}


\end{itemize}

\item [[Toby Bartels]]:

\begin{itemize}%
\item I split [[identity]] into [[identity morphism]] and [[identity element]]. Maybe I'll do the same to [[inverse]] later, but not now.
\item More details at [[extensional relation]].

\end{itemize}


\end{itemize}
\hypertarget{20090507}{}\section*{{2009-05-07}}\label{20090507}

\begin{itemize}%
\item [[Toby Bartels]]: Reply to Andrew below:

\begin{itemize}%
\item Yeah, that's pretty much how to do it. Except that you mark the old page as {\colorbox[rgb]{1.00,0.93,1.00}{\tt category\char58\char32redirect}} rather than as {\colorbox[rgb]{1.00,0.93,1.00}{\tt category\char58\char32delete}}, since it contains edit history that we want to preserve. (Instiki has no cool page-move feature like MediaWiki does.) As you did, I also usually decline to change links from discussion.
\item I would move [[heuristic introduction to sheaves, cohomology and higher stacks]] to [[motivation for sheaves, cohomology and higher stacks]], since Urs doesn't like [[introduction to sheaves, cohomology and higher stacks]].

\end{itemize}

\item [[Andrew Stacey|Andrew]]

\begin{itemize}%
\item Heuristically altered records containing the word ``heuristic''. The original list of records matching the search term ``heuristic'' is below (so anyone worried can check what I've done). Most actually were references to [[heuristic introduction to sheaves, cohomology and higher stacks]] which obviously needs to be renamed before the other pages are changed (what's the best way to rename a page? Is it: create a new one, copy over the content, put in a redirect, change all referring pages, mark old one for delete? Or is there a simpler way?). In a couple of the others the word was used in a discussion so I didn't change those. One I even left as I thought it was (almost) correctly used!

\begin{itemize}%
\item [[2009 April changes]]
\item [[Categories and Sheaves]]
\item [[General Discussion]]
\item [[Grothendieck's Galois theory]]
\item [[cohomology]]
\item [[full functor]]
\item [[geometric infinity-function theory]]
\item [[heuristic introduction to sheaves, cohomology and higher stacks]]
\item [[hyperstructure]]
\item [[induced representation]]
\item [[limit]]
\item [[local system]]
\item [[sheaf]]
\item [[sheaf cohomology]]
\item [[space and quantity]]
\item [[stuff, structure, property]]
\item [[weighted limit]]
\item [[why (infinity,1)-categories?]]

\end{itemize}


\end{itemize}

\item [[Urs Schreiber|Urs]]

\begin{itemize}%
\item as a reaction to the discussion taking place there I expanded the text at [[simplicial model for weak omega-categories]] -- also added references

\end{itemize}


\end{itemize}
\hypertarget{20090506}{}\section*{{2009-05-06}}\label{20090506}

\begin{itemize}%
\item [[Urs Schreiber|Urs]]

\begin{itemize}%
\item reacted to the discussion at [[Day convolution]] and provided the requested further details in the main entry


\item corrected the statement about the relation of $SetMod$ to $Span(Set)$ at [[distributor]] by adding the missing clause about discrete categories


\item created [[structured generalized space]]


\item created [[string theory]]



\end{itemize}


\end{itemize}
\hypertarget{20090505}{}\section*{{2009-05-05}}\label{20090505}

\begin{itemize}%
\item [[David Corfield|David]]:

\begin{itemize}%
\item began [[things to be categorified]]

\end{itemize}

\item [[Toby Bartels]]:

\begin{itemize}%
\item Fixed up [[extensional relation]], although there seems to be a problem with one of the counterexamples.
\item I also have an opinion at [[simplicial model for weak omega-categories]].

\end{itemize}

\item [[Urs Schreiber|Urs]]:

\begin{itemize}%
\item added a pedagogical example to [[enriched functor category]]

\end{itemize}

\item [[David Corfield|David]]:

\begin{itemize}%
\item began [[microcosm principle]]

\end{itemize}

\item [[Urs Schreiber|Urs]]:

\begin{itemize}%
\item added details to [[enriched functor]]


\item added a bit more detail to [[closed monoidal structure on presheaves]]


\item replied at [[cohomology]]



\end{itemize}


\end{itemize}
\hypertarget{20090504}{}\section*{{2009-05-04}}\label{20090504}

\begin{itemize}%
\item [[Urs Schreiber|Urs]]

\begin{itemize}%
\item worked on [[end]]: added a section ``End as equalizer'' where I try to motivate the formula for the end over $V$-valued functors from the equalizer formula for limits, then give the equalizer formula for ends -- personally I find this a bit more helpful than dinatural transformations, but that is certainly just my ignorance -- I added an ``Idea'' and a ``References'' and an ``Examples'' section


\item added the definition to [[enriched category]] (yes, that was still ``left as an exercise'')



\end{itemize}


\end{itemize}
\hypertarget{20090503}{}\section*{{2009-05-03}}\label{20090503}

\begin{itemize}%
\item [[Toby Bartels]]:

\begin{itemize}%
\item Wrote [[FOLDS]] (and [[Michael Makkai]]), [[identity functor]], [[identity natural transformation]], [[anafunctor category]], [[identity anafunctor]], [[anabicategory]], and [[ananatural transformation]] to be linked from the below.
\item Rewrote [[equivalence of categories]], moving one paragraph to [[Cat]] and otherwise expanding.
\item Urs and I would like some advice from [[Tim Porter]] at [[simplicial nerve]].

\end{itemize}

\item [[Urs Schreiber|Urs]]:

\begin{itemize}%
\item further expanded section 2 of [[geometric infinity-function theory]], which I am to ``report'' on next Monday in our Journal Club.


\item finally created [[simplicial nerve of simplicial categories]], but more details necessary\ldots{}


\item am trying to find out, for [[A-infinity ring]] and [[E-infinity ring]] to which extent the two definitions ``algebra over an $\infty$-operad'' and ``algebra object in a monoidal $(\infty,1)$-category'' are equivalent, as one would expect\ldots{}


\item created [[symmetric monoidal (infinity,1)-category]], [[commutative algebra in an (infinity,1)-category]], [[smash product of spectra]], [[associative ring spectrum]], [[A-infinity ring]], [[commutative ring spectrum]], [[E-infinity ring]]


\item expanded the intro at [[higher algebra]] a bit


\item thanks, [[Toby Bartels|Toby]], for your editorial help! Yes, right, ``[[higher algebra]]'' should be lower case, true.



\end{itemize}


\end{itemize}
\hypertarget{20090502}{}\section*{{2009-05-02}}\label{20090502}

\begin{itemize}%
\item [[Toby Bartels]]:\begin{itemize}%
\item Disambiguated [[simplicial category]], hopefully correctly, at [[(infinity,1)-category]], [[derived stack]], and [[pretriangulated dg-category]].
\item Wrote [[proper class]].
\item Moved [[Higher Algebra]] to [[higher algebra]] because it \emph{seemed} to be about the subject rather than about just Lurie's two papers, but I may have been wrong about that.
\item Formatted theorems at [[descent for simplicial presheaves]] and [[descent]].
\item Answered questions at [[biproduct]], [[comma category]], [[exponential object]], and [[context]].

\end{itemize}


\end{itemize}
\hypertarget{20090501}{}\section*{{2009-05-01}}\label{20090501}

\begin{itemize}%
\item [[Finn Lawler]]

\begin{itemize}%
\item Created [[lax 2-adjunction]], complete with spiffy PNGs.


\item Added some links at [[Gray-adjointness-for-2-categories]] to entries on concepts in the book. Some of these are to non-existent pages like [[lax natural transformation]]. Do pages on `elementary' stuff like this belong here on nLab, or should we add them to Wikipedia and link there?

[[Mike Shulman|Mike]]: If we have a page on [[category|categories]], we can certainly have a page on lax natural transformations!

[[Jonas Frey]]: The problem about lax natural transformations is that there is no consensus about the orientation of constraints in the literature. Johnstone in the elephant and Gurski in his PhD-thesis for example use an other orientation than Leinster and Borceux in their books.

\emph{Toby}: All the more reason to write an article to explain the differences!



\end{itemize}

\item [[Urs Schreiber|Urs]]

\begin{itemize}%
\item created new top-level link list [[Higher Algebra]] -- to be filled with content\ldots{}


\item considerably expanded [[(infinity,1)-category]] -- motivation was really to write [[relation between quasi-categories and simplicial categories]], but then ran out of steam


\item removed all existing logs here and archived them as [[2009 April changes]]



\end{itemize}


\end{itemize}

\vspace{.5em} \hrule \vspace{.5em}
[[2008 changes|First list]] --- [[2009 April changes|Previous list]] --- [[2009 June changes|Next list]] --- \href{http://www.math.ntnu.no/~stacey/Mathforge/nForum/?CategoryID=5}{Current list}


\vspace{.5em} \hrule \vspace{.5em}
category: meta



\end{document}