Pytania z teorii kategorii
Nauczyłem się kilku fragmentów teorii kategorii. Z pewnością jest to inny sposób patrzenia na rzeczy. (Bardzo ogólne podsumowanie dla tych, którzy go nie widzieli: teoria kategorii daje sposoby wyrażania wszelkiego rodzaju zachowań matematycznych wyłącznie w kategoriach funkcjonalnych związków...
Chciałbym zrozumieć Applicativew kategoriach teorii kategorii. Dokumentacja dla Applicativetwierdzi, że jest to silny funktor LAX monoidal . Po pierwsze, strona Wikipedii o funktorach monoidalnych mówi, że funktor monoidalny jest luźny lub silny . Wydaje mi się więc, że jedno ze źródeł jest...
Mam bardzo silną bazę w algebrze, a mianowicie algebra przemienna, algebra homologiczna, teoria pola, teoria kategorii, i obecnie uczę się geometrii algebraicznej. Jestem matematyką z tendencją do przejścia na informatykę teoretyczną. Mając na uwadze powyższe pola, które pole byłoby...
Oto łamigłówka, której nie udało mi się rozwiązać. Chciałbym wiedzieć, czy ten problem jest już znany, czy ma łatwe rozwiązanie. Możliwe jest zdefiniowanie biosekcji przy użyciu właściwości dwuczęściowych kategorii zamkniętych. Andrej Bauer zamieścił wyjaśnienie, co to znaczy na swoim blogu jako „...
Czy ma sens rozważenie kategorii wszystkich problemów związanych z NP-zupełnością, z morfizmami jako redukcjami wielomianów między różnymi instancjami? Czy ktoś kiedykolwiek opublikował artykuł na ten temat, a jeśli tak, to gdzie mogę go
Grothendieck zmarł . Miał ogromny wpływ na matematykę XX wieku trwającą aż do XXI wieku. To pytanie jest zadawane nieco w stylu / duchu, na przykład w sprawie wkładu Alana Turinga w informatykę . Jakie główne wpływy Grothendiecka na informatykę
Prawdopodobnie najczęstszym zastosowaniem typów liniowych w PL jest użycie ich do nadania języków, które kontrolują aliasing (tzn. Wartość liniowa ma mniej więcej jeden wskaźnik). Ale istnieje niewielkie niedopasowanie między tym użytkowaniem a typowymi denotacyjnymi modelami logiki liniowej....
Czy istnieje przydatny opis przyszłości lub obietnic w kategoriach teorii kategorii? W szczególności, czym może być kategoryczny dualność
W kategorii kartezjański Zamknięty ( CCC ), istnieją tzw wykładnicze obiektów , napisane . Gdy CCC uważane za modelem prostu wpisany -calculus , wykładniczy przedmiot jak B ^ A charakteryzuje miejsca funkcyjnego od typu A do typu B . Obiekt wykładniczy jest wprowadzany za pomocą strzałki zwanej...
Zauważyłem, że zwykłe języki nad alfabetem można naturalnie traktować jako zestaw, a nawet sieć. Co więcej, konkatenacja wraz z pustym językiem określa ścisłą strukturę monoidalną w tej kategorii, która rozkłada się na złączenia (nie jestem pewien, czy się spotykają). Czy to przydatny konstrukt w...
Zastrzeżenie: Nie jestem teoretykiem CS. Pochodząc z algebry abstrakcyjnej, jestem przyzwyczajony do radzenia sobie z rzeczami równymi do izomorfizmu - ale mam problem z przetłumaczeniem tej koncepcji na struktury danych. Najpierw pomyślałem, że wystarczy zestaw teoretycznych morfizmów...
Tło . Jestem studentem studiów licencjackich, który interesuje się badaniami związanymi z teorią kategorii, monadami i Haskellem, i chcę znaleźć temat do mojej pracy licencjackiej w tej dziedzinie. Spojrzałem na gazetę Eugenio Moggi , „ Pojęcia obliczeń i monad ”, 1991, i jeszcze niewiele z...
Począwszy od Curry-Howarda-Lambka, pojawiła się niezła trójca typów teorii, logiki i kategorii. Jestem ciekawy, jaką semantyczną kategorię uzyskujesz, gdy dodajesz (przymus) podtyp do teorii typów - wygląda na to, że nie zostało to zbytnio zbadane, jeśli w ogóle. Ogólnie rzecz biorąc, dodanie...
Każda monada jest również funktorem aplikacyjnym, a każdy funktor aplikacyjny jest funktorem. Ponadto każdy comonad jest funktorem. Czy istnieje podobna koncepcja między comonadami i funktorami, coś w rodzaju funktora kooperacyjnego i jakie są jego
Wiele twierdzeń i „paradoksów” - przekątna Cantora, nierozstrzygalność nienawiści, nierozstrzygalność złożoności Kołmogorowa, niekompletność Gödela, niekompletność Chaitina, paradoks Russella itp. - wszystkie mają w zasadzie ten sam dowód po przekątnej (zauważ, że jest to bardziej specyficzne niż...
Mam świadomość co najmniej dwóch różnych teoretycznych podejść do zrozumienia relacyjnych baz danych: relacyjnej algebry / rachunku Codda i teorii kategorii. Czy istnieje związek między tymi dwoma podejściami? Czy są w pewnym sensie równoważne? Czy są jakieś prace wprowadzające wyjaśniające, w...
Próbowałem przeczytać „ Perły projektowania algorytmu funkcjonalnego ”, a następnie „ Algebra programowania ”, i istnieje oczywista zgodność między rekurencyjnie (i wielomianowo) zdefiniowanymi typami danych i obiektami kombinatorycznymi, mającymi tę samą definicję rekurencyjną, a następnie...
Niech będzie CCC . Niech być bifunctor produkt na . Ponieważ Cat to CCC, możemy curry :( × ) C ( × )CCC(×)(×)(\times)CCC(×)(×)(\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...
Zastrzeżenie: Wiem bardzo mało o teorii złożoności. Przepraszam, ale tak naprawdę nie ma sposobu, aby zadać to pytanie bez (strasznie) zwięzłego: Jakie powinny być morfizmy w „kategorii” maszyn Turinga? Jest to oczywiście subiektywne i zależy od interpretacji teorii, więc odpowiedź na to...
Kategoria ma dwuprodukty, gdy te same obiekty są zarówno produktami, jak i koproduktami. Czy ktoś badał teorię kategorii produktów dwubiegunowych? Być może najbardziej znanym przykładem jest kategoria przestrzeni wektorowych, w których bezpośrednia suma i bezpośrednie konstrukcje produktu dają tę...