The numbers give the pages where the definitions may be found.
abstract allowable natural transformation, xi
allowable (or, canonical) arrow, v,vi
allowable E-graph, 24-25
allowable natural transformation, v,xi
allowable natural transformation (between shapes), xi
allowable natural transformation (with respect to V), v
canonical arrow, vi
central E-graph, 25
central natural transformation, xiii
closed category, iv
component (of an allowable natural transformation),xii
constant, viii,19
constant functor I, vi
constructible E-graph, 27
cut elimination property, xiv
cut elimination theorem (for allowable natural transformations),xv,xvi
direct component, 71,79
E-graph, 19
entry, 19
expanded instance of .. . , x
extended graph, 19
form S, xv,54
form ir , xv
form , xv
form *, 54
formal arrow between shapes, ix-x
-1 -1
formal components (in $ of a,a ,b,b ,c,d,e), 22
formal identity arrow (of a shape) , ix
formal instance of a,a ,b,b ,c,d,e, ix
graph, vi,viii,xii
iterated S-product, xvi
identifiable E-graphs, 53
pre-identifiable E-graphs, 47
prime factor (of a shape), xv,25
prime shape, xv,25
Previous Page Next Page