From 2888c0d3a5b715d571628fcf86aa18e911555911 Mon Sep 17 00:00:00 2001 From: partowp Date: Tue, 4 Aug 2026 17:02:54 +0100 Subject: [PATCH] minor --- draft/draft.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/draft/draft.tex b/draft/draft.tex index 996180d..200d274 100644 --- a/draft/draft.tex +++ b/draft/draft.tex @@ -550,7 +550,7 @@ The order structure that we can define for this functor is that for sets $X$ and \end{proof} \subsection{Subdistribution Functor} -The subdistribution functor $\sub\c\Set\to\Set$ is defined as $\sub X=\{\mu\c X\to[0,1]\mid \sum_{x\in X}\mu(x)\}$ on objects, and for $\sub f\c \sub X\to\sub Y$, we have +The subdistribution functor $\sub\c\Set\to\Set$ is defined as $\sub X=\{\mu\c X\to[0,1]\mid \sum_{x\in X}\mu(x)\leq 1\}$ on objects, and for $\sub f\c \sub X\to\sub Y$, we have \begin{gather*} \sub f(\mu)=y\mapsto\sum_{x\in f^{\mone}(y)}\mu(x), \end{gather*}