Natural transformations
Meta
${\mathfrak D}_{\xrightarrow{\bullet}}$
Related
Domain of discourse