Use this URL to cite or link to this record in EThOS:
Title: Quantales : Quantal sets.
Author: Nawaz, M.
ISNI:       0000 0001 3440 1310
Awarding Body: University of Sussex
Current Institution: University of Sussex
Date of Award: 1985
Availability of Full Text:
Access from EThOS:
A generalisation of Q-sets (and maps between them) called quantal sets, is introduced for an idempotent quantale Q. It turns out that subsets of a quantal set do not correspond bijectively with its subobjects. Quantal sets are shown to form a topos with an internal quantale which classifies subsets. We define appropriate notions of complete quantal set, presheaf and sheaf over Q, and show that the categories of quantal sets and sheaves over Q are equivalent. Based on subsets of quantal sets, a category is constructed in which the properties of the &-operation of Q are reflected. Finally, we construct a bicategory m from Q, and define a concept of quasi-symmetric E-category; it is proved that complete quantal sets may be characterised as quasi-symmetric E-categories satisfying additional properties.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available
Keywords: Categorical algebra