Omnipotent
发表于 2025-3-25 04:54:06
http://reply.papertrans.cn/23/2288/228705/228705_21.png
收养
发表于 2025-3-25 10:23:27
Lawvere Categories as Composed PROPs,symmetric monoidal, Lawvere categories are cartesian. This paper formulates the connection between the two notions using Lack’s technique for composing PROPs via distributive laws. We show Lawvere categories can be seen as resulting from a distributive law of two PROPs — one expressing the algebraic
缺乏
发表于 2025-3-25 13:42:20
Transitivity and Difunctionality of Bisimulations,al category . of .coalgebras these notions may, however, diverge. In many cases, observational equivalence, being transitive, turns out to be more useful..In this paper, we shall investigate the role of transitivity for the largest bisimulation of a coalgebra. Passing to relations between two coalge
ornithology
发表于 2025-3-25 18:51:05
Affine Monads and Side-Effect-Freeness,otions to properties in the theory of monads. A new property of a monad (‘strongly affine’) is introduced. It is shown that for such strongly affine monads predicates are in bijective correspondence with side-effect-free instruments. Also it is shown that these instruments are commutative, in a suit
小说
发表于 2025-3-25 23:25:01
http://reply.papertrans.cn/23/2288/228705/228705_25.png
蜡烛
发表于 2025-3-26 03:27:32
Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness,where . is the cofree comonad on ., describes derivations by resolution. Using lax semantics, that correspondence may be extended to a class of first-order logic programs without existential variables. The resulting extension captures the proofs by term-matching resolution in logic programming. Refi
ECG769
发表于 2025-3-26 05:18:25
Product Rules and Distributive Laws,dy known that these product rules can be represented using distributive laws, e.g. via a suitable quotient of a GSOS law. In this paper, we cast these product rules into a general setting where we have two monads . and ., a (possibly copointed) behavioural functor ., a distributive law of . over .,
地名词典
发表于 2025-3-26 12:32:40
A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors, preserving weak pullbacks. We select finitary set functors because they are quotients of polynomial functors: the polynomial functor provides a ready-made signature and the quotient provides necessary additional axioms. We also show that certain operations on functors can be expressed with uniform
floodgate
发表于 2025-3-26 15:54:15
http://reply.papertrans.cn/23/2288/228705/228705_29.png
Acumen
发表于 2025-3-26 17:37:16
On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems, notion of a bisimulation relation on states of a labeled transition system which requires the existence of matching transitions starting from states in such a relation, local timed bisimulation requires the existence of sufficiently short (locally defined) matching trajectories. Global timed bisimu