Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorbblfish
   • CommentTimeNov 22nd 2019
   • (edited Nov 22nd 2019)
   • PermaLink
   Author: bblfish
   Format: MarkdownItexIn "[Natural duality, Modality, and Coalgebras](https://www.sciencedirect.com/science/article/pii/S0022404911001666?via%3Dihub)", in his thesis [Meaning and Duality - From Categorical Logic to Quantum Physics](http://www.cs.ox.ac.uk/people/bob.coecke/Yoshi.pdf), and elsewhere [Yoshihiro Maruyama](https://researchmap.jp/ymaruyama) talks about $\mathrm{ISP}$, $\mathrm{ISP}$(M), how it is composed of $\mathrm{I}$, $\mathrm{S}$ and $\mathrm{P}$, but I can't figure out what these stand for.

   In “Natural duality, Modality, and Coalgebras”, in his thesis Meaning and Duality - From Categorical Logic to Quantum Physics, and elsewhere Yoshihiro Maruyama talks about $\mathrm{ISP}$, $\mathrm{ISP}$(M), how it is composed of $\mathrm{I}$, $\mathrm{S}$ and $\mathrm{P}$, but I can’t figure out what these stand for.

2. • CommentRowNumber2.
   • CommentAuthorbblfish
   • CommentTimeNov 23rd 2019
   • (edited Nov 23rd 2019)
   • PermaLink
   Author: bblfish
   Format: MarkdownItexI got the answer on [StackExchange](https://math.stackexchange.com/questions/3447447/what-kind-of-structure-is-an-isp/3447462#3447462) and was actually just about to find the answer myself. What is missing in Maruyama's thesis was an index of symbols, that would have been helpful at least to know what the name of the symbols was, and so where to look in a long book on universal algebra.

   I got the answer on StackExchange and was actually just about to find the answer myself. What is missing in Maruyama’s thesis was an index of symbols, that would have been helpful at least to know what the name of the symbols was, and so where to look in a long book on universal algebra.