منابع مشابه
Kleene Coalgebra – an overview
Coalgebras provide a uniform framework for the study of dynamical systems, including several types of automata. The coalgebraic view on systems has recently been proved relevant by the development of a number of expression calculi which generalize classical results by Kleene, on regular expressions, and by Kozen, on Kleene algebra. This note contains an overview of the motivation and results of...
متن کاملSome Higher Coalgebra
Using the derived algebraic formalism of Lurie we describe a framework for coalgebraic structures which are neither necessarily commutative nor cocommutative. We show that Thom spectra and homotopical descent data are both natural examples of this kind of structure.
متن کاملLocally coalgebra-Galois extensions
The paper introduces the notion of a locally coalgebra-Galois extension and, as its special case, a locally cleft extension, generalising concepts from [9]. The necessary and sufficient conditions for a locally coalgebra-Galois extension to be a (global) coalgebra-Galois extension are stated. As an important special case, it is proven, that under not very restrictive conditions the gluing of tw...
متن کاملEquational axiomatizability for coalgebra
A characterization result for equationally deenable classes of certain coalgebras (including basic hidden algebra) shows that a class of coalgebras is deenable by equations if and only if it is closed under coproducts, quotients, sources of morphisms and representative inclusions. The notions of equation and satisfaction are axiomatized in order to include the diierent approaches in the literat...
متن کاملModularity in Coalgebra
This paper gives an overview of recent results concerning the modular derivation of (i) modal specification logics, (ii) notions of simulation together with logical characterisations, and (iii) sound and complete axiomatisations, for systems modelled as coalgebras of functors on Set. Our approach applies directly to an inductivelydefined class of coalgebraic types, which subsumes several types ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Mathematical Society of Japan
سال: 1981
ISSN: 0025-5645
DOI: 10.2969/jmsj/03310031