Skip to main content
user6250's user avatar
user6250's user avatar
user6250's user avatar
user6250
  • Member for 14 years, 7 months
comment
Free monad or monad defined from an adjunction.
Being for exemple in the form $U\circ{F}$ where $F\dashv{U}$.
awarded
revised
Loading…
revised
Loading…
awarded
Loading…