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

DOI10.17512/JAMCM.2016.4.16OpenAlexW2567460868MaRDI QIDQ2659403FDOQ2659403

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)

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

• The use of WPF for development of interactive geometry software
• Universal coalgebra: A theory of systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Categories and Computer Science
• Einführung in die Kategorientheorie

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)