随伴 ずいはん せき であれば
zuihan sekitedeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 随伴関手

1. If it is an accompanying functor.; When it is an accompanying functor.

Ba Conditional
Mathematics