Results 1 
3 of
3
The Stone gamut: a coordinatization of mathematics
 In Logic in Computer Science. IEEE Computer Society
, 1995
"... ..."
THE CHU CONSTRUCTION
, 1996
"... We take another look at the Chu construction and show how to simplify it by looking at ..."
Abstract

Cited by 12 (1 self)
 Add to MetaCart
We take another look at the Chu construction and show how to simplify it by looking at
The Chu Construction
, 1996
"... . We take another look at the Chu construction and show how to simplify it by looking at it as a module category in a trivial Chu category. This simplifies the construction substantially, especially in the case of a nonsymmetric biclosed monoidal category. We also show that if the original category ..."
Abstract
 Add to MetaCart
. We take another look at the Chu construction and show how to simplify it by looking at it as a module category in a trivial Chu category. This simplifies the construction substantially, especially in the case of a nonsymmetric biclosed monoidal category. We also show that if the original category is accessible, then for any of a large class of "polynomiallike" functors, the category of coalgebras has cofree objects. 1. Introduction In a recent paper, I showed how the Chu construction, given originally in [Chu, 1979] for symmetric monoidal closed categories, could be adapted to monoidal biclosed (but not necessarily symmetric) categories. The construction, although well motivated by the necessity of providing a doubly infinite family of duals, was rather complicated with many computations involving indices. Recently I have discovered that the autonomous structure of Chu categories can be put into the familiar context of bimodules over a not necessarily commutative "algebra" objec...