Cartesian Integral Categories and Contextual Integral Categories

Cockett, JRB; Lemay, JS

Cockett, JRB (reprint author), Univ Calgary, Dept Comp Sci, Calgary, AB, Canada.

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2018; 341 (): 45

Abstract

The notion of a Cartesian integral category is introduced and motivated. Morally, this notion should be the coKleisli category of a (tensor) integral ......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索