Baidu
map

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


Baidu
map
Baidu
map
Baidu
map