行ってきました。今回は写真もあります!すばらしい! C(-, C)とC(-, C')の自然変換の様子。 しりとり圏で確認。 いのうえ君、こんなとこにおったんか…。上の写真と下の写真の対応は、 C, C', C1, C2 順に、い、え、あ、う。 C(idC1, g) C("あ", "いのうえ")…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。