On the Category of Props. - Philip Hackney; Marcy Robertson (Appl. Categorical Struct., 2015)