Just a few seconds ago I had an idea how to generalize both funcoids and reloids.
Consider
- a precategory, whose objects are sets
- product
of filters on sets ranging in morphisms of this category
- operations
and
from the morphisms of our precategory to filters on our objects (sets)
This axiomatic system is so powerful that it allows to define for a funcoid
:
.
However this axiomatic system is probably too weak to prove
. We need additional axioms.