📚 Practice Mode

Adjoints and Monads

Learn at your own pace with hints and detailed explanations

1 / 15
Multiple Choice

Given categories (C) and (D), what is the definition of an adjoint pair of functors (F: C \to D) and (G: D \to C)?

  1. For every object \(X \in C\) and every object \(Y \in D\), there exists a bijection between the set of morphisms from \(F(X)\) to \(Y\) in \(D\) and the set of morphisms from \(X\) to \(G(Y)\) in \(C\).
  2. For every object \(X \in C\) and every object \(Y \in D\), there exists a natural isomorphism between the functor \(F\) and the functor \(G\).
  3. For every object \(X \in C\) and every object \(Y \in D\), there exists a natural transformation from \(F\) to \(G\) and a natural transformation from \(G\) to \(F\) such that their composition is the identity natural transformation.
  4. For every object \(X \in C\) and every object \(Y \in D\), there exists a natural transformation from \(F\) to \(G\) such that its composition with itself is the identity natural transformation.
Change Mode