本文记录了作者学习范畴理论的过程，基于Bartosz Milewski的书籍。作者探讨了范畴理论中的对象与箭头，强调类型与函数的关系，以及箭头在逻辑中的意义。同时介绍了初始对象和终端对象的概念，讨论了箭头如何连接对象以形成证明，旨在加深对范畴理论的理解。