Types of Relations: Defining Analogies with Category Theory