Aggrandize
发表于 2025-3-23 12:29:07
http://reply.papertrans.cn/23/2288/228705/228705_11.png
Evacuate
发表于 2025-3-23 16:49:04
http://reply.papertrans.cn/23/2288/228705/228705_12.png
projectile
发表于 2025-3-23 18:34:41
Lawvere Categories as Composed PROPs,g PROPs via distributive laws. We show Lawvere categories can be seen as resulting from a distributive law of two PROPs — one expressing the algebraic structure in linear form and the other expressing the ability of copying and discarding variables.
explicit
发表于 2025-3-23 23:56:16
Affine Monads and Side-Effect-Freeness,onads predicates are in bijective correspondence with side-effect-free instruments. Also it is shown that these instruments are commutative, in a suitable sense, for monads which are commutative (monoidal).
罐里有戒指
发表于 2025-3-24 05:25:05
Duality of Equations and Coequations via Contravariant Adjunctions,roach to (co)algebras for (co)monads, we retrieve the duality between equations and coequations for automata proved by Ballester-Bolinches, Cosme-Llópez and Rutten, and generalize it to dynamical systems.
HAUNT
发表于 2025-3-24 09:20:38
Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness,order logic programs without existential variables. The resulting extension captures the proofs by term-matching resolution in logic programming. Refining the lax approach, we further extend it to arbitrary logic programs. We also exhibit a refinement of Bonchi and Zanasi’s saturation semantics for logic programming that complements lax semantics.
Yag-Capsulotomy
发表于 2025-3-24 13:54:06
0302-9743 full papers were carefully reviewed and selected from 13 submissions. Also included are an invited paper and two keynote talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras..978-3-319-40369-4978-3-319-40370-0Series ISSN 0302-9743 Series E-ISSN 1611-3349
HILAR
发表于 2025-3-24 16:51:12
Variability in component systems also to non-immediate substructures, like any proper subtree of the current tree. If course-of-value induction is not sufficient yet, we can resort to define a well-founded relation on the considered structure and use the induction hypothesis for any substructure which is strictly smaller with regard to the constructed relation.
灯丝
发表于 2025-3-24 20:22:53
Parametric design: an historical perspectivebras, we choose difunctionality as generalization of transitivity. Since in . bisimulations are known to coincide with .simulations, we are led to study the notion of .similarity, where . is a relation lifting.
set598
发表于 2025-3-25 00:33:30
Fixed Points of Functors - A Short Abstract,of systems (terminal coalgebras and coinduction) and in a number of other connections such as iterative theories (rational fixed point). In this survey we present some older and new results on the structure of the three fixed points we have mentioned.