Journal of the European Mathematical Society· 2026Q1
Monoidal Bikategoriler, Diferansiyel Lineer Mantık ve Analitik Funktörler
Monoidal bicategories, differential linear logic, and analytic functors
- 1atıf
- Q1SCImago
- 2026yıl
Kısa özet
Bu çalışma, lineer üstel komonadların ve kodereLiksiyon dönüşümlerinin bikategorik versiyonlarını tanıtarak, diferansiyel lineer mantığı monoidal bikategorilere genişletir ve bunu analitik funktörlere uygular.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Ana noktalar
- Lineer üstel komonadların ve kodereLiksiyon dönüşümlerinin bikategorik analojileri tanıtıldı.
- Monoidal bikategoriler içinde diferansiyel lineer mantık için bir çerçeve geliştirildi.
- Analitik funktörler teorisi, presheaf kategorileri arasında çalışacak şekilde genişletildi.
- Diferansiyel kalkülüs, tekil değişkenlerden presheaf kategorileri arasındaki analitik funktörlere genelleştirildi.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Özet (abstract)
We develop further the theory of monoidal bicategories by introducing and studying bicategorical counterparts of the notions of a linear exponential comonad, as considered in the study of linear logic, and of a codereliction transformation, introduced to study differential linear logic via differential categories. As an application, we extend the differential calculus of Joyal’s analytic functors to analytic functors between presheaf categories, just as ordinary calculus extends from a single variable to many variables.
Yazarların özeti; kaynağından alınmıştır. Journal of the European Mathematical Society, 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: Matematiksel Fizik
Mathematical PhysicsMathematics