Generic Figures and Their Glueings: A Constructive Approach to Functor Categories

Front Cover
Polimetrica s.a.s., 2004 - Mathematics - 287 pages
0 Reviews
  

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Introduction
9
The category of
15
Representable ഥ Sets and Yoneda lemma
29
Chapter3 Aഥ Sets as a container of generic figures
37
Operations on ഥ Sets
45
Generic figures
81
The object Ω of truth values
93
Adjointness in posets
109
Logical operations in ഥ Sets
137
Doctrines
171
Geometric morphisms
185
Connectivity
211
Geometric morphisms bis
225
Point of a category of ഥ Sets
253
Index
273
Copyright

Common terms and phrases

Bibliographic information