>>20
◯ (Ring)の圏への持ち上げとなるので、Fは左随伴関手となる