って何？

圏論関係？

カテゴリ文法と関係あるの？

教えて下さい。