Check if a morphism between typed ACSets preserves typing
Source:R/typed_acsets.R
is_typed_morphism.RdGiven typed ACSets phi_1: X_1 -> T and phi_2: X_2 -> T and a morphism f: X_1 -> X_2, check that phi_2 . f = phi_1 (types are preserved).
R/typed_acsets.R
is_typed_morphism.RdGiven typed ACSets phi_1: X_1 -> T and phi_2: X_2 -> T and a morphism f: X_1 -> X_2, check that phi_2 . f = phi_1 (types are preserved).