Searching for links to CategoryTheory: