In most or perhaps all the examples of a co-algebra that I have seen, the properties of sets as the base category was used, like the existence of products and co-product and Cartesian closeness. Does anyone have an example of a co-algebra and a system which makes use of more peculiar categorical properties?
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.
Here's how it works:
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top