(cache)Kory on X: "@keno_ss なので、解釈は、「プログラミング言語内の syntactical construction から、なんらかの（固定された）圏の中の構造（対象とか射とか射の等価性とか）への」割り当てです。（これで最初の疑問には答えられてそう？だいぶハイコンテクストだということが身に染みてわかりました…）" / X

なので、解釈は、「プログラミング言語内の syntactical construction から、なんらかの（固定された）圏の中の構造（対象とか射とか射の等価性とか）への」割り当てです。（これで最初の疑問には答えられてそう？だいぶハイコンテクストだということが身に染みてわかりました…）