Post #3162806

does anyone happen to know what a comonad in spans amounts to or a cool example of one? it looks a bit like a cocategorical gadget. tagging my trusted cocategories expert @JadeMasterMath