# Category Theory in Computer Science (under construction) ## Physics Maths vs Computer Science Maths (I make this distinction only to provide a useful point of view, don't take it too seriously.) Maths and physics have been developed in close cooperation. Two of the most important modeling techniques that came out of this are *groups* and *equivalence relations*. ## What is Structure? ## Compositionality ## Applications Category theory plays an important role in many areas of mathematics. I will list some applications to computer science. - Theory of Programming Languages - Topological Data Analysis ## Summary The interesting applications are mostly to theoretical computer science and this is what most of my published research has been about. I am now also interested in "applied applications". These will have to come via software tools that hide the category theory from the user but are designed based on insights gained from category theory, most importantly related to compositionality.