expanded draft of the blueprint

blueprint/src/macros/common.tex

@@ -39,16 +39,37 @@
 %enriched (i.e. all large) categories.
 \newcommand{\ec}[1]{{\mathord{\mathcal{#1}}}}
 \newcommand{\cA}{\ec{A}}
+\newcommand{\cC}{\ec{C}}
+\newcommand{\cD}{\ec{D}}
 \newcommand{\cK}{\ec{K}}
+\newcommand{\cL}{\ec{L}}
+\newcommand{\cV}{\ec{V}}
+\newcommand{\cW}{\ec{W}}
 \newcommand{\Cat}{\ec{Cat}}
+\newcommand{\Kan}{\ec{Kan}}
 \newcommand{\qCat}{\ec{QCat}}
+\newcommand{\Set}{\ec{Set}}
 \newcommand{\sSet}{\ec{sSet}}
-
-\newcommand{\Del}{\mbfDelta}
+\newcommand{\twoCat}{2\text{-}\Cat}
+\newcommand{\sCat}{\sSet\text{-}\Cat}
+\newcommand{\eCat}[1]{{#1}\text{-}\Cat}%for enriched categories
 
 % Various hom notations.
 \newcommand{\qop}[1]{{\mathord{\mathsf{#1}}}}
 \newcommand{\Fun}{\qop{Fun}}%mapping spaces in cosmoi
+\newcommand{\ho}{\qop{h}}
+\newcommand{\hFun}{\qop{hFun}}%hom categories in homotopy 2-categories
+\newcommand{\core}{\qop{core}}%not cosmological
+\newcommand{\coreop}[1]{{{#1}^\simeq}}%for core as an operator
+
+\newcommand{\catfour}{{\Bbbfour}}%texdoc unimath-symbols.pdf
+\newcommand{\catthree}{{\Bbbthree}}%texdoc unimath-symbols.pdf
+\newcommand{\cattwo}{{\Bbbtwo}}
+\newcommand{\catone}{{\Bbbone}}
+\newcommand{\catn}{{\mathbb{n}}}
+\newcommand{\catnone}{{\catn\!+\!\catone}}
+\newcommand{\catntwo}{{\catn\!+\!\cattwo}}
+\newcommand{\iso}{{\BbbI}}
 
 %arrows; cheap version of \we and \trvfib
 \makeatletter
@@ -68,17 +89,42 @@
 \newcommand{\fib}{\twoheadrightarrow}
 \newcommand{\we}{\xrightarrow{{\smash{\mathlower{0.8}{\sim}}}}}
 \newcommand{\trvfib}{\dhxrightarrow{{\smash{\mathlower{0.8}{\sim}}}}}
+\newcommand{\To}{\Rightarrow}%2-cells
+\newcommand{\isoto}{\xrightarrow{{\smash{\mathlower{0.8}{\cong}}}}}
+\newcommand{\inc}{\hookrightarrow}
+
+%1-cells induced from 2-cells
+\newcommand{\name}[1]{{\ulcorner{#1}\urcorner}}
+
 
 % Elementary operators in the theory of (stratified) simplicial sets.
 
 \newcommand{\face}{\delta}
 \newcommand{\degen}{\sigma}
+\newcommand{\fbv}[1]{\{{#1}\}}
+
 
 % Duals / Superscripted postfix ops
 
-\newcommand{\op}{^{\mathord{\text{\rm op}}}}
-\newcommand{\co}{^{\mathord{\text{\rm co}}}}
-\newcommand{\coop}{^{\mathord{\text{\rm coop}}}}
+\newcommand{\op}{^{\mathord{\textup{op}}}}
+\newcommand{\co}{^{\mathord{\textup{co}}}}
+\newcommand{\coop}{^{\mathord{\textup{coop}}}}
 
 % General operations on maps etc.
+\newcommand{\cosk}{\textup{cosk}}
+\newcommand{\cod}{\textup{cod}}
+\newcommand{\dom}{\textup{dom}}
+\newcommand{\ev}{\textup{ev}}
 \newcommand{\id}{\textup{id}}
+\newcommand{\sk}{\textup{sk}}
+
+
+%###trial notation for the homotopy 2-category
+\newcommand{\h}{\mathfrak{h}}
+
+% Leibniz...
+% ... for binary operators like join and product
+\newcommand{\leib}[1]{\mathbin{\widehat{#1}}}
+% ... for prefix operators like lim, colim and decalage.
+\newcommand{\uleib}[1]{\widehat{#1}}
+\newcommand{\pwr}{\pitchfork}

blueprint/src/macros/print.tex

@@ -26,4 +26,7 @@
 \NewDocumentCommand{\proves}{m}
  {\clist_map_inline:nn{#1}{\vphantom{\ref{##1}}}%
   \ignorespaces}
-\ExplSyntaxOff
+\ExplSyntaxOff
+
+%
+\newcommand{\Del}{\mbfDelta}

blueprint/src/macros/web.tex

@@ -2,4 +2,6 @@
 % the web version. Of course they should have a corresponding
 % version in macros/print.tex.
 % Typically the printed version could have more fancy decorations.
-% This will probably be a very short file.
+% This will probably be a very short file.
+
+\newcommand{\Del}{\Delta}

blueprint/src/print.tex

@@ -10,7 +10,7 @@
 % It is otherwise a very minimal preamble (you should probably at least
 % add cleveref and tikz-cd).
 
-\documentclass{amsart}
+\documentclass{amsbook}
 
 \usepackage{geometry}
 
@@ -24,7 +24,7 @@
 \input{macros/common}
 \input{macros/print}
 
-\title{\texorpdfstring{$\infty$}{Infinity}-Cosmoi}
+\title{\texorpdfstring{$\infty$}{Infinity}-Cosmoi for Lean}
 \author{Emily Riehl}
 \author{Dominic Verity}