Defects between conformal nets
From CRCG-Wiki
I'll introduce the notion of defect, which is a generalization of the notion of bimodule. I will then explain how one composes an A-B-defect with a B-C-defect to obtain an A-C-defect. The fact that the resulting thing is indeed an A-C-defect is a difficult theorem, of which I hope to sketch the proof.
