A note on the diamond operator

Research output: Contribution to journalArticlepeer-review

4 Scopus citations


We show that if 1 â W F and F â F â W F, then F â- â W F, where â and â- are the following operations in the Weihrauch lattice: â is the compositional product, which allows the use of two principles in sequence, while the diamond operator â- allows an arbitrary but finite number of uses of the given principle in sequence. This answers a question of Pauly.

Original languageEnglish (US)
Pages (from-to)107-110
Number of pages4
Issue number2
StatePublished - 2021

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science Applications
  • Computational Theory and Mathematics
  • Artificial Intelligence


Dive into the research topics of 'A note on the diamond operator'. Together they form a unique fingerprint.

Cite this