Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Suppose $F : \mathbb{C} \rightarrow \mathbb{C}$, with the following constraints:

  • $F^{n+1}(\mathbb{C})$ is a subcategory of $F^{n}(\mathbb{C})$
  • for all objects $X \in \mathbb{C}$ there exists a monomorphism $i : F^nX \rightarrow F^{n+1}X$
  • morphisms $f \in \mathbb{C}(X, Y)$ are mapped in such a way, that they commute with previous $i$ morphisms (that is, $(i_X)_X$ are natural transformation $\mathbb{id}\Rightarrow F$)

where $F^n$ denotes $n$ repeated applications of $F$. Let $F^\infty(X)$ be an object with a mono $X \rightarrow F^\infty(X)$, which is universal in the sense, that for any other object $Y$ and mono $X\rightarrow Y$ there exists a unique mono $Y \rightarrow F^\infty(X)$.

Does anyone know how this construction is commonly called in category theory? I tried googling for a bit, but couldn't find anything.

share|cite|improve this question
See and the references there. But I think they almost never have the mono condition. – Martin Brandenburg Apr 10 '13 at 9:29

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.