Definition 5.12. A sequence of -cocomplete small stable -categories and -small colimit preserving functors is exact if the sequence
is an exact sequence of presentable stable -categories.
Definition 5.12. A sequence of -cocomplete small stable -categories and -small colimit preserving functors is exact if the sequence
is an exact sequence of presentable stable -categories.
Original source: arXiv:1001.2282v4