5 ай бұрын
10 ай бұрын
Жыл бұрын
2 жыл бұрын
2 жыл бұрын
3 жыл бұрын
3 жыл бұрын
3 жыл бұрын
3 жыл бұрын
3 жыл бұрын
Пікірлер
@dcmicore Күн бұрын
A big thanks for you videos, help a lot. Your book too. Sad I lost it in the train, silly me. Need to buy another one, but it really worth it. Even understanding how use category product, in real life, not for me. Maybe I'm to dumb, lol. Thank you.
@ayan849 Күн бұрын
Many thanks Richard for teaching Category theory. I have been thinking on Category theory's possible applications in theory of evolution in general. There is a lot of ambiguity about what is the entity upon which natural selection works, many-to-one genotype to phenotype mappings etc.; degenerate mappings are at the heart of living systems in many ways. I feel that the relational perspective of category theory, especially the possibility of generalizing our singular notions of truth and false -- is the natural language in which theory of evolution must be written. On another note, I also feel that Categorical ideas can make a model of the 'subject' or 'observer' in science, which has been historically put outside the realm of science; through making the equations in physics "objective" or "frame invariant". This is the project envisioned by Jacques Lacan in his theory of subject and it's relation to language acquisition; we need a new language in science to talk about the subject, bringing in the role of history it it. I would love to get comments on these thoughts; whether they make sense at all.
@yuriyyurchenko8493 2 күн бұрын
Frank Chester's recent presentation on Dekatria and how some regular geometric forms he discovered are connected with the human heart (with organic life) - kzbin.info/www/bejne/g3i6i32nf7aEaLc
@imadhamaidi 4 күн бұрын
What happened to your video on compact closed categories and relationships
@RichardSouthwell 4 күн бұрын
It needed more work. I will re-release it soon
@moshecallen 5 күн бұрын
I've not YET worked through your videos on category theory. I fully intend to do so because they should help in the way I see my own research going, but first I need to actually get my Ph.D. in hand, which I'm expecting to get after this current term.
@JasonCunliffe 5 күн бұрын
Lovely Forth Lisp ... Mathematica, Cycling74 Max, Pure Data, Bespokesynth, Blender nodes, VCVRACK
@CTMUSINGULARITY 5 күн бұрын
Hey Richard. Are you still interested in meeting?
@Absomet 5 күн бұрын
Richard where are you??? It's Jesse the crazy French guy! I've tried to contact you several times but non of my old adresses work! I have some really incredible stuff I wanted to tell you, and from the subject of this video, it even sounds like you're waiting for it! Please give me a link!
@RichardSouthwell 5 күн бұрын
Hey Jesse, I missed you man ! Here are a couple of email addresses [email protected] and [email protected] Drop me an email, I look forward to chatting again
@chineduecheruo8872 5 күн бұрын
I 100% agree, your visual explanations opened up Category theory for me. Thank you!
@444haluk 5 күн бұрын
Do you love math because someone gamified the math for you in the past? No. You love math because someone in the past cared about the nature of things like you do and did the most of the job for you.
@RichardSouthwell 5 күн бұрын
I hadn't thought of it that way. I played a lot of chess as a teenager, and I think it helped prepare me for maths. I could say school education or university research could be viewed as some kind of complex gamifications of maths, but your point is taken. Maybe the focus should not be so much on introducing kids (as in dragonbox), but just to introduce category theory in a systematic purely picture based way. There is too much expectation of mathematical maturity in current category theory teaching, and a self contained game based approach would help. It would allow many more people to get in to the subject who are less used to high abstraction. Think of the difference between playing suduko and learning the mathematics of latin squares
@avi3681 5 күн бұрын
@444haluk I didn't think Richard's main point was about gamification. He did talk about Dragon Box towards the end, but the main thread of it was the idea of making math more visual. A huge part of our brain is devoted to visual processing, so if we can harness this for mathematics it will definitely help. The experiment he mentioned from Bob Coecke seems to provide some direct evidence of this. Teaching high school students quantum mechanics using pictures, led them to perform as well on an Oxford QM exam as a graduate student in physics. I think many of the people who have enjoyed Richard's channel are people who might not have ever gotten into category theory if it wasn't for his many many pictures on the blackboard.
@RichardSouthwell 5 күн бұрын
I'm sure there are lots of other great pieces of software for visualizing category theory that I didn't mention. Catlab.jl for one. Please let me know about others in the comments
@thomashall659 5 күн бұрын
This is welcome news! I've been thinking of ways to represent categories in a 3d game engine, where the player does their homework in an immersive setting. Originally I created some mock environments for representing concepts from the field of cognitive linguistics, where player does their linguistics homework with the help of machines in the environment. I would like to do this for categories as well. After watching your videos last year I was inspired for sure. The chalk board is great. My reference books are Lawvere/Schanuel and Awodey. My goal is to make accessible the insights from modern linguistics and mathematics. So thank you for posting this today and I will ping you back when I have something tangible deployed to Unreal or Unity game engines. Keep up the good work. Cheers, Thomas
@RichardSouthwell 5 күн бұрын
@@thomashall659 That sounds like it will be absolutely amazing
@RichardSouthwell 4 күн бұрын
Please send me an email [email protected] if you want to discuss this idea further. A few people have expressed interest, so it'd be great for us all to virtually meet
@user-cu9ww9tj4i 5 күн бұрын
재밌다
@Ilma-fy3fz 7 күн бұрын
India...satta number send me please 😢😢😢😢😢😢
@Ilma-fy3fz 7 күн бұрын
Hello i am aaliya from delhi....faridabad,gaziabad,disawar numbers lottery...satta number ?????
@iHeartAMP 7 күн бұрын
I am bidge watching your whole projective geometry videos
@iHeartAMP 8 күн бұрын
Yo! I hope these videos don't get deleted. They were more helpful than all the art books and KZbin videos I have consumed on the subject
@hebozhe 15 күн бұрын
As someone who went into coding after getting a philosophy degree (doing all the logic coursework I could), coding is such an easy transition that I was amazed it wasn't brought to my attention as an undergrad.
@melissapereira6957 17 күн бұрын
is there any equivalent result for quadrics? do you any reference I can see to understand quadrics in projective space?
@RichardSouthwell 17 күн бұрын
Apparently 9 points define a quadric, or so says the paper "Construction of a Nine-Point Quadric Surface" by Viktor A. Korotkiy. But I have not looked in detail
@RichardSouthwell 17 күн бұрын
math.stackexchange.com/questions/349251/number-of-points-determining-a-quadric
@LEMONMANIZATION Ай бұрын
Oh I see. Stop me if I'm wrong here; Just as the two 2D Discs are glued together in the 3rd Dimension, the 3D Spheres are glued together in the 4th Dimension.
@LEMONMANIZATION 29 күн бұрын
Upon further inspection, the two 3-balls are glued together in 3D. Sort of curved in on themselves.
@subratarana3327 Ай бұрын
Lovely explanation...
@hebozhe Ай бұрын
I developed and plan to rebuild a Fitch solver, so of course I'd run into Lean. Good to know it's not terribly esoteric.
@unsightedmath7040 Ай бұрын
Exponential , diagonal and terminal initial morphisms are defined in this... Thanks
@MsGnor Ай бұрын
Thanks for this video Richard! One of my favourite tarot artists, Lady Frieda Harris, used projective geometry apparently. Wanted to know more. Really appreciate your effort 🙏🌈🥰💝
@jeffreyhowarth7850 Ай бұрын
(T(X)) and (T(T(X))) are parentheses around Monads. Is this the wrap talked about in Monad literature? And are Monads nested?
@RichardSouthwell Ай бұрын
The "multiplication" of a monad let's you go from the nested T(T(X)) form to the T(X) form. Like a list of lists can be flattened to a list. There is also the unit from X to T(X), that let's you "wrap" data in a trivial way (e.g. turn an element into a length one list)
@RichardSouthwell Ай бұрын
T(T(X)) just means applying the functor T twice. Think of it as analogous to double(double(x)), where x is an integer and double is a function from integers to integers
@msk.nfazal9757 2 ай бұрын
i am so much thankful to you for this video sir. may God bless you.
@msk.nfazal9757 2 ай бұрын
its began from 11:47
@AkamiChannel 2 ай бұрын
Is that a lonely quail?
@msk.nfazal9757 2 ай бұрын
i'm so thankful to you sir.
@chap_eau 2 ай бұрын
thank you for this!
@chap_eau 2 ай бұрын
great video
@moazzmainayat5800 2 ай бұрын
sir how we can contact with you please
@feng-ttJiang 2 ай бұрын
Do you have any relevant information to recommend?
@qcat 2 ай бұрын
Church numerals!
@fornlike 3 ай бұрын
Thank you for this beautiful sharing. However, I have one question regarding this geometry. If it's not part of Euclidean geometries, how could it have been founded when the problem of Euclid's 5th postulate had not yet been resolved (By Gauss)?
@fornlike 3 ай бұрын
Thank you for this beautiful sharing. However, I have one question regarding this geometry. If it's not part of Euclidean geometries, how could it have been founded when the problem of Euclid's 5th postulate had not yet been resolved (By Gauss)?
@kirolosnabil3264 3 ай бұрын
is this play list is good for CS student who study functional programming and want to learn about category theory?
@imadhamaidi 3 ай бұрын
Hello richard, i have been watching your videos on category theory and they seem to be a very gentle introduction to the subject, i was wondering if you could suggest other places to get a solid ground on category theory or even higher category theory, one that would focus on the applied side of things would be appreciated.
@DrDanielHoward 3 ай бұрын
Excellent instruction.
@imadhamaidi 3 ай бұрын
what's with the sudden skip at 2:24:15
@SohailSiadat 3 ай бұрын
Fantastic !
@SohailSiadat 3 ай бұрын
Thanks for this. Please continue.
@CTMUSINGULARITY 4 ай бұрын
Hello. Would you still like to do our interview? Couldn't reach you by email.
@rimamalo8422 4 ай бұрын
😊😊😊😊😊😊😊 this is a real hyper cube
@hamish_todd 4 ай бұрын
How many explanations of category have I heard? I think it's a two figure number. This is the first one to make me give a rat's ass!
@RichardSouthwell 4 ай бұрын
Glad to hear it 🙂
@jamesstelvin 4 ай бұрын
At 21:10, it was mentioned that these manifold diagrams correspond more closely with how people think, as opposed to arrows. These topological diagrams remind me of Arthur Koestler’s “bisociators”, where he uses orthogonal, intersecting planes to demonstrate how novel ideas can form spontaneously. Perhaps the observation is a very deep one
@RichardSouthwell 4 ай бұрын
Interesting. I did not know about those. I will look them up
@dcmicore 4 ай бұрын
Just started to watch the vide. It's huge, very excited.
@RichardSouthwell 4 ай бұрын
Yea, this is perhaps my favorite video I've done
@dhruv31bhasin 4 ай бұрын
Already excited!