t_wの輪郭

集合圏
『自然変換とは？モナド理解への第一歩 — プログラマ向け圏論入門 4 - YouTube』