2026-09-21T11:24:15Z https://www.ideals.illinois.edu/oai-pmh

oai:www.ideals.illinois.edu:2142/22388 2023-07-10 col_2142_5131 col_2142_16340 com_2142_5130 com_2142_16339 com_2142_8903

Gray, John Carpenter, Bruce Franklin 2011-05-07T13:38:15Z 2011-05-07T13:38:15Z 10000-01-01 1995 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. Made available in DSpace on 2011-05-07T13:38:15Z (GMT). No. of bitstreams: 2 license.txt: 4922 bytes, checksum: 910b249b4beec47e7ab768910c8f966f (MD5) 9522087.pdf: 3146338 bytes, checksum: 903d29655f5d7836a0c0a7feedfa5a05 (MD5) Previous issue date: 1995 Item marked as restricted to the 'UIUC Users [automated]' Group (id=2) by Howard Ding (hding2@illinois.edu) on 2011-05-07T14:57:17Z Item is restricted indefinitely. Restriction data tranferred 2014-07-01T11:26:51-05:00 Original Data Group with Access UIUC Users [automated] Release Date: none Reason: ETDs are only available to UIUC Users without author permission ETDs are only available to UIUC Users without author permission U of I Only AAI9522087 (UMI)AAI9522087 http://hdl.handle.net/2142/22388 eng Copyright 1995 Carpenter, Bruce Franklin Mathematics Computer Science State transformers and modes of computation text Mathematics Mathematics University of Illinois at Urbana-Champaign Dissertation Ph.D.