Example: stock market
Categorical logic from a categorical point of view
exibility of categorical logic as a tool for category theory. Our example will consist of several varations on the following theorem: Theorem 0.1.1. If a monoid has inverses (hence is a group), then those inverses are unique. When \monoid" and \group" have their usual meaning, namely sets equipped with structure, the proof is easy.
Tags:
Information
Domain:
Source:
Link to this page: