A formal language, created by ...... ch as sets, categories, etc.).