Files in this item

FilesDescriptionFormat

application/pdf

application/pdf8916307.pdf (4Mb)Restricted to U of Illinois
(no description provided)PDF

Description

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)

Item Statistics

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