Temat: endofunctor - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Coalgebras for modelling observable behaviour of programs
Autorzy:: Steingartner, W.
Novitzka, V.
Powiązania:: https://bibliotekanauki.pl/articles/122279.pdf
Data publikacji:: 2017
Wydawca:: Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
Tematy:: category
coalgebra
observable behaviour
polynomial endofunctor
semantics
endofunktor
zachowanie programów
Opis:: A useful tool for modelling behaviour in theoretical computer science is the concept of coalgebras. Coalgebras enable one to model execution of programs step by step using categorical structures and polynomial endofunctors. In our paper, we start with a short introduction of basic notions and we use this method for modelling structural operational semantics of a simple imperative language.
Źródło:: Journal of Applied Mathematics and Computational Mechanics; 2017, 16, 2; 145-157
2299-9965
Pojawia się w:: Journal of Applied Mathematics and Computational Mechanics
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 2.

Tytuł:: On coalgebras and type transformations
Autorzy:: Gumm, H.
Powiązania:: https://bibliotekanauki.pl/articles/728854.pdf
Data publikacji:: 2007
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: coalgebra
endofunctor
filter functor
cartesian transformation
crisp
Opis:: We show that for an arbitrary Set-endofunctor T the generalized membership function given by a sub-cartesian transformation μ from T to the filter functor can be alternatively defined by the collection of subcoalgebras of constant T-coalgebras. Sub-natural transformations ε between any two functors S and T are shown to be sub-cartesian if and only if they respect μ. The class of T-coalgebras whose structure map factors through ε is shown to be a covariety if ε is a natural and sub-cartesian mono-transformation.
Źródło:: Discussiones Mathematicae - General Algebra and Applications; 2007, 27, 2; 187-197
1509-9415
Pojawia się w:: Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:: Biblioteka Nauki

Artykuł

Informacja