Category: complete with its own language