Scalaでのコントラバナントバイナリ操作

Question

カテゴリの非常に基本的な一般的なモデルについて、私は対立形質でオブジェクトのペアに関連付けられたモーフを取得しようとしています。

class Obj[DerivedObj <: Obj[DerivedObj]] { /* ... */ } 

class Morphism[DerivedMorphism <: Morphism[DerivedMorphism]] { /* ... */ } 

私は何とか定義できるようにしたいと思います：

def mor(from : SomeConcreteObj, to : SomeConcreteObj) : SomeConcreteMorphism; 

が、作るの `明白なソリューションをMOR OBJの方法は、さらに入力パラメータ化射であることをOBJに必要となります。

このようなことを達成するためのScalaの方法は何ですか？

Answer 1

わかりました。おそらく、その意味は実際にはmorは実際にはいくつかのカテゴリクラスのメソッドであるということです：問題を解決するように思われるでしょう。