Files in this item

FilesDescriptionFormat

application/pdf

application/pdf9522087.pdf (3MB)Restricted to U of Illinois
(no description provided)PDF

Description

Title:State transformers and modes of computation
Author(s):Carpenter, Bruce Franklin
Doctoral Committee Chair(s):Gray, John
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:State transformers, which form the objects in a subequalizing category, are a generalization of the transition functions of automata. The 2-categorical properties of subequalizers are developed and related to adjunctions in a 2-category. A calculus of monads in a 2-category is presented, and general lifting theorems are proved. Applications to constructions in categorical automata theory are given, and a representation theorem for strong monads into the monad of continuations is proved.
Issue Date:1995
Type:Text
Language:English
URI:http://hdl.handle.net/2142/22388
Rights Information:Copyright 1995 Carpenter, Bruce Franklin
Date Available in IDEALS:2011-05-07
Identifier in Online Catalog:AAI9522087
OCLC Identifier:(UMI)AAI9522087


This item appears in the following Collection(s)

Item Statistics