Opin vísindi

Browsing Bókarkaflar - HR by Subject "adjoint comonad-monad pairs"

Browsing Bókarkaflar - HR by Subject "adjoint comonad-monad pairs"

Sort by: Order: Results:

  • Capobianco, Silvio; Uustalu, Tarmo (ACM, 2023-10-22)
    Cellular automata are an archetypical comonadic notion of computation in that computation happens in the coKleisli category of a comonad. In this paper, we show that they can also be viewed as graded comonadic—a perspective that turns out to be both ...