Category Theory Applications