Skip to main content
1 of 3
Edouard
  • 660
  • 4
  • 10

Saturated classes, generation by a set and pullbacks of categories

Assume that we have a pullback square $$ \begin{array}{ccc} A & \rightarrow & B \\ \downarrow & & \downarrow \\ C & \rightarrow & D \\ \end{array} $$ with all functors accessible, and all categories presentable (if needed, assume that $A \to C$ and $B \to D$ are left adjoints).

Suppose further that we have three saturated (that is, closed under retracts, pushouts and transfinite compositions) classes of arrows $S(B),S(C),S(D)$ of, respectively, $B,C,D$. Assume that the functors $B \to D, C \to D$ preserve these classes. (It seems likely to me that the set $S(D)$ should not play any importance in what follows)

Form the set $S(A)$ by requiring that it consists of all arrows of $A$ that are sent to $S(B)$ and $S(C)$ by the respective functors.

Question: if $S(B),S(C),S(D)$ are generated by (small) sets, does it imply that $S(A)$ is generated by a set as well?

Edouard
  • 660
  • 4
  • 10