2015-11-04から1日間の記事一覧
ベルトロン・ピーチ(Bertalan Pecsi, おそらくハンガリー人)が森田コンテキストに関わる色々なことをやっている。 Title: Bridges and Profunctor Author: Bertalan Pecsi URL: http://www.renyi.hu/~aladar/theses.pdf ↑は概要だけで中身はない。 Title: …
昨日引用した↓ Title: COMPOSITION OF MODULES FOR LAX FUNCTORS Author: ROBERT PARE URL: http://www.tac.mta.ca/tac/volumes/27/16/27-16.pdf Pages: 53p. ↑これは、weak double category の話が多い。 Title: Tile Transition Systems as Structured Coa…