Coalgebras for binary methods : properties of bisimulations and invariants

Hendrik Tews

Displaying similar documents to “Coalgebras for binary methods : properties of bisimulations and invariants”

Integrating observational and computational features in the specification of state-based, dynamical systems

Corina Cîrstea (2001)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

We present an abstract equational framework for the specification of systems having both observational and computational features. Our approach is based on a clear separation between the two categories of features, and uses algebra, respectively coalgebra to formalise them. This yields a coalgebraically-defined notion of observational indistinguishability, as well as an algebraically-defined notion of reachability under computations. The relationship between the computations yielding...

Polynomial functors over finite fields

Teimuraz Pirashvili (1999-2000)

Séminaire Bourbaki

Similarity:

A classification of degree $n$ functors, I

B. Johnson, R. McCarthy (2003)

Cahiers de Topologie et Géométrie Différentielle Catégoriques

Similarity:

Change of base for relational variable sets.

Niefield, Susan (2004)

Theory and Applications of Categories [electronic only]

Similarity:

Algebraic aspects of topos theory

J. Lambek, P. J. Scott (1981)

Cahiers de Topologie et Géométrie Différentielle Catégoriques

Similarity:

Familial 2-functors and parametric right adjoints.

Weber, Mark (2007)

Theory and Applications of Categories [electronic only]

Similarity:

A $2$ -categorical approach to change of base and geometric morphisms I

A. Carboni, G. M. Kelly, R. J. Wood (1991)

Cahiers de Topologie et Géométrie Différentielle Catégoriques

Similarity:

The structure of the tensor product of $𝔽_{2} [-]$ with a finite functor between $𝔽_{2}$ -vector spaces

Geoffrey M. L. Powell (2000)

Annales de l'institut Fourier

Similarity:

The paper studies the structure of functors $I \otimes F$ in the category of functors from finite dimensional $𝔽_{2}$ -vector spaces to $𝔽_{2}$ -vector spaces, where $F$ is a finite functor and $I$ is the injective functor $V \mapsto 𝔽_{2}^{V^{*}}$ . A detection theorem is proved for sub-functors of such functors, which is the basis of the proof that the functors $I \otimes F$ are artinian of type one.