This is an old revision of the document!
${\mathfrak D}_\mathrm{Cats}$
Category theory, Domain of discourse