To formalise and implement a categorical object-related database system. - David Alan Nelson (1999)