脱落
发表于 2025-3-23 12:51:12
A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logicsulation preorders. An important problem in this area from the point of view of logic is to find formulas that characterize states in finite transition systems with respect to these various relations. Recent work by Aceto et al. shows how such characterizing formulas in equational modal fixed point l
Monolithic
发表于 2025-3-23 17:30:22
Coalgebraic Simulations and Congruencesassume that . is a set of monotonic predicate liftings and their proofs are set-theoretical. We give a different definition of simulation, called strong simulation, which has several advantages:.Our notion agrees with that of [.] in the presence of monotonicity, but it has the advantage, that it all
Negotiate
发表于 2025-3-23 20:46:29
Dijkstra Monads in Monadic Computationby a theorem prover. Here we give a more general description of such Dijkstra monads in a categorical setting. We first elaborate the recently developed view on program semantics in terms of a triangle of computations, state transformers, and predicate transformers. Instantiations of this triangle f
抗体
发表于 2025-3-24 00:56:01
Categories of Coalgebras with Monadic Homomorphismsributed graphs, with attributes taken from (term) algebras over arbitrary signatures do not fit directly into this kind of transformation approach, since algebras containing function symbols taking two or more arguments do not allow component-wise construction of pushouts. We show how shifting from
ECG769
发表于 2025-3-24 05:35:31
Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions From a categorical perspective this construction is the right adjoint to the inclusion functor from the category of deterministic automata to the category of nondeterministic automata. This is in fact an adjunction between two categories of coalgebras: deterministic automata are coalgebras over . a
Mri485
发表于 2025-3-24 09:53:04
Canonical Nondeterministic Automatae minimal dfa for . in a locally finite variety ., and apply an equivalence between the finite .-algebras and a category of finite structured sets and relations. By instantiating this to different varieties we recover three well-studied canonical nfas (the átomaton, the jiromaton and the minimal xor
朝圣者
发表于 2025-3-24 13:17:42
http://reply.papertrans.cn/23/2288/228709/228709_17.png
Osteons
发表于 2025-3-24 16:52:25
http://reply.papertrans.cn/23/2288/228709/228709_18.png
没有准备
发表于 2025-3-24 20:29:42
http://reply.papertrans.cn/23/2288/228709/228709_19.png
faction
发表于 2025-3-25 02:50:06
Dijkstra Monads in Monadic Computationom the state monad transformation applied to ., to the Dijkstra monad associated with .. This monad map is precisely the weakest precondition map in the triangle, given in categorical terms by substitution.