playing with internal languages for categories.