As you may have noticed, above you will find words for "Said of a category or topos: that it has a terminal object (or that it has no zero object, if it is a topos) and in which any distinct pair of parallel morphisms can be distinguished by their distinct compositions with a global element of their domain; i.e. any pair of parallel morphisms is distinct if and only if there is a global element in their domain that does not equalize them.". Hover the mouse over the word you'd like to know more about to view its definition. Click to find a better fitting word. Finally, thanks to ChatGPT, the overall results have been greatly improved.