From 57fd75fcbcbfa130e080b8727a5c3f2dcebdaa26 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 7 Mar 2016 08:28:38 +0100
Subject: [PATCH] docs: some more TODOs
---
docs/algebra.tex | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/docs/algebra.tex b/docs/algebra.tex
index 3295ade48..6d75e415f 100644
--- a/docs/algebra.tex
+++ b/docs/algebra.tex
@@ -18,6 +18,8 @@
\ralf{Copy the explanation from the paper, when that one is more polished.}
+\ralf{Describe non-expansive, contractive, category $\COFEs$, later, locally non-expansive/contractive, black later.}
+
\subsection{CMRA}
\begin{defn}
@@ -83,6 +85,8 @@ This operation is needed to prove that $\later$ commutes with existential quanti
\end{mathpar}
(This assumes that the type $\type$ is non-empty.)
+\ralf{Describe monotone, category $\CMRAs$.}
+
%%% Local Variables:
%%% mode: latex
--
GitLab