Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Proper Functors and their Rational Fixed Point. - MaRDI portal

Proper Functors and their Rational Fixed Point.

From MaRDI portal

Publication:4580214

Jump to:navigation, search

DOI10.4230/LIPIcs.CALCO.2017.18zbMath1433.18001OpenAlexW2962932096MaRDI QIDQ4580214

Stefan Milius

Publication date: 13 August 2018

Full work available at URL: https://doi.org/10.4230/LIPIcs.CALCO.2017.18

zbMATH Keywords

coalgebra proper functor proper semiring rational fixed point

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Special properties of functors (faithful, full, etc.) (18A22)

Related Items (3)

Unnamed Item ⋮ On algebras with effectful iteration ⋮ A new foundation for finitary corecursion and iterative algebras

This page was built for publication: Proper Functors and their Rational Fixed Point.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4580214&oldid=18731217"