Investigating Structure in Turing Categories

Investigating Structure in Turing Categories

Show other versions (3)

The concept of a computable function is quite a well-studied one, however, it is possible to capture certain important properties of computability categorically. A special type of category used for this purpose is called a Turing category. This thesis starts with a brief overview of Turing categorie...

Full description

Bibliographic Details
Main Author: Vinogradova, Polina
Language:en
Published: 2012
Subjects:
Turing category
Computable function
Online Access:http://hdl.handle.net/10393/20505
id ndltd-LACETR-oai-collectionscanada.gc.ca-OOU-OLD.-20505
record_format oai_dc
spelling ndltd-LACETR-oai-collectionscanada.gc.ca-OOU-OLD.-205052013-04-05T03:21:09ZInvestigating Structure in Turing CategoriesVinogradova, PolinaTuring categoryComputable functionThe concept of a computable function is quite a well-studied one, however, it is possible to capture certain important properties of computability categorically. A special type of category used for this purpose is called a Turing category. This thesis starts with a brief overview of Turing categories, followed by a study of additional categorical structure they may contain, based on the types of structure found in the world of computable functions, and how this is reflected in the underlying combinatorial structures.2012-01-05T20:45:09Z2012-01-05T20:45:09Z20122012-01-05http://hdl.handle.net/10393/20505en
collection NDLTD
language en
sources NDLTD
topic Turing category
Computable function
spellingShingle Turing category
Computable function
Vinogradova, Polina
Investigating Structure in Turing Categories
description The concept of a computable function is quite a well-studied one, however, it is possible to capture certain important properties of computability categorically. A special type of category used for this purpose is called a Turing category. This thesis starts with a brief overview of Turing categories, followed by a study of additional categorical structure they may contain, based on the types of structure found in the world of computable functions, and how this is reflected in the underlying combinatorial structures.
author Vinogradova, Polina
author_facet Vinogradova, Polina
author_sort Vinogradova, Polina
title Investigating Structure in Turing Categories
title_short Investigating Structure in Turing Categories
title_full Investigating Structure in Turing Categories
title_fullStr Investigating Structure in Turing Categories
title_full_unstemmed Investigating Structure in Turing Categories
title_sort investigating structure in turing categories
publishDate 2012
url http://hdl.handle.net/10393/20505
work_keys_str_mv AT vinogradovapolina investigatingstructureinturingcategories
_version_ 1716579481822429184

Similar Items