#import "math-notes.typ": math_notes, definition, proposition, lemma, theorem, corollary, example, proof, remark

#import "commutative-diagrams.typ": commutative_diagram, functor_diagram, square_cd, square_cd_element, functor_diagram_square_cd, adjunction_pair