Category Theory

https://arxiv.org/abs/1803.05316