Corrigendum for
---
D. Ahman, T. Uustalu. Directed containers as categories.
In R. Atkey, N. Krishnaswami, eds., Proc. of MSFP 2016, v. 207 of EPTCS,
pp. 89-98. Open Publishing Assoc., 2016. doi:10.4204/eptcs.207.5
---
p 94, l 2 of display: The formula here should read
$\bar{P} =_{df} \bar{P_0} + \bar{P_1}$ (with overbars).
p 94, l 2 from bottom: The phrase "Via the isomorphism" should read
"Via the equivalence".
p 95, l 2 of 2nd display: The formula here should read
$\bar{P} =_{df} \bar{P_0} \times \bar{P_1}$ (with overbars).
p 97, l 10 from bottom: The parenthetical remark "as is any category
with one object" should read "as is any category with one object and
commutative composition [any commutative monoid seen as a category]".