Initial commit of Category Theory for Philosophy Majors