Substrate

#eugenia-cheng #adjunctions