Thesis icon

Thesis

On coalgebras and final semantics

Abstract:

This thesis is concerned with an analysis of the category Coalg(T) of coalgebras of an endofunctor T. The objects of this category can be thought of as transition systems, and the morphisms can be thought of as functional bisimulations. Thus, Coalg(T) is a suitable setting for a category-theoretic account of bisimulation and coinduction. We are particularly interested in final coalgebras, viewing them as strongly-extensional universal transition systems and as recursively defined data type...

Expand abstract

Actions


Access Document


Files:

Authors


More by this author
Division:
MPLS
Department:
Computer Science
Oxford college:
Keble College
Role:
Author
Type of award:
DPhil
Level of award:
Doctoral
Awarding institution:
University of Oxford
Deposit date:
2023-03-15

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP