e/Subfunctor

Information
has gloss	eng: In category theory, a branch of mathematics, a subfunctor is a special type of functor which is an analogue of a subset.
lexicalization	eng: subfunctor
instance of	e/Functor