Added related concepts.
]]>Thanks. I added a section "Machine Learning" with a reference to the n-Cafe.
By the way, the reason I'm looking into this is that I'm trying to relate it somehow to the cardinality of the colimit of a Set-valued functor as I outlined here. It would be neat if your discussion about kernel methods became relevant to weighted colimits (which are categorified integrals).
]]>Neat :)
]]>It's a rig regardless of cardinalities, since arithmetic of arbitrary cardinal numbers is riggish.
]]>Cool. By the way, I defined a product of multisets, which turns them into a rig (at least for finite multisets).
]]>I fixed a typo and added a note to the end.
]]>The solution turned out to be very pretty. What do you think? It is rare I can contribute something technical, so I'm happy at the moment :)
]]>You're welcome!
]]>I created inner product of multisets, which I hope will help make some sense of some speculations over at the discussion of magnitude of metric spaces.
Thank you Toby for your help on my personal wikiweb.
]]>