#adjoint — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #adjoint, aggregated by home.social.
-
'Operator learning without the adjoint', by Nicolas Boullé, Diana Halikias, Samuel E. Otto, Alex Townsend.
http://jmlr.org/papers/v25/24-0162.html
#operators #operator #adjoint -
A monad on a poset can also be a modal logical operator such as Possible(x) or Necessary(x). In fact the traditional "for all" and "there exists" *also* form an #adjoint pair, a #galois_connection which leads to multidimensional #RM3 logic. Cool 😎
The simple explanation is that a functor on a poset has to be order preserving. And if it's a three element set, like RM3, it's idempotent, T^2 = T