pub fn th_nullable_signed_category() -> UstrDiscreteDblTheoryExpand description
The theory of nullable signed categories.
A nullable signed category is a category sliced over the monoid of signs, including zero.
pub fn th_nullable_signed_category() -> UstrDiscreteDblTheoryThe theory of nullable signed categories.
A nullable signed category is a category sliced over the monoid of signs, including zero.