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

Noun
Da Copula

The past form of 随伴関手

1. Was an accompanying functor.

Past/Perfective
Mathematics