その街のこども 劇場版 window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/…

A ────→ X │ ┐ │ │ ／ │ r│ ／ │ │ ／ │ ↓／ ↓ B ────→ Y上の図の四角が pullback だとします。このとき、 右下三角を可換にする斜めの射 r のセクション は一対一に対応します。 証明は簡単なので省略します。 こんな時に使えるかも(1) X ┐ │ ・ │ ・ │ ・ …