File:Categorical Pseudo-existence.png