This chapter contains an introduction to category theory. Category theory is one of the preliminaries to the HoTT book that isn’t discussed in much details. In this chapter we will try to give you a super simple foundation of it.
Except As Otherwise Noted, The Content Of This Page Is Licensed Under The CC-BY-SA 4.0 License And Code Samples Are Licensed Under The GPL 3.0 License. For Details, See License.