Brandon Shapiro: "(Higher) category theory in Cat^#"