Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
since it was mentioned on the category theory mailing list I went to the entry measure coalgebra and edited a bit: I have added some hyperlinks and Definition- and Proposition-environments.
Somebody who created the entry should look into this issue: currently the entry mentions a ground field right at the beginning, which however never reappears again. It’s clear that everything can be done over an arbitrary ground field, I guess, but currently this is not discussed well.
In order to satisfy links I then created
1 to 1 of 1