The uniformity principle on traced monoidal categories
International Conference on Category Theory and Computer Science
Electronic Notes in Theoretical Computer Science 69 (2003)
The uniformity principle for
traced monoidal categories has been introduced
as a natural generalization of the uniformity principle
(Plotkin's principle) for fixpoint operators in domain theory.
We show that this notion can be used for constructing
new traced monoidal categories from known ones.
Some classical examples like the Scott induction principle
are shown to be instances of these constructions.
We also characterize some specific cases of
our constructions as suitable enriched limits.
Pointers to Related Work
Back to Hassei's
Research Page / Home Page