sj9999 comments on Generalised models as a category

sj9999 23 Apr 2022 23:57 UTC
LW: 10 AF: 6
AF
I think these might be some typos you could correct:
$Q_{1} (E_{1}) \leq Q_{0} (r^{- 1} (E_{0}))$ , or both measures are undefined.
The $E_{0}$ should be $E_{1}$ .
For such an $r$ -stable set, $Q_{0} (E_{0}) \leq Q_{1} (r (E_{0}))$ and $Q_{1} (r (E_{1}) \leq Q_{0} (r^{- 1} r (E_{0})) = Q_{0} (E_{0})$ , thus $Q_{0} (E_{0}) = Q_{1} (r (E_{0}))$ .
There is a missing parenthesis and the $E_{1}$ should be $E_{0}$ : $Q_{1} (r (E_{0})) \leq Q_{0} (r^{- 1} r (E_{0})) = Q_{0} (E_{0})$
- Stuart_Armstrong 5 May 2022 16:30 UTC
  2 points
  Parent
  Thanks so much! Typos have been corrected.