It seems that it's the year of double categories.

Wait, espresso doesn't make you think about math?

Using "many" for something that's counted by a natural number and "much" for something that's counted by a real number (and a unit, usually) is actually a good approximation.

(Reposting)
One thing that we don't stress enough is that the correspondence morphisms-programs is true also *outside* the cartesian closed (=functional) case.
Morphisms are programs, regardless of whether they form their own object/type or not.

I don't know if this models all the examples you have in mind, but in every monoidal category, the monoidal unit is canonically a monoid.