Showing changes from revision #1 to #2:
Added | Removed | Changed
is the category of sets, with morphisms the relations between sets.
is a well-pointed locally W-topical Heyting-algebraic power unital tabular division semiadditive dagger 2-poset . with an initial pointed unary system.