搜索结果: 1-4 共查到“范畴论 categorical”相关记录4条 . 查询时间(0.046 秒)
In programming language semantics, it has proved to be fruitful to analyze context-dependent notions of computation, e.g.,
Concrete Foundations for Categorical Quantum Physics
Concrete Foundations Categorical Quantum Physics
2011/3/4
An original presentation of Categorical Quantum Physics, in the line of Abramsky and Coecke [10], tries to introduce only objects and assumptions that are clearly relevant to Physics and does not assu...
Polar decomposition unquestionably provides a notion of factorization in the category of Hilbert spaces. But it does not fit existing categorical notions, mainly because its factors are not closed und...
We prove that every many-sorted !-categorical theory is com-pletely interpretable in a one-sorted !-categorical theory. As an ap-plication, we give a short proof of the existence of non G–compact !-ca...