Some properties of coalgebras and their rôle in computer science

DOI10.17512/JAMCM.2016.4.16MaRDI QIDQ2659403zbMATH OpenOpenAlexFDO

Authors William Steingartner, Davorka Radaković, František Valkošák, Pavol Macko

Publication date 26 March 2021

Published in Journal of Applied Mathematics and Computational Mechanics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.17512/jamcm.2016.4.16

zbMATH Keywords

coalgebrafunctorinductioninternal state of programobservable behavior of programSLGeometry software

Mathematics Subject Classification ID

Special properties of functors (faithful, full, etc.) (18A22)

Cites work

• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• scientific article; zbMATH DE number 1064116 (Why is no real title available?)
• scientific article; zbMATH DE number 1552770 (Why is no real title available?)
• scientific article; zbMATH DE number 2134910 (Why is no real title available?)
• Categories and Computer Science
• Einführung in die Kategorientheorie
• The use of WPF for development of interactive geometry software
• Universal coalgebra: A theory of systems

Describes a project that uses

Uses Software

• Geometrijica

This page was built for publication: Some properties of coalgebras and their rôle in computer science

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