をらむ "はじめての圏論　ブンゲン先生..." 1900年1月1日