Sciweavers

ENTCS
2010
116views more  ENTCS 2010»
13 years 11 months ago
A Categorical Setting for Lower Complexity
A polarized strong category consists of a cartesian category, X, and a category Y, together with a module M : X
Robin Cockett, Brian F. Redmond