Workshop on Logic, Algebra and Category Theory: LAC 2018