Realization Calculus: twin edition

Download original file

This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.

Included manuscript sections

• edition_stats.tex
• written_status.tex

1 \usepackage[T1]{fontenc}
2 \usepackage[utf8]{inputenc}
3 \usepackage{amsmath,amssymb,amsthm,mathtools}
4 \usepackage{geometry,graphicx,booktabs,longtable,tabularx,array}
5 \usepackage{enumitem,needspace,xcolor,tikz,tcolorbox}
6 \usetikzlibrary{arrows.meta,positioning,calc,fit,backgrounds,decorations.pathreplacing,matrix,patterns}
7 \tcbuselibrary{breakable}
8 \usepackage{caption,hyperref,bookmark,cleveref,microtype}
9 \usepackage{komorebi-publication}
10 \renewcommand{\KomorebiTitle}{Komorebi Space}
11 \renewcommand{\KomorebiSubtitle}{Coherent realizations, obstructions, and descent}
12 \renewcommand{\KomorebiSeries}{Foundations of the Realization Calculus}
13 \renewcommand{\KomorebiKind}{Monograph}
14 \renewcommand{\KomorebiEdition}{Publication edition 1.15.0 / 15 October 2026}
15 \renewcommand{\KomorebiShortTitle}{Komorebi Space}
16 \renewcommand{\KomorebiProfile}{monograph}
17 \KomorebiSetup
18 \setcounter{tocdepth}{1}
19 \setcounter{secnumdepth}{2}
20 \setlist{nosep,leftmargin=1.7em,topsep=4pt}
21 \hypersetup{pdfkeywords={Komorebi Space,realization calculus,descent,obstruction,Lean,holonomy,closed range}}
22 \newtheorem{theorem}{Theorem}[section]
23 \newtheorem{proposition}[theorem]{Proposition}
24 \newtheorem{lemma}[theorem]{Lemma}
25 \newtheorem{corollary}[theorem]{Corollary}
26 \theoremstyle{definition}
27 \newtheorem{definition}[theorem]{Definition}
28 \newtheorem{example}[theorem]{Example}
29 \theoremstyle{remark}
30 \newtheorem{remark}[theorem]{Remark}
31 \numberwithin{equation}{section}
32 \newcommand{\R}{\mathbb R}
33 \newcommand{\Z}{\mathbb Z}
34 \newcommand{\Q}{\mathbb Q}
35 \newcommand{\N}{\mathbb N}
36 \newcommand{\K}{\mathbb K}
37 \newcommand{\V}{\mathcal V}
38 \newcommand{\W}{\mathcal W}
39 \newcommand{\id}{\operatorname{id}}
40 \newcommand{\im}{\operatorname{im}}
41 \newcommand{\ran}{\operatorname{ran}}
42 \newcommand{\Hom}{\operatorname{Hom}}
43 \newcommand{\Ob}{\operatorname{Ob}}
44 \newcommand{\Ext}{\operatorname{Ext}}
45 \newcommand{\Match}{\operatorname{Match}}
46 \newcommand{\Exact}{\operatorname{Exact}}
47 \newcommand{\dist}{\operatorname{dist}}
48 \newcommand{\Aut}{\operatorname{Aut}}
49 \newcommand{\Stab}{\operatorname{Stab}}
50 \newcommand{\Set}{\mathbf{Set}}
51 \newcommand{\Cat}{\mathbf{Cat}}
52 \newcommand{\norm}[1]{\left\lVert#1\right\rVert}
53 \newcommand{\abs}[1]{\left\lvert#1\right\rvert}
54 % Preserve source anchors without exposing editorial identifiers in print.
55 \newcommand{\source}[1]{\phantomsection\label{src:#1}}
56 \newcommand{\code}[1]{\texttt{\detokenize{#1}}}
57 \newcommand{\chap}[1]{\par\Needspace{10\baselineskip}\section{#1}}
58 \newcommand{\partnote}[2]{\clearpage\part{#1}\noindent\begin{minipage}{.92\linewidth}\large #2\end{minipage}\par\vspace{12pt}}
59 \newtcolorbox{insight}{breakable,colback=KomorebiSoft!55,colframe=KomorebiPine!50,boxrule=.45pt,arc=1pt,left=9pt,right=9pt,top=7pt,bottom=7pt}
60 \newtcolorbox{scopebox}{breakable,colback=KomorebiWarm,colframe=KomorebiOchre!55,boxrule=.4pt,arc=1pt,left=9pt,right=9pt,top=7pt,bottom=7pt}
61 \usepackage{float}
62 \newcommand{\fixedplate}[3]{\begin{figure}[H]\centering\resizebox{.96\linewidth}{!}{\input{figures/#1}}\caption{#2}\label{#3}\end{figure}}
63 \newcommand{\plate}[3]{\begin{figure}[!htbp]\centering\resizebox{.96\linewidth}{!}{\input{figures/#1}}\caption{#2}\label{#3}\end{figure}}
64 \tikzset{box/.style={draw=KomorebiPine!70,rounded corners=2pt,fill=KomorebiSoft!50,align=center,inner sep=8pt,font=\small},arr/.style={-{Latex[length=2.2mm]},draw=KomorebiPine,thick},thinarr/.style={-{Latex[length=1.8mm]},draw=KomorebiMuted},lab/.style={font=\small,align=center},dot/.style={circle,fill=KomorebiPine,inner sep=2.3pt}}
65 \renewcommand{\arraystretch}{1.18}
66 \raggedbottom
67 \widowpenalty=7000\clubpenalty=7000
68 \setlength{\emergencystretch}{3em}
69 
70 % Compact only the contents entries, without reducing body type size.
71 \usepackage{etoolbox}
72 \makeatletter
73 \patchcmd{\l@section}{1.0em}{0.6em}{}{}
74 \makeatother
75 
76 % Counts for the accepted formal source accompanying this publication.
77 \input{edition_stats}
78 
79 % Keep readable half-page figures with their surrounding exposition.
80 \renewcommand{\topfraction}{.88}
81 \renewcommand{\bottomfraction}{.80}
82 \renewcommand{\textfraction}{.10}
83 \renewcommand{\floatpagefraction}{.78}
84 \setcounter{topnumber}{2}
85 \setcounter{bottomnumber}{2}
86 \setcounter{totalnumber}{3}
87 
88 % Evidence scope is presented in a reader-facing appendix.
89 \input{written_status}
90 \newcommand{\written}[1]{}

Back to source controls

Back to Realization Calculus: twin edition