Category theorists in AI