A Disjunction for Varieties with a Weak Difference Term
Alexander Wires, Vanderbilt University
Location: Stevenson 1312
We provide a characterization for varieties with a weak difference term similar to the disjunction given for congruence meet-semidistributive varietes established by Ross Willard in "A finite basis theorem for residually finite, congruence meet-semidistributive varieties" (2000). As an application we give simplified proofs of two well-known results concerning the closure of digraphs under Taylor operations.