Categorical logic from a categorical point of view

mikeshulman.github.io

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.

  Category, Theory, Categorical, Logic, Categorical logic, Category theory