The First Real Application of Category Theory #SoME3