Skip to main content
Article thumbnail
Location of Repository

NO-ITERATION PSEUDOMONADS

By F. Marmolejo and R. J. Wood

Abstract

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:10.1.1.352.9446
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.tac.mta.ca/tac/volu... (external link)
  • Suggested articles


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