随伴 ずいはん せき なら
zuihan sekitenara

Noun
Da Copula

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

1. If/when an accompanying functor; When the accompanying functor

Nara Conditional
Mathematics