functor
functional unary notion connecting those other relations
—defined Mon, 23 Sep 2024 15:00:19 GMT by Carl [history]