Text this: Categorical framework for mathematical sense making in physics