${\mathfrak D}_\mathrm{Cats}$

Category theory, Domain of discourse