Sheafification of G
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.
C++ is the BEST interpreted language
What's the big deal with the Yoneda Lemma?
WTF is Sheafification??
An unhealthy addiction to academia
What does BLAZINGLY FAST even mean??
The last PYTHON TUTORIAL you'll EVER NEED!! Learn Python3.14 now!! (Poisson d'Avril 2025)
The integers have TWO KINDS of multiplications (OR MORE??)
I am not sorry for switching to C
Mathematics doesn't actually make any sense
Python laid waste to my C++!
Algebra - It's not what you think it is!
Kan Academy: Intro to Colimits
What is the opposite of a set?
Solving one of the logic puzzles of all time!
Kan Academy: Introduction to Limits
One second to compute the largest Fibonacci number I can
2Fast2Finite: Breaking the natural speed limit of finite numbers
Solving a finite number problem using infinities
Infinite numbers have only finitely many (nonzero) digits
What is a Comonad? – Comath and Mputer Science
(Provably) Unprovable and Undisprovable... How??
Can programmers do math? What is a real number, really?
Can Mathematicians Code? The Intermediate Value Theorem
A shallow grip on neural networks (What is the "universal approximation theorem"?)
What is a Monad? – Math vs Computer Science