Skip to main content
Article thumbnail
Location of Repository


By F. Marmolejo and R. J. Wood


Abstract. We present the no-iteration version of the coherence conditions necessary to define a pseudomonad, and a description of the algebras for it in a similar fashion. We show that every no-iteration pseudomonad induces a pseudomonad, and that the corresponding algebras are equivalent. We also show that every pseudomonad induces a no-iteration pseudomonad, and again, that the corresponding algebras are equivalent. We conclude with an analysis of the algebras for the 2-monad (−) 2 on Cat in the light of the no-iteration description of the algebras. 1

Year: 2013
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.