4 野に咲く名無し@転載禁止 2024/09/02 (月) 23:37:43.962 ID:O5Kzj1FKG主
なんかね、圏論ではFunctorっていう 2つの圏の間のマッピングする考えがあるんだけど、マッピングに一貫性を持たせるために厳密な定義があるんだってでも、望月先生が独自に定義したθ-リンクっていうのは定義が不十分で、マッピングする際に一貫性が担保されるか不明なんだって