Repository logo
 

Generalized Supremum-enriched categories and their sheaves.

Date

2002

Authors

Garraway, William Dale.

Journal Title

Journal ISSN

Volume Title

Publisher

Dalhousie University

Abstract

Description

This work is an exploration of Supremum-enriched semicategory theory (quantaloids) and the relationship with sheaves. We begin with a review of some basic constructions and structures then introduce enriched semicategories and taxons. Next we define the category of sheaves for an involutive quantaloid Q and give an equivalence with Q -valued sets. We close by showing that a sheaf is an infimum preserving semifunctor, F : Qco → REL.
Thesis (Ph.D.)--Dalhousie University (Canada), 2002.

Keywords

Mathematics.

Citation