Uniform Functors on Sets

DOI10.1007/11780274_22zbMath1133.68047MaRDI QIDQ5757937

Lawrence S. Moss

Publication date: 7 September 2007

Published in: Algebra, Meaning, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11780274_22

Mathematics Subject Classification ID

68Q65: Abstract data types; algebraic specification

03E70: Nonclassical and second-order set theories

18C50: Categorical semantics of formal languages

18C15: Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads

18B05: Categories of sets, characterizations

Related Items

The category-theoretic solution of recursive program schemes