Let `partition*` be defined by their oplax Monoidal actions

emilypi / smash

Smash products, Wedge products, and other Pointed stuff

34 stars 11 forks source link

Let `partition*` be defined by their oplax Monoidal actions #15

Open emilypi opened 4 years ago

emilypi commented 4 years ago

@masaeedu Brings up a great point about f ((Can|Wedge|Smash) a b) -> (Can|Wedge|Smash) (f ..) (f ..) defining an oplax monoidal action. I think this is a great idea. Let's do it!

gergoerdi commented 4 years ago

So... Bi-Distributive?