Basic category theory for computer scientists
0
Type: Book
"31" Result
Sort By:
Toposes and local set theories: an introduction
0
Type: Book
The theory of motives began in the early 1960s when Grothendieck envisioned the existence of a "universal cohomology theory of algebraic varieties". The theory of noncommutative motives is more recent. It began in the 1980s when the Moscow school (Beilinson, Bondal, Kapranov, Ma…
Cover -- Title page -- Contents -- Preface -- Geometry and categorification -- 1. Introduction -- 2. K-theory -- 3. The function-sheaf correspondence -- 4. Symplectic resolutions -- References -- A geometric realization of modified quantum algebras -- 1. Introduction -- 2. Preli…
We investigate the lattice, invented by W. D. Neumann in 1974, formed by the class of all varieties under the quasi-ordering "[script]V is interpretable in [script]W." The lattice is found to be non-modular and a proper class. Various familiar varieties are found to be [logical …
This book is designed both as a textbook for high-level graduate courses and as a reference for researchers who need to apply the structure and representation theory of compact groups. A gentle introduction to compact groups and their representation theory is followed by self-co…
