SMS: Category Theory