Workshop in Algebra and Category Theory