随伴 ずいはん せき だったら
zuihan sekitedattara

Noun
Da Copula

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

1. If/when accompanying functor; If it were an accompanying functor

Tara Conditional
Mathematics