Titlebook: Relational and Algebraic Methods in Computer Science; 14th International C Peter Höfner,Peter Jipsen,Martin Eric Müller Conference proceedi

唤醒

FECT

LATER

A Mechanised Abstract Formalisation of Concept Lattices], [Mos13]. We do this in the abstract setting of locally ordered categories with converse (OCCs) with residuals and direct powers, without requiring meets (as in allegories) or joins (as in Kleene categories). The abstract formalisation has the advantage that it can be used both for theoretical rea

QUAIL

A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categoriesry of .′-algebras over .-algebras. The leading example is an adjunction between the category of idempotent semirings and the category of quantales, where . is the finite powerset monad, .′ is the powerset monad, and . is the free monoid monad. The left adjoint of this leading example is given by ide

podiatrist

厌倦吗你

反馈

孤独无助

Extended Conscriptions Algebraicallyximation order for conscriptions and one for extended conscriptions, which additionally represent aborting executions. We give a new computation model which generalises extended conscriptions and apply the algebraic techniques for a unified treatment.

叫喊

incredulity

A Mechanised Abstract Formalisation of Concept Latticesmeets (as in allegories) or joins (as in Kleene categories). The abstract formalisation has the advantage that it can be used both for theoretical reasoning, and for executable implementations, by instantiating it with appropriate choices of concrete OCCs.