The concept of a binary relation over partial enumerated sets

DOI10.1007/BF02259948zbMath0795.03061OpenAlexW2066800955MaRDI QIDQ1317613

A. Orlicki

Publication date: 12 April 1994

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/187612

zbMATH Keywords

binary relationKleisli categorieslifts of the power set monadpartial enumerated setsquasi-relations

Mathematics Subject Classification ID

Special categories (18B99) Theory of numerations, effectively presented structures (03D45) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Cites Work

• Unnamed Item
• On some categories of partial enumerated sets
• Binary Relations Over the Category of Enumerated Sets
• Constructivity of Endofunctors on Categories of Partial Enumerated Sets I. General Results
• Constructivity of Endofunctors on Categories of Partial Enumerated Sets II. Some Important Examples
• A representation of the category of algebras over different monads by the category of algebras over one suitable monad in a category of pointed monads

This page was built for publication: The concept of a binary relation over partial enumerated sets