## General Overview

Recent Math Field
1942-45, Samuel Eilenberg & Saunders Mac Lane

Certainly one of the more abstract branches of math

- New math foundation
  formalism abstraction, package entire theory★
- Bridge between disciplines
  Physics, Quantum Physics, Topology, Logic, Computer Science☆

★: When is one thing equal to some other thing?, Barry Mazur, 2007
☆: Physics, Topology, Logic and Computation: A Rosetta Stone, John C. Baez, Mike Stay, 2009