well-pointed

English

well-pointed (not comparable)

(category theory) 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.

单词	well-pointed
释义	well-pointed English Adjective well-pointed (not comparable) (category theory) 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. Further reading Well-pointed category on Wikipedia.Wikipedia
随便看	deinige deinim deinimíd deinimís deining deiningen deininkje deininkjes deininn Deiniol Deiniolen deinir deinitialization deinitialize deinitialized deinitializes deinitializing deink deinked deinking deinks de inmediato deinnervate deinnervated deinnervates