Skip to main content
edited tags
Link
Yemon Choi
  • 25.8k
  • 9
  • 69
  • 156
Source Link
Shizhuo Zhang
  • 5.5k
  • 2
  • 40
  • 59

How to construct pair of adjoint functors from category A to category A_D(category of diagrams)

I wonder whether following statements holds

If A is an abelian category(or quasi abelian category) having enough projectives, then category of pointed diagram(which means diagram has final object,or for simplicity, one assume the diagram is finite)(A_D=(D--->A))has enough projectives.

I want to construct a pair of adjoint functor between this two category. Then use left adjoint of exact functor maps projectives to projectives

Other methods to prove this statement is welcomed