Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
4 results

Semantics of Higher-Order Recursion Schemes

Jiri Adamek ; Stefan Milius ; Jiri Velebil.
Higher-order recursion schemes are recursive equations defining new operations from given ones called "terminals". Every such recursion scheme is proved to have a least interpreted semantics in every Scott's model of \lambda-calculus in which the terminals are interpreted as continuous operations.&nbsp;[&hellip;]
Published on April 1, 2011

Well-Pointed Coalgebras

Jiří Adámek ; Stefan Milius ; Lawrence S Moss ; Lurdes Sousa.
For endofunctors of varieties preserving intersections, a new description of the final coalgebra and the initial algebra is presented: the former consists of all well-pointed coalgebras. These are the pointed coalgebras having no proper subobject and no proper quotient. The initial algebra consists&nbsp;[&hellip;]
Published on August 9, 2013

Algebraic cocompleteness and finitary functors

Jiří Adámek.
A number of categories is presented that are algebraically complete and cocomplete, i.e., every endofunctor has an initial algebra and a terminal coalgebra. For all finitary (and, more generally, all precontinuous) set functors the initial algebra and terminal coalgebra are proved to carry a&nbsp;[&hellip;]
Published on May 28, 2021

A Categorical Approach to Syntactic Monoids

Jiří Adamek ; Stefan Milius ; Henning Urbat.
The syntactic monoid of a language is generalized to the level of a symmetric monoidal closed category $\mathcal D$. This allows for a uniform treatment of several notions of syntactic algebras known in the literature, including the syntactic monoids of Rabin and Scott ($\mathcal D=$ sets), the&nbsp;[&hellip;]
Published on May 15, 2018

  • < Previous
  • 1
  • Next >