ABSTRACT

This book presents a detailed account of the theory of quantaloids, a natural generalization of quantales. The basic theory, examples and construction are given and particular emphasis is placed on the free quantaloid construction, as well as on the perspective provided by enriched categories.

chapter |6 pages

INTRODUCTION

chapter |7 pages

and sup-la t t ices

part 2|2 pages

NEW QUANTALOIDS FROM OLD §1. Quantaloidal nuclei

part 3|2 pages

FREE QUANTALOIDS AND Q-ENRICHED CATEGORIES §1. The m o nad P

part |2 pages

§2. Tree atutomata as P(s^)-enriched categories