Dinatural transformations and polymorphic operators

A notion of dinatural transformation more restrictive than that in the literature is presented. Canonical dinatural transformations are defined, and shown to have desirable properties not shared by dinaturals in general. Connections between the notions of canonical dinatural transformation, context-free grammar, initial algebra, and polymorphic operator are elaborated. The theorem that the dinatural transformations between certain functors in the category of partial equivalence relations are exactly the canonical dinaturals is proved. Open questions are discussed, and directions for further study suggested.

Name thesis:degree_name

Ph.D.

Level thesis:degree_level

Dissertation

Discipline thesis:degree_discipline

Mathematics

Grantor

University of Illinois at Urbana-Champaign

Year dc:date

2011

Author dc:creator

• Smith, Cameron C.

Contributors dc:contributor

• Muller, David E.

• Mathematics
• Computer Science

Statement dc:rights

• Copyright 1989 Smith, Cameron C.

Language dc:language

eng

Identifier

AAI8916307
(UMI)AAI8916307

OAI identifier oai:identifier

oai:www.ideals.illinois.edu:2142/20346