tried to clarify the spirally nature of the axioms in the intro to the ncat section; other word-smithing in that intro; added remark about C(0-sphere)
%auto-ignore
%this ensures the arxiv doesn't try to start TeXing here.
%!TEX root = ../blob1.tex
\ifpdf
\usepackage[pdftex,plainpages=false,hypertexnames=false,pdfpagelabels]{hyperref}
\usepackage[pdftex]{graphicx}
\else
\usepackage[plainpages=false,hypertexnames=false,pdfpagelabels]{hyperref}
\usepackage{graphicx}
\fi
%must load tikz after graphicx
\usepackage{tikz}
\usetikzlibrary{shapes}
\usetikzlibrary{backgrounds}
\usetikzlibrary{decorations,decorations.pathreplacing}
\usetikzlibrary{fit,calc,through}
\pgfrealjobname{blob1}
\makeatletter
\@ifclassloaded{beamer}{}{%
\newtheorem{example}[prop]{Example} % for compatibility with beamer
}%
\@ifclassloaded{pnastwo}
{}
{
\newtheorem{claim}[prop]{Claim}
\newtheorem{remark}[prop]{Remark}
\newtheorem{lemma}[prop]{Lemma}
}%
\makeatother
\usepackage{color}
% idea from tex-overflow
\usepackage{xcolor}
\definecolor{dark-red}{rgb}{0.7,0.25,0.25}
\definecolor{dark-blue}{rgb}{0.15,0.15,0.55}
\definecolor{medium-blue}{rgb}{0,0,0.65}
\hypersetup{
colorlinks, linkcolor={dark-red},
citecolor={dark-blue}, urlcolor={medium-blue}
}
% margin stuff
\setlength{\textwidth}{6.5in}
\setlength{\oddsidemargin}{0in}
\setlength{\evensidemargin}{0in}
\setlength{\textheight}{8.5in}
\setlength{\topmargin}{-.25in}