ACM Transactions on Computational Logic· 2026Q2
Katmanlı Monoidal Teoriler I: Diyagramatik Cebir ve Uygulamaları
Layered Monoidal Theories I: Diagrammatic Algebra and Applications
- 2atıf
- Q2SCImago
- 2026yıl
Kısa özet
Yeni bir çerçeve olan katmanlı monoidal teoriler, sistemlerin farklı soyutlama seviyelerindeki resmi tanımlarını tek bir string diyagramında karıştırmaya olanak tanıyarak matematiksel titizliği korur.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Ana noktalar
- Monoidal teorilerin bir genellemesi olan katmanlı monoidal teorileri tanıtır.
- Tek bir string diyagramı içinde birden fazla monoidal teorinin ve çevirilerin karıştırılmasına izin verir.
- Matematiksel kesinliği ve anlamsal yorumlanabilirliği korur.
- Farklı bilimsel alanlardaki bilgi akışı hakkında akıl yürütmek için grafiksel bir formalizm sağlar.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Özet (abstract)
We develop layered monoidal theories – a generalisation of monoidal theories combining formal descriptions of a system at different levels of abstraction. Via their representation as string diagrams , monoidal theories provide a graphical formalism to reason algebraically about information flow in models across different fields of science. Layered monoidal theories allow mixing several monoidal theories (together with translations between them) within the same string diagram, while retaining mathematical precision and semantic interpretability. We develop the mathematical foundations of layered monoidal theories, as well as providing several instances of our approach, including digital and electrical circuits, quantum processes, chemical reactions, concurrent processes, and probability theory.
Yazarların özeti; kaynağından alınmıştır. ACM Transactions on Computational Logic, 2026 · DOI ↗
Ücretsiz hesapla devam et
Makaleye Sor ile bu makaleye günde 3 soru ücretsiz; makaleyi kaydet, kaynakçasını al, ilgi alanına göre her gün yeni özetler. Çıkarımlar Premium.
Web'de ücretsiz devam etGoogle ya da Apple hesabınla giriş; kart istemez. Bu makaleye geri dönersin.
Telefonda:
Alan: Yazılım
SoftwareComputer Science