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

Previous Page 10 Next

Displaying 181 – 200 of 380

Showing per page

Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems

Corina Cîrstea (2010)

RAIRO - Theoretical Informatics and Applications

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 new system states...

Internal object actions

Francis Borceux, George Z. Janelidze, Gregory Maxwell Kelly (2005)

Commentationes Mathematicae Universitatis Carolinae

We describe the place, among other known categorical constructions, of the internal object actions involved in the categorical notion of semidirect product, and introduce a new notion of representable action providing a common categorical description for the automorphism group of a group, for the algebra of derivations of a Lie algebra, and for the actor of a crossed module.

Currently displaying 181 – 200 of 380