Category of relative comonads with cut
Pushforward construction
Triangle category