この特定の場合に対応するf代数は組(codice_5,[codice_8,codice_9])である、ここでcodice_5は対象であり、二つの射codice_8とcodice_9は