Example: confidence
Search results with tag "Category theory"
Categorical logic from a categorical point of view
mikeshulman.github.ioexibility 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.