Kronecker Products and Local Joins of Graphs

Abstract

When studying the category raph of finite graphs and their morphisms, Ave can exploit the fact that this category has products, [we define these ideas in detail in § 2]. This categorical product of graphs is usually called their Kronecker product, though it has been approached by various authors in various ways and under various names, including tensor product, cardinal product, conjunction and of course categorical product (see for example [ 6 ; 7 ; 11 ; 14 ; 17 and 23]).