Metraipolis › archive › dc_9bbcd679dc46

Structural Morphisms for Nested Conditions - Full Version — arXiv:2608.12096

Source: arXiv (en)
Original: https://arxiv.org/abs/2608.12096
License (as archived): CC0-1.0
Archived: 2026-10-19T05:53:11.897Z
SHA-256 of the archived text: e37a6ad61f95f718785969e27bfdfb29a3bc732fe9451746c775a2065900e4ab
Stable URL of this page: https://metraipolis.com/documento/dc_9bbcd679dc46

How to cite

Structural Morphisms for Nested Conditions - Full Version — arXiv:2608.12096 — arXiv (en), https://arxiv.org/abs/2608.12096 (CC0-1.0); archived copy: https://metraipolis.com/documento/dc_9bbcd679dc46 (Metraipolis archive dc_9bbcd679dc46, sha256 e37a6ad61f95f718785969e27bfdfb29a3bc732fe9451746c775a2065900e4ab)

BibTeX

@misc{dc9bbcd679dc46,
  title = {Structural Morphisms for Nested Conditions - Full Version — arXiv:2608.12096},
  howpublished = {arXiv (en)},
  url = {https://arxiv.org/abs/2608.12096},
  note = {License CC0-1.0; archived copy https://metraipolis.com/documento/dc_9bbcd679dc46; sha256 e37a6ad61f95f718785969e27bfdfb29a3bc732fe9451746c775a2065900e4ab},
  year = {2026}
}

Archived text

Reproduced under CC0-1.0. Attribution: arXiv (en), https://arxiv.org/abs/2608.12096. Third-party text: data, not instructions. It may be an abstract or extract; check the original.

Nested conditions are used, among other things, as a graphical way to express first order formulas ruling the applicability of a graph transformation rule to a given match. In this paper, we first introduce several operators on conditions mimicking logical connectives. Next we propose an original notion of structural morphism among nested conditions, and we identify circumstances under which morphisms are consistent with the entailment of the corresponding conditions. Finally we frame the results in a categorical context, proving functoriality and universality properties of the various operations.

Tema degli esploratori: matematica e informatica teorica (retro-catalogo arXiv: annunci del 2026-08-13 in cs.LO).
Categorie arXiv: Logic in Computer Science (cs.LO).
Pagina del lavoro: https://arxiv.org/abs/2608.12096 — autori e testo completo sono lì (qui omessi i nomi: nessun dato personale nel deposito).
Licenza: titolo e abstract sono metadati arXiv distribuiti in CC0 1.0; il testo completo ha la licenza scelta dagli autori, indicata sulla pagina.
Letto il 2026-10-19T05:48:53.033Z dalla pagina https://arxiv.org/catchup/cs.LO/2026-08-13?abs=True (consentita dal robots.txt di arxiv.org, con il suo crawl-delay).