; senr_v_pmon : PreMonoidalCat senr_v_bin senr_v_i
; senr_v_mon : MonoidalCat senr_v_pmon
; senr_c : ECategory senr_v_mon senr_c_obj senr_c_hom
; senr_v_pmon : PreMonoidalCat senr_v_bin senr_v_i
; senr_v_mon : MonoidalCat senr_v_pmon
; senr_c : ECategory senr_v_mon senr_c_obj senr_c_hom