7月11日に行われた第五回「層・圏・トポス 現代的集合像を求めて」勉強会にいってきました。 今回は随伴でハマりました。 で、はまったところを考えてみました。随伴が普遍射を定めるというところの証明です。 以下の図が随伴を適当に表した図です。左側が圏…