Sheafification of G
91K subscribers
My university doesn't let me teach anymore, so the rest of the world is my victim now. Let g be the functor mapping source to *.o objects. If we sheafify g, we get a functor g++ that now satisfies gluing: a system of compatible objects can be uniquely linked! In case you can't pronounce "sheafification", I also go by (g+)+ or GSheaf, or Faisceautisation de G. Whichever is easier.
Some things are MORE EQUAL than others??
Sheafification of G · 112K views · 9 months ago
What's the big deal with the Yoneda Lemma?
Sheafification of G · 62K views · 1 year ago
WTF is Sheafification??
Sheafification of G · 120K views · 1 year ago
Kan Academy: Adjoints
Sheafification of G · 41K views · 3 months ago
Mathematics doesn't actually make any sense
Sheafification of G · 173K views · 1 year ago
What does BLAZINGLY FAST even mean??
Sheafification of G · 143K views · 1 year ago
What is a Comonad? – Comath and Mputer Science
Sheafification of G · 30K views · 2 years ago
One second to find the BILLIONth PRIME
Sheafification of G · 288K views · 4 months ago
(Provably) Unprovable and Undisprovable... How??
Sheafification of G · 66K views · 2 years ago
What is the opposite of a set?
Sheafification of G · 163K views · 1 year ago
Maybe there is a Category of Categories
Sheafification of G · 60K views · 4 weeks ago
A shallow grip on neural networks (What is the "universal approximation theorem"?)
Sheafification of G · 26K views · 2 years ago
Algebra - It's not what you think it is!
Sheafification of G · 106K views · 1 year ago
Infinite numbers have only finitely many (nonzero) digits
Sheafification of G · 65K views · 2 years ago
Can programmers do math? What is a real number, really?
Sheafification of G · 39K views · 2 years ago
Python laid waste to my C++!
Sheafification of G · 445K views · 1 year ago
One second to compute the largest Fibonacci number I can
Sheafification of G · 905K views · 2 years ago
What is a Monad? – Math vs Computer Science
Sheafification of G · 108K views · 2 years ago
Solving one of the logic puzzles of all time!
Sheafification of G · 106K views · 2 years ago