2017年最初のコメントとして、内海さんから次の情報を教えていただきました; 2016年12月30日に、レンスター（Tom Leinster）の書籍"Basic Category Theory"がオンラインに無料公開されました。※ 書籍の表紙画像が表示されないときは、このページをリロードし…