IDEALS Home University of Illinois at Urbana-Champaign logo The Alma Mater The Main Quad

Dinatural transformations and polymorphic operators

Show full item record

Bookmark or cite this item: http://hdl.handle.net/2142/20346

Files in this item

File Description Format
PDF 8916307.pdf (4MB) Restricted to U of Illinois (no description provided) PDF
Title: Dinatural transformations and polymorphic operators
Author(s): Smith, Cameron C.
Doctoral Committee Chair(s): Muller, David E.
Department / Program: Mathematics
Discipline: Mathematics
Degree Granting Institution: University of Illinois at Urbana-Champaign
Degree: Ph.D.
Genre: Dissertation
Subject(s): Mathematics Computer Science
Abstract: 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.
Issue Date: 1989
Type: Text
Language: English
URI: http://hdl.handle.net/2142/20346
Rights Information: Copyright 1989 Smith, Cameron C.
Date Available in IDEALS: 2011-05-07
Identifier in Online Catalog: AAI8916307
OCLC Identifier: (UMI)AAI8916307
 

This item appears in the following Collection(s)

Show full item record

Item Statistics

  • Total Downloads: 0
  • Downloads this Month: 0
  • Downloads Today: 0

Browse

My Account

Information

Access Key