タングルの定義は、次が明確。Xは1次元コンパクト多様体、I=[0, 1]として、なめらかな埋め込みf:X→I×I×I を考える。Xの境界はI×I×{0, 1}に入るとする。さらに、I×I×{0}の周辺では、fの像がI×I×{0}にのった有限個の点との直積構造を持つとする。つまり、{(x, …

チョー（超）なモノ - 檜山正幸のキマイラ飼育記 (はてなBlog)、モドキなモノ - 檜山正幸のキマイラ飼育記 (はてなBlog)を引き写しておく。チョー（超）なモノultra - ultracategoryはenrichmentとの関係で定義される。ultrametricとのアナロジーがあるよう…

http://www.ima.umn.edu/talks/workshops/SP6.7-18.04/forcey/talk.pdf 印刷途中でインク切れた。