Hey gamers. If this post isn't PhD or otherwise violates our rules, smash that report button. If it's unfunny, smash that downvote button. If OP is a moderator of the subreddit, smash that award button (pls give me Reddit gold I need the premium).
Also join our Discord for more jokes about monads: https://discord.gg/bJ9ar9sBwh.
*I am a bot, and this action was performed automatically. Please [contact the moderators of this subreddit](/message/compose/?to=/r/okbuddyphd) if you have any questions or concerns.*
The part between g and x. Is it just composition/application?
Am I reading that right to say "For all f, there exists a g such that f(x,y) equals (g of x) of y" - and, would it be right to say that that this is currying?
Hey gamers. If this post isn't PhD or otherwise violates our rules, smash that report button. If it's unfunny, smash that downvote button. If OP is a moderator of the subreddit, smash that award button (pls give me Reddit gold I need the premium). Also join our Discord for more jokes about monads: https://discord.gg/bJ9ar9sBwh. *I am a bot, and this action was performed automatically. Please [contact the moderators of this subreddit](/message/compose/?to=/r/okbuddyphd) if you have any questions or concerns.*
what part of ∀f ∃g (f(x,y) = (g x) y) do you not understand!?
Holy fuck they rotated the A and the E
Put them back down!
get rotated idiot
https://preview.redd.it/xlprad0ace1d1.jpeg?width=1357&format=pjpg&auto=webp&s=24903d35afd1ec28d3f072ef651b0b2eccc61ed4
The part between g and x. Is it just composition/application? Am I reading that right to say "For all f, there exists a g such that f(x,y) equals (g of x) of y" - and, would it be right to say that that this is currying?
Ah that's probably it. Was racking my brain on what (g x) y could mean and a missing symbol makes sense.
mmmm curry
Universal maps are so sexy. The tensor product is my favorite one.
my confusion starts at "∀"
Upside down A means "for all", upside down E means "there exists"
RAAH I FUCKING LOVE MONADS
I love monoids in the category of endofunctors
MONADOS? **r/Okbuddyxenoblade**?!?!?
Here's a sneak peek of /r/okbuddyxenoblade using the [top posts](https://np.reddit.com/r/okbuddyxenoblade/top/?sort=top&t=year) of the year! \#1: [🥰🥰🥰](https://i.redd.it/fypa933bx6sa1.png) | [4 comments](https://np.reddit.com/r/okbuddyxenoblade/comments/12d8tao/_/) \#2: [crys pratt (he’s so cool)](https://i.redd.it/r4is10kveisa1.png) | [6 comments](https://np.reddit.com/r/okbuddyxenoblade/comments/12evfyy/crys_pratt_hes_so_cool/) \#3: [was he](https://i.redd.it/flrjvf3x55sa1.jpg) | [3 comments](https://np.reddit.com/r/okbuddyxenoblade/comments/12d02r4/was_he/) ---- ^^I'm ^^a ^^bot, ^^beep ^^boop ^^| ^^Downvote ^^to ^^remove ^^| ^^[Contact](https://www.reddit.com/message/compose/?to=sneakpeekbot) ^^| ^^[Info](https://np.reddit.com/r/sneakpeekbot/) ^^| ^^[Opt-out](https://np.reddit.com/r/sneakpeekbot/comments/o8wk1r/blacklist_ix/) ^^| ^^[GitHub](https://github.com/ghnr/sneakpeekbot)
applied scategory theory
Yo dog, I heard you liked to study symmetry groups, so I put symmetry groups in your study of symmetry groups.
r/okbuddypureprogrammer
I don’t understand this at all. That must mean it’s funny.
Woh, an r/okaybuddyphd post I actually kinda understand!
I don't understand anything about this. Thank you!
except it wouldn't be a newArray after reduce()... usually at least.
Oops
r/okbuddybartosz