category-theory
Monada to tylko monoid w kategorii endofunktorów, w czym problem?
Kto pierwszy powiedział co następuje?
Monada to tylko monoid w
Kategoria endofunkcje, co to jest
problem?
A w mniej ... ć wyjaśnienie (mam nadzieję, że takie, które może być zrozumiane przez kogoś, kto nie ma zbyt dużego doświadczenia Haskella)?
Co oznacza "coalgebra" w kontekście programowania?
Kilka razy słyszałem określenie "coalgebras" w programowaniu funkcyjnym i kręgach PLT, zwłaszcza gdy dyskusja dotyczy obiektó ... oże wyjaśnić, co znaczą coalgebry w kontekście programowania, jakie są ich znaczenie i jak odnoszą się do obiektów i komonad?
Proste przykłady do zilustrowania kategorii, Monoid i Monad?
Zaczynam się bardzo mylić z tymi trzema pojęciami.
Czy są jakieś proste przykłady ilustrujące różnice między
Kategoria, Monoid i Monada ?
Byłoby bardzo pomocne, gdyby istniała ilustracja tych abstrakcyjnych pojęć.
Monady jako dodatki
Czytałem o monadach w teorii kategorii. W jednej z definicji monad używa się pary funkcji pomocniczych. Monada jest definiowa ... rii kategorii, ale nie widziałem żadnego wyjaśnienia Monad Haskella w kategoriach dopełnień funkcyjnych. Ktoś o tym pomyślał?
Materiały do nauki teorii kategorii [zamknięty]
Wkrótce wezmę udział w kursie z teorii kategorii.
Jakie zasoby możesz polecić, aby się o tym dowiedzieć?
Jakie części są istotne do nauki i jak nauczyć się stosować swoją wiedzę?
Krok po kroku / Deep explain: the Power of (Co)Yoneda (najlepiej w Scali) through Coutines
Jakiś kod tła
/** FunctorStr: ∑ F[-]. (∏ A B. (A -> B) -> F[A] -> F[B]) */
trait FunctorStr[F[_]] { self =>
d ... y.
Więc jak mogę użyć coyoneda, aby tworzyć funktory typu jak na przykład coroutine state?
czy coś w rodzaju funkcji pauzy ?
Czym jest monada W FP, w kategoriach kategorycznych?
Za każdym razem, kiedy ktoś obiecuje "wyjaśnić monady", moje zainteresowanie budzi tylko frustracja, kiedy rzekome" Wyjaśnien ... pcja mówi więcej niż sto nieśmiałych przykładów. Haskell byłby dobry jako język do demonstracji, chociaż nie jestem wybredny.
Strzałki są dokładnie równoważne funkcjom aplikacyjnym?
Według słynnego pisma idiomy są nieświadome, strzały skrupulatne, monady rozwiązłe, moc ekspresyjna strzałek (bez dodatkowych ... ) => Arrow (Applicarrow f) where
arr = Applicarrow . pure
first (Applicarrow f) = Applicarrow $ first <$> f
Jakie są pary funkcyjne adjoint odpowiadające wspólnym monadom w Haskell?
W teorii kategorii monada może być skonstruowana z dwóch funkcji pomocniczych. W szczególności, jeśli C i D są kategoriami, a ... e {[5] } jest odwrotna do G (w szczególności, można wziąć F = Identity i G = Identity).
Czy ktoś może rzucić trochę światła?
Gdzie mieszczą się wartości w kategorii Hask?
Mamy więc kategorię Hask, gdzie:
typy są obiektami kategorii
funkcje są morfizmami z obiektu do obiektu w kategorii.
Pod ... ? Jeśli tak, to wszelkie odniesienia do przeczytania o tym, a jeśli nie, to każdy powód.
Mam nadzieję, że pytanie ma sens:)
Czy ta właściwość funktora jest silniejsza niż monada?
Zastanawiając się, jak uogólnić monady, wymyśliłem następującą właściwość funktora F:
inject :: (a -> F b) -> F(a -&g ... ku", czy to by się przydało? Na przykład możemy wymagać, aby R (F t) był izomorficzny z F (R t) w jednym lub obu kierunkach.
Czy monada może być comonadą?
Wiem, co to jest monada. Myślę, że właściwie zawinąłem umysł wokół tego, czym jest comonad. (A raczej to, co jest wydaje się ... e przydatne.
Nie, wykonują tak różne prace, że nie byłoby powód, by chcieć, żeby coś było jednym i drugim.
Więc, co to jest?
Czym są morfizmy zygo/meta/histo/para/futu/dyna / whatever?
Czy istnieje ich lista z przykładami dostępna dla osoby bez rozległej wiedzy z zakresu teorii kategorii?
Czy wszystkie funktory Haskella są endofunktorami?
Jestem trochę zdezorientowana i potrzebuję kogoś, kto mnie wyprostuje. Pozwala zarysować moje obecne zrozumienie:
Gdzie E j ... k.
Mam dobre przeczucie, że się mylę i jakoś to upraszczam. chciałbym, żeby ktoś mi powiedział, jakim jestem idiotą. Dzięki.
Czym jest definicja funktora aplikacyjnego z teorii kategorii POV?
Udało mi się odwzorować definicję Functora z teorii kategorii do definicji Haskella w następujący sposób: ponieważ obiekty Ha ... rii źródłowej na morfizmy docelowego.
Czy to słuszna intuicja? Czy możesz podać bardziej formalną i rygorystyczną definicję?
Czy Hask czy Agda mają korektory?
Byłem nieco niezdecydowany, czy to jest math.SE pytanie lub tak, ale podejrzewam, że matematycy w ogóle są raczej mało prawdo ... Σ A (λ x → f x == g x) jest równoważnikiem? Jeśli Szczegóły się nie sprawdzą, to czy jest to[12]} moralnie [13]} wyrównanie?
W jakim stopniu instancje Applicative/Monad są jednoznacznie określone?
Zgodnie z opisem to pytanie/odpowiedzi, Functor instancje są jednoznacznie określone, jeśli istnieją.
W przypadku list istni ... ?
Jeśli któraś z powyższych jest unikalna, to chciałbym wiedzieć dlaczego, aby masz jakiś dowód. Jeśli nie, kontra-przykład.
Czym dokładnie jest homomorfizm monoidalny?
Czytałem o homomorfizmie monoidów z morfizmów Monoidów, produktów i Koproduktów i nie mogłem zrozumieć 100%.
Autor mówi (p ... ngth mapuje String => Int zachowując strukturę monoidów (Int jest monoidem), nazywa się to homomorfizmem monoidów, prawda?
Jak wygląda nietrywialna komonoid?
Komonoidy są wymienione na przykład w Haskell ' s distributive biblioteka docs :
Z powodu braku nietrywialnych komonoidó ... óre spełniają Kleisli-arrow wersje praw komonoidów w powiązanej odpowiedzi. Inne przykłady komonoidów są nadal mile widziane.