INDEX accessible category 20 accessible functor 32 accessible pseudo-functor 113 adjoint equivalence (in 2-category) 76 adjunction (in 2-category) 75 atomic formula 43 arity 43 A-model (of sketch) 41 Banach space 59 basic sentence 45 biequivalence 80 biinverse 80 canonical sketch (of a category) 41 cardinality of a category 13 cardinality of a graph 13 cardinality of a structure 54 category of elements (of a functor) 15 category sketch 40 classifying topos 41 cocone in a category or graph 12 cocones of a sketch 39 codomain of a path 39 cofinality of a cardinal number 12 coherent sketch 42 coherent theory 48 Co limit 101 colimit cocone 12 colimit cocone of a sketch 39 colimit diagram 12 commutativity condition 39 compact cardinal 138 complete theory 58 completely elementary category 58 completion of a category 160 composite of a path .. 39 167 http://dx.doi.org/10.1090/conm/104
Previous Page Next Page