A category is a set of objects and a set of arrows between those objects, and an operator that composes those arrows associatively. For much, much more, this m

A category is a set of objects and a set of arrows between those objects, and an operator that composes those arrows associatively. For much, much more, this might be a good fit for you: https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ https://bartoszmilewski.com/2014/10/28/category-theory-for-p...