Category Theory Foundations Of Mathematics