The subject's from Coecke's https://arxiv.org/abs/0803.0417 and my question's essentially to "compare and contrast" that with Kastner's https://arxiv.org/abs/1707.09034 which appeared today.
Seems to me that Coecke's topos-theoretic, linguistic-like approach is what Kastner's referring to as the epistemic aspects of distinguishability, whereas her quantum statistics approach emphasizes (what she's calling) the ontological individuality aspects.
As far as compare-and-contrast is concerned, I noted that Kastner's bibliography contains zero references to any of the topos approaches (which I think Coecke et al originated). And, of course (retrocausality notwithstanding:), Coecke doesn't reference Kastner. But I've only just barely scratched the surface of this stuff, and can't see for myself what kind of Coecke$\Leftrightarrow$Kastner relationships/arrows/morphisms/whatever might be constructed. Any ideas, by which I mean formal associations/correspondences in that $\Leftrightarrow$ sense, about that?