Workshop in Category Theory and Algebraic Topology