this implies the presence of adjunct functors