The applications of higher category theory to computer science are numerous. The interested reader can start here: