EuDML | Browse

Loading [MathJax]/extensions/MathZoom.js

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Subjects
08-XX General algebraic systems
08Cxx Other classes of algebras
08C05 Categories of algebras

Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1

Displaying 1 – 3 of 3

Recursive coalgebras of finitary functors

Jiří Adámek, Dominik Lücke, Stefan Milius (2007)

RAIRO - Theoretical Informatics and Applications

For finitary set functors preserving inverse images, recursive coalgebras A of Paul Taylor are proved to be precisely those for which the system described by A always halts in finitely many steps.

Regularising natural dualities.

Davey, B.A., Knox, B.J. (1999)

Acta Mathematica Universitatis Comenianae. New Series

Representation of ordered classes by classes of connected unary algebras

Oldřich Kopeček (1978)

Archivum Mathematicum

Currently displaying 1 – 3 of 3

Page 1