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.

Quantaoids
new quantaloids from old
free quantaloids and Q-enriched categories
an example - a categorical approach to automata and tree automata
modules
bimodules and *-autonomous categories.

배송정보

교환/반품 정보