Pytania otagowane jako category-theory

Teoria kategorii służy do sformalizowania matematyki i jej pojęć jako zbioru obiektów i strzał (zwanych także morfizmami). Teorię kategorii można wykorzystać do sformalizowania koncepcji innych abstrakcji wysokiego poziomu, takich jak teoria mnogości, teoria pierścieni i teoria grup. (Przez Steve Awodey)

6
Czy teoria kategorii jest przydatna do nauki programowania funkcjonalnego?
Uczę się języka Haskell i fascynuje mnie język. Nie mam jednak żadnego poważnego doświadczenia matematycznego ani CS. Ale jestem doświadczonym programistą. Chcę nauczyć się teorii kategorii, abym mógł stać się lepszy w Haskell. Których tematów z teorii kategorii powinienem nauczyć się zapewniać dobrą podstawę do zrozumienia Haskell?
2
W jaki sposób powiązane są języki programowania i podstawy matematyki?
Zasadniczo mam świadomość trzech podstaw matematyki Ustaw teorię Teoria typów Teoria kategorii Więc w jaki sposób języki programowania i podstawy matematyki są powiązane? EDYTOWAĆ Pierwotne pytanie brzmiało: „Języki programowania oparte na podstawach matematyki” z dodanym paragrafem I implementacje teorii 1. Teoria typów w Coq 2. Teoria zbiorów w SETL 3. …
2
Co rozumie teoria kategorii, nie wie jeszcze, jak radzić sobie z funkcjami wyższego rzędu?
Czytając Uday Reddy za odpowiedź na Jaka jest relacja między funktorów w SML i teorii kategorii? Stwierdza Uday Teoria kategorii nie wie jeszcze, jak radzić sobie z funkcjami wyższego rzędu. Pewnego dnia to zrobi. Ponieważ myślałem, że teoria kategorii może służyć jako podstawa matematyki, powinna istnieć możliwość uzyskania wszystkich funkcji …
2
Teoria kategorii (nie) dla programowania?
Po nauce języka Haskell i innych niezbyt czystych języków FP postanowiłem przeczytać o teorii kategorii. Po dobrym zrozumieniu teorii kategorii zacząłem myśleć o tym, jak pojęcia teorii kategorii można wykorzystać do projektowania programów, ale bez względu na to, jak bardzo się starałem, nie jest to dobra droga. Po wielu nieudanych …
1
Naturalne występowanie monad, które wykorzystują ramy teoretyczne kategorii
Dzisiaj przemówienie Henninga Kerstana („Trace Semantics for Probabilistic Transition Systems”) po raz pierwszy skonfrontowało mnie z teorią kategorii. Zbudował teoretyczne ramy do opisywania probabilistycznych układów przejściowych i ich zachowania w sposób ogólny, tj. Z nieskończenie nieskończonymi zbiorami stanów i różnymi pojęciami śladów. W tym celu przechodzi przez kilka warstw abstrakcji, …
2
Żądanie referencyjne: Teoria kategorii w odniesieniu do układów typów
Ciągle słyszę o tym, jak należy nauczyć się teorii kategorii, aby naprawdę zrozumieć teorię języka programowania. Do tej pory nauczyłem się sporo PL bez wchodzenia w sferę kategorii. Uznałem jednak, że nadszedł czas, aby zrobić krok, aby zobaczyć, co straciłem. Niestety, żadne ze źródeł, które mogę znaleźć, nie wydają się …
1
Czy istnieje izomorfizm między (podzbiorem) teorii kategorii a algebrą relacyjną?
Pochodzi z perspektywy dużych zbiorów danych. Zasadniczo wiele frameworków (takich jak Apache Spark) „kompensuje” brak operacji relacyjnych, zapewniając interfejsy podobne do Functor / Monad, i podobny ruch w kierunku konwersji kotów na SQL (Slick in Scala). Na przykład, potrzebujemy naturalnego łączenia (przy założeniu braku powtórzeń w indeksach) do elementarnego mnożenia …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.