# Category Theory What is a category? It is a universe of some particular kind of thing. Your objects are the instances of that kind of thing. Your morphisms are the computations that go from one instance to that kind of thing to another instance of that kind of thing. So it is really a theory of abstract semantics. See more [here](https://youtu.be/rie-9AEhYdY?t=3290). > Objects are completely determined by their relationships to other objects. > - [The Yoneda Perspective](https://www.math3ma.com/blog/the-yoneda-perspective) --- Date: 20230727 Links to: Tags: References: * [Limits and Colimits, Part 1 (Introduction)](https://www.math3ma.com/blog/limits-and-colimits-part-1) * [WE MUST ADD STRUCTURE TO DEEP LEARNING BECAUSE... - YouTube](https://youtu.be/rie-9AEhYdY?t=3290)