A Categorical Consideration Of Physical Formalisms