Generator (category theory)
id:
generator-category-theory-265-16065088
title:
Generator (category theory)
text:
In mathematics, specifically category theory, a family of generators of a category C is a collection G ⊆ O b of objects in C , such that for any two distinct morphisms f , g : X → Y in C , that is with f ≠ g , there is some G in G and some morphism h : G → X such that f ∘ h ≠ g ∘ h . If the collection consists of a single object G , we say it is a generator. Generators are central to the definition of Grothendieck categories. The dual concept is called a cogenerator or coseparator.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Generator_(category_theory)
date created:
date modified:
2022-06-06T07:36:25Z
main entity:
{"identifier":"Q17000267","url":"https://www.wikidata.org/entity/Q17000267"}
image:
fields total:
13
integrity:
13