Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @BartoszMilewski
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @BartoszMilewski
-
We have reached the terminal object in the category of lectures in the series "Programming with Categories." Here, I'm talking about my favorite topic--profunctors, ends, and coends.https://www.youtube.com/watch?v=UpLKmy5j6-U …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Brendan talking about lax monoidal and applicative functors, profunctors, presheaves, and the Yoneda lemma.https://www.youtube.com/watch?v=P2uxVQSHIjQ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
More results from last year's Applied Category Theory School in Oxford. Emily and Mario's post on n-Cat Cafe: https://golem.ph.utexas.edu/category/2020/01/profunctor_optics_the_categori.html …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
David talking about monoidal categories and lax monoidal functors:https://www.youtube.com/watch?v=thFbXw5YAAI …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
David talking about monads on Set.https://www.youtube.com/watch?v=vZ9cS0NOMKs …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Algebras and anamorphisms in Haskell:https://www.youtube.com/watch?v=jpl7FE2TZTE …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Quote from my (really weird) dream: "People say that van Gogh was a unique artist. It turns out there was another van Gogh, isomorphic to the first."
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Lambek's lemma and Adamek's theorem.https://www.youtube.com/watch?v=0Q3NDZ6yxz0 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
"the instant you do anything with the object, you must know something about its type, even in a dynamically typed language!" Couldn't have said it better myself. https://lexi-lambda.github.io/blog/2020/01/19/no-dynamic-type-systems-are-not-inherently-more-open/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
New lecture about algebras.https://www.youtube.com/watch?v=YhbBvSgO9xU …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
In sheaf theory, this is how I imagine a germ of a function: https://en.wikipedia.org/wiki/Germination …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Natural transformations and adjunctions:https://www.youtube.com/watch?v=mU3qcnBMGLw …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
More about universal constructions.https://www.youtube.com/watch?v=UjzZpx40p78 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Lecture 6 about universal constructions (terminal, initial, and product) whith some Haskell at the end.https://www.youtube.com/watch?v=xStrvUgN51A …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.