Categories in Fenelton