subfunctor
nounEtymology
From sub- + functor.
Definitions
A functor such that all of the objects it maps are mapped by the parent functor, and for…
A functor such that all of the objects it maps are mapped by the parent functor, and for any arrow it maps the parent functor includes the same mapping (although it may also map arrows from the same domain to additional images outside the image of the subfunctor).
- Also, if k is noetherian, then any subfunctor of a finitely generated functor is finitely generated.
The neighborhood
Vish — recursive loop
No curated loop yet for subfunctor. Loops are being traced one word at a time while the ingestion pipeline matures.
sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA