«ct.category-theory» etiketlenmiş sorular

Let CCC bir olmak CCC . Let (×)(×)(\times) bir ürün bifunctor olmak CCC . As Kedi CCC, biz köri olabilir (×)(×)(\times) : curry(×):C→(C⇒C)curry(×):C→(C⇒C)curry (\times) : C \rightarrow(C \Rightarrow C) curry(×)A=λB.A×Bcurry(×)A=λB.A×Bcurry (\times) A = \lambda B. A \times B Fonksiyonel kategori C⇒CC⇒CC \Rightarrow C olağan monoidal yapıya sahiptir. Bir monoid C⇒CC⇒CC …

17 functional-programming  pl.programming-languages  ct.category-theory 

İlişkisel veritabanlarını anlamak için en az iki farklı teorik yaklaşımın farkındayım: Codd'un ilişkisel cebiri / hesabı ve kategori teorisi. Bu iki yaklaşım arasında herhangi bir ilişki var mı? Bir anlamda eşdeğer midirler? Bu çerçevelerin her ikisinin de ilişkisel veritabanlarını nasıl açıkladığını açıklayan herhangi bir giriş çalışması var mı? Tarihsel Bilgiler: …

17 reference-request  ct.category-theory  db.databases  relational-structures 

Arkaplan . Kategori teorisi, monadlar ve Haskell ile ilgili araştırmalarla ilgilenen bir lisans öğrencisiyim ve bu alanda lisans tezim için bir konu bulmak istiyorum. Gazeteye baktım Eugenio Moggi , “ Hesaplamalar ve Monadlar Kavramı ”, 1991, ve henüz çok fazla anlamadım. Muhtemelen tam olarak anlamak için biraz zamana ihtiyacım olacak. …

17 reference-request  pl.programming-languages  big-picture  ct.category-theory  monad 

Feragatname: Karmaşıklık teorisi hakkında çok az şey biliyorum. Üzgünüm ama bu soruyu (çok) özlü olmadan sormanın hiçbir yolu yok: Turing makinelerinin "" kategorisindeki morfizmler ne olmalı? Bu açıkça özneldir ve kişinin teori hakkındaki yorumuna bağlıdır, bu nedenle bu soruya bir cevap ideal olarak yanıtı destekleyen bazı kanıtlar ve akıl yürütme …

16 cc.complexity-theory  turing-machines  ct.category-theory 

Derleyici doğrulama çabaları genellikle derleyicinin tam olarak soyut olduğunu kanıtlamaya başlar: (bağlamsal) denklikleri koruduğu ve yansıttığı. Tam soyutlama kanıtları sağlamak yerine, Hasegawa [ 1 , 2 ] ve Egger et. Tarafından yapılan bazı yeni (kategorik tabanlı) derleyici doğrulama çalışmaları . ark. [ 3 ] çeşitli CPS çevirilerinin eksiksiz olduğunu kanıtlamıştır. …

15 pl.programming-languages  ct.category-theory  semantics  denotational-semantics  program-verification 

Bir kategoride aynı nesneler hem ürünler hem de kopyalar olduğunda iki ürün bulunur. İki ürünlü kategorilerin kanıt teorisini araştıran var mı? Belki de en iyi bilinen örnek, doğrudan toplam ve doğrudan ürün yapılarının aynı vektör uzayını verdiği vektör uzayları kategorisidir. Bu, vektör uzayları ve doğrusal haritaların biraz dejenere lineer mantık …

15 reference-request  lo.logic  pl.programming-languages  type-theory  ct.category-theory 

Kabaca böyle görünen bir yamalar kategorisi var mı: Nesneler bazı temel alfabe dizeleri Morfizmler, dizeler arasındaki düzenleme komut dosyalarıdır ("diffs" veya "yamalar") Bu sorularla ilgileniyorum: Minimal düzenleme komut dosyası için kategorik bir kavram var mı ? Belki de yamalar kategorisi PO Setlerde zenginleştirilmiştir? Is birleştirme kategorik dışarı ittirme yamaların? Bunu …

14 ct.category-theory  edit-distance 

İşlevsel bir dil , nesnelerinin türleri olduğu ve aralarındaki morfizmlerin işlev gördüğü bir kategori olarak görülebilir . Tür sınıfları bu modele nasıl uyuyor? Sadece çoğu tip sınıfının sahip olduğu kısıtlamayı karşılayan ancak Haskell'de ifade edilmeyen uygulamaları dikkate almamız gerektiğini varsayıyorum. Örneğin, yalnızca bu uygulamaları göz önünde bulundurmalıdır Functorkendisi için fmap …

14 lo.logic  functional-programming  ct.category-theory  denotational-semantics  type-systems 

Ayrıştırıcılarla (çoğunlukla ayrıştırıcı ifade gramerleriyle) ilgilendiğim için, ayrıştırmanın kategorik bir tedavisini veren bazı işler olup olmadığını merak ediyorum. Kategori teorisinin ayrıştırma uygulamalarına yapılan atıflar oldukça takdir edilmektedir. En iyi,

13 reference-request  functional-programming  ct.category-theory  parsing 

Ben teorik bir bilgisayar bilimcisi değilim. -categories kullanan istikrarlı bir homotopi teorisyeniyim . Kategori teorisi ve topos teorisinin teorik bilgisayar bilimlerine uygulamaları olduğunu gördüm ve teorik bilgisayar bilimlerinde kişinin kategorilerini (ve tercihen benim için istikrarlı homotopi teorisini) kullanmanın herhangi bir yolu olup olmadığını merak ediyordum . HoTT'nin böyle bir uygulama …

12 lo.logic  soft-question  ct.category-theory 

Çalışılacak iyi topolojik özelliklere sahip NP tam (hatta NP sert veya NP) problemleri var mı? NP problemlerinde düğüm teorik formülasyonları var mı? Jones polinomu hakkında # sonucu biliyoruz . Grafik problemleri (düğünler?), Özellikle grafik renklendirmelerinin güzel düğüm teorik özelliklerine sahip olduğu görülebilir. Bu açık uçlu bir sorudur ve bu konuyla …

12 ct.category-theory  np 

Freyd'in ünlü Como90'daki "Cebirsel Olarak Tamamlanmış Kategoriler" adlı makalesini okudum ve bu makalede tanımladığı cebirsel kompaktlık kavramı hakkında iki sorum var. (Eğer tanıma aşina değilseniz, işte burada: Eğer her endofunktörün bir ilk cebiri ve kanonik olarak izomorfik olan bir son ortak cebiri varsa, kategoriye cebirsel olarak kompakt denir.) Cebirsel olarak …

12 reference-request  type-theory  ct.category-theory 

Verilen bir endofunctor , herhangi bir polimorfik işlevler olarak gözlem fonksiyonlar tespit olduğu -coalgebra, için tanımlanan herhangi bir -coalgebra . Gözlem fonksiyonlarına bakmanın bir başka yolu, varsa nihai kömürünün fonksiyonlarıdır . Gözlem fonksiyonunu eşsiz homomorfizm ile nihai kömürüne oluşturarak polimorfizmi otomatik olarak elde ederiz. Ancak bu sadece nihai kömürü varsa …

12 ct.category-theory 

\newcommand{\symp}{\Bumpeq} X kümesindeki bir tutarlılık ilişkisi \ symp_X dönüşlü ve simetrik bir ilişkidir. Tutarlılık boşluğu bir çifttir (X, \ symp_X) ve tutarlılık boşlukları arasındaki f: X \ ila Y biçimbirliği , f \ alt-X X çarpı Y ilişkisidir, öyle ki f ve (x içindeki tüm (x, y) \ için ', …

12 pl.programming-languages  ct.category-theory  domain-theory  linear-logic 

Parametrik polimorfizm modellerine baktığımda, neden refleksif grafik kategorilerinin kullanıldığını merak ediyorum ? Özellikle, neden ilişkisel kompozisyon içermiyorlar? Modellere bakarken, hepsi doğal bir ilişkisel kompozisyon kavramını destekliyor gibi görünüyor: x(R;S)z⟺∃y.xRy∧ySzx(R;S)z⟺∃y.xRy∧ySz x(R;S)z \iff \exists y. xRy \wedge y S z Dönüşlü grafikler kullanan en son makaleler bunu kabul için alıyor gibi görünüyor …

11 ct.category-theory  parametricity  logical-relations