We show that contrary to appearances, Multimodal Type Theory (MTT) over a
2-category M can be interpreted in any M-shaped diagram of categories having,
and functors preserving, M-sized limits, without the need for extra left
adjoints. This is achieved by a construction called "co-dextrification" that
co-freely adds left adjoints to any such diagram, which can then be used to
interpret the "context lock" functors of MTT. Furthermore, if any of the
functors in the diagram have right adjoints, these can also be internalized in
type theory as negative modalities in the style of FitchTT. We introduce the
name Multimodal Adjoint Type Theory (MATT) for the resulting combined general
modal type theory. In particular, we can interpret MATT in any finite diagram
of toposes and geometric morphisms, with positive modalities for inverse image
functors and negative modalities for direct image functors.