... objects and morphisms are the vertical morphisms and squares. ... that a bi-representation of F is then precisely a bi-initial object in ...
確定! 回上一頁