Generator (category theory)

In mathematics, more specifically category theory. A generator (otherwise known as a seperator), or generating family (resp. separating family) is a collection of objects that "see enough" of the category that their perspective is enough to determine the morphisms in the category.

This article is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.