PofoliaPofolia ile paylaşıldı

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

M. Fiore, N. Gambino, M P Hyland

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.

ÇıkarımlarUygulamada
Ana noktalarUygulamada
Makaleye SorUygulamada

Devamı Pofolia uygulamasında

Çıkarımlar, ana noktalar ve makaleye soru sorma; ilgi alanına göre her gün yeni özetler. Ücretsiz.

Web'de giriş yaparak aç

Alan: Matematiksel Fizik

Mathematical PhysicsMathematics