Off-campus UMass Amherst users: To download dissertations, please use the following link to log into our proxy server with your UMass Amherst user name and password.

Non-UMass Amherst users, please click the view more button below to purchase a copy of this dissertation from Proquest.

(Some titles may also be available free of charge in our Open Access Dissertation Collection, so please check there first.)


PATRICIA FRAZER LOCK, University of Massachusetts Amherst


A manual of operations is a model for a collection of physical experiments, or a collection of (perhaps overlapping) sample spaces. To understand this theory, it is essential to understand the relations between manuals. Hence, in this dissertation, we study the morphisms (and, more specifically, the interpretations) of manuals. This is followed by an investigation of the categorical properties of the tensor product of two manuals. We define biinterpretations and prove a universal mapping theorem. We then prove that the tensor product is associative, and define, using an inductive limit, an infinite tensor product. In the final chapter, we develop a language and theory that is broad enough to encompass much of the work which has been done under the general title of "quantum logic."

Subject Area


Recommended Citation

LOCK, PATRICIA FRAZER, "CATEGORIES OF MANUALS" (1981). Doctoral Dissertations Available from Proquest. AAI8118015.