A simplification functor for coalgebras

DOI10.1155/IJMMS/2006/56786zbMATH Open1130.68056MaRDI QIDQ2469042FDOQ2469042

Authors: M. Kianpi, Celestin Nkuimi-Jugnia 

Publication date: 1 February 2008

Published in: International Journal of Mathematics and Mathematical Sciences (Search for Journal in Brave)

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

Recommendations

• On simple and extensional coalgebras beyond \({\mathcal S}et\)
• Functors for coalgebras
• Extensional quotient coalgebras
• On universal categories of coalgebras
• Types and coalgebraic structure

zbMATH Keywords

split coalgebras

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Cites Work

• Universal coalgebra: A theory of systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Terminal coalgebras in well-founded set theory
• A small final coalgebra theorem
• Products of coalgebras.

Cited In (5)

• Title not available (Why is that?)
• Extensional quotient coalgebras
• Some facets of Horn covarieties in a category
• On simple and extensional coalgebras beyond \({\mathcal S}et\)
• On minimal coalgebras

This page was built for publication: A simplification functor for coalgebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2469042)