Mongruences and cofree coalgebras

This publication has 11 references indexed in Scilit:

• A final coalgebra theorem
  Published by Springer Nature ,2005
• An approach to object semantics based on terminal co-algebras
  Mathematical Structures in Computer Science, 1995
• An algebraic view of structural induction
  Published by Springer Nature ,1995
• Defining equations in terminal coalgebras
  Published by Springer Nature ,1995
• PARAMETERS AND PARAMETRIZATION IN SPECIFICATION, USING DISTRIBUTIVE CATEGORIES
  Fundamenta Informaticae, 1995
• Fibrations, Logical Predicates and Indeterminates
  DAIMI Report Series, 1993
• Terminal coalgebras in well-founded set theory
  Theoretical Computer Science, 1993
• Toposes, Triples and Theories
  Published by Springer Nature ,1985
• Final Data Types and Their Specification
  ACM Transactions on Programming Languages and Systems, 1983
• Categories for the Working Mathematician
  Published by Springer Nature ,1971