Quasitopoi generalize topoi, a concept of major importance in the theory of Categoreis, and its applications to Logic and Computer Science. In recent years, quasitopoi have become increasingly important in the diverse areas of Mathematics such as General Topology and Fuzzy Set Theory. These Lecture Notes are the first comprehensive introduction to quasitopoi, and they can serve as a first introduction to topoi as well.
Contents:
- Basic Properties
- Examples of Topoi and Quasitopoi
- Logic in a Quasitopos
- Topologies and Sheaves
- Geometric Morphisms
- Internal Categories and Diagrams
- Topological Quasitopoi
- Quasitopoi and Fuzzy Sets
Readership: Mathematicians and theoretical computer scientists.
“This book is excellently and clearly written … Every topos theorist and every fuzzy set theorist interested in topoi and foundations will find it both valuable and enjoyable … Highly recommended.”
Fuzzy Sets and Systems
“The present book is the first coherent account of the theory of quasi-toposes, stressing the similarity with topos theory; in fact, by leaving ‘quasi’ aside, the book even provides a handy introduction to topos theory itself.”
Mathematics Abstracts
“… those who need to know about quasitoposes will find a clear, connected and complete account of the basic theory here … All these areas of application, together with the basic theory, are clearly and adequately covered in the book under review … the book deserves a warm welcome, and those who wish to know more about quasitoposes need have no hesitation in expending the relatively modest sum demanded by its publisher.”
P T Johnstone
London Mathematical Soc.
