現在２０２０年７月２日２１時５６分である。 麻友さん、『１から始める数学』のブログに、次の２つの投稿をしました。現代論理学（その２７）foundations.hatenablog.com圏論の歩き方foundations.hatenablog.comおやすみ。 現在２０２０年７月２日２２時０…