nLab FinInj

Redirected from "FinSetInj".

Idea

FinInjFinInj (or FinSet injFinSet_inj or often just FIFI) refers to the wide subcategory of FinSet with its morphisms restricted to monomorphisms (injective functions).

It may be characterised as:

A functor from FinSet injFinSet_{inj} to Vect (or more generally to some RRMod) is also known as an FI-representation, a kind of accumulated form of Sym ( n ) Sym(n) -representations as nn \in \mathbb{N} ranges (cf. also representation stability).

References

Introducing the notion of FI-modules ( FinSet inj FinSet_{inj} -representations):

Last revised on May 9, 2023 at 14:16:25. See the history of this page for a list of all contributions to it.