Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore a mathematical colloquium talk that delves into the rabbit calculus, a novel convolution product over presheaves of double categories with applications in term and graph rewriting. Learn about joint research that generalizes the Day tensor product of presheaves from monoidal categories to double categories, examining the oplax associative nature of the resulting convolution product. Discover specific classes of double categories where full associativity is achieved, including framed bicategories and double categories of term and graph rewriting. Understand how the convolution product categorizes the rule algebra product and represents causality in rewriting theory through a detailed mathematical formula.
