Merge branch 'master' of git.wlog.site:pouya/coalgebraic-simulation

uncommited from previous time
fail
2026-09-28 17:03:14 +01:00 · 2026-09-28 17:03:12 +01:00 · 2026-09-28 15:08:17 +01:00 · 2026-09-27 18:02:05 +01:00 · 2026-09-26 19:55:09 +01:00 · 2026-09-25 21:33:47 +01:00
3 changed files with 1184 additions and 135 deletions
@@ -2,6 +2,10 @@

 ## Checklist 

- [ ] Item 1
- [ ] Item 2
- [ ] Item 3
+- [ ] Introduce HJ-simulation in relator-form, show uniqness of wittnesses.
+- [ ] Prove a general theorem that symmetric simulation for symmetrized relator yields similarity that is sound and complete for behavioral equivalence (use "Relators and Notions of Simulation Revisited" soundness and compteleness criterion).
+- [ ] Elaborate this for powerset
+- [ ] When is symmetrized relator the Barr relator (definition is in "Relators and Notions of Simulation Revisited")?
+- [ ] At least, try to prove it for the Jacobs-Hughes relator
+- [ ] Introduce notions of simulation, diverging from HJ-simulation. Do we need two of them (with normalization and without)? How are all of them related?
+- [x] Can we separate Hughes-Jacobs relator from one-sided lax relator?
Author	SHA1	Message	Date
sergey	318421f979	Merge branch 'master' of git.wlog.site:pouya/coalgebraic-simulation	2026-09-28 17:03:14 +01:00
sergey	562aecc62f	uncommited from previous time	2026-09-28 17:03:12 +01:00
partowp	798ca20433	fail	2026-09-28 15:08:17 +01:00
partowp	0482ae66f5	lemma	2026-09-27 18:02:05 +01:00
partowp	96194207bf	a scheme for something good	2026-09-26 19:55:09 +01:00
partowp	f2dd939b8c	bluh	2026-09-25 21:33:47 +01:00
partowp	1c04675e0a	diags	2026-09-24 15:59:28 +01:00
partowp	fc57a27811	diag added but needs more work!	2026-09-22 20:30:18 +01:00
partowp	d8ff38f5b2	only the diagram is left	2026-09-22 19:42:18 +01:00
partowp	dcdbc7ebde	Still revising the text!	2026-09-15 19:45:18 +01:00
partowp	d5a0824d13	relation lifting and abstract relational bisimulation ommited	2026-09-14 14:39:03 +01:00
sergey	83b4910d0e	pc sync	2026-09-11 15:33:23 +01:00
partowp	dde56ad7d8	minor	2026-09-11 13:55:06 +01:00
partowp	475852ed68	Merge branch 'master' of git.wlog.site:pouya/coalgebraic-simulation	2026-09-11 13:48:48 +01:00
partowp	bab673ddfa	bluh	2026-09-11 13:47:26 +01:00
sergey	6002843e09	some ednotes	2026-09-10 18:07:21 +01:00
partowp	3f487629e4	more!	2026-09-09 21:26:25 +01:00
partowp	7d013ddf97	more	2026-09-08 20:47:35 +01:00
partowp	01cd129e96	minor	2026-09-07 21:33:14 +01:00
partowp	ff2857739a	more double category	2026-09-07 21:31:23 +01:00
partowp	1c3ad98183	minor	2026-09-07 12:27:09 +01:00
partowp	3a4231204a	more editting	2026-09-07 02:22:58 +01:00
partowp	cd2bc67fe1	editted a bit!	2026-09-07 00:54:28 +01:00
partowp	4dedba1ee5	rel	2026-09-02 21:24:30 +01:00
partowp	eee6bfc547	bluh	2026-09-02 20:46:59 +01:00
partowp	1458958104	double more	2026-08-31 22:23:28 +01:00
partowp	c6514f23b7	double	2026-08-31 22:05:39 +01:00
partowp	a52ba55ad3	HeJ and HuJ simulation equivalence	2026-08-27 18:58:44 +01:00
partowp	0038476bbe	todo	2026-08-26 19:19:22 +01:00
partowp	9e1ab1f8ad	bluh	2026-08-26 18:56:02 +01:00
partowp	1603296a85	span-based sim	2026-08-25 21:13:06 +01:00
partowp	56930bbbcc	bluh	2026-08-22 18:40:13 +01:00
partowp	97d0b64ec3	minor	2026-08-20 20:20:15 +01:00
partowp	a70e658da9	bluh	2026-08-20 18:51:51 +01:00
partowp	bbdb5c7272	the counter-example added but it's sloppy	2026-08-20 15:51:41 +01:00
pouya	ded4370688	Update README.md The list added as readme!	2026-08-13 18:54:41 +02:00
partowp	406fe32e54	bluh bluh	2026-08-13 17:50:01 +01:00
partowp	a68964a757	Merge branch 'master' of git.wlog.site:pouya/coalgebraic-simulation	2026-08-13 17:07:15 +01:00
partowp	6847f3ec7b	bluh	2026-08-13 17:07:02 +01:00