多様体の定義を見ていて思ったこと。 多様体やその点が実体としてまずある、から出発する流儀 測定器と測定値がまずある、から出発する流儀 それぞれ、実体主義、測定主義と呼ぶことにする。現代のメジャーな多様体の定義は、実体主義的だが、昔は測定主義的…

随時追加変更 Submitted: 1 May 2013 Title: The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits Author: David I. Spivak URL: https://arxiv.org/abs/1305.0297 PDF: https://arxiv.…