#innocent tyrant

Homotopy: Recent development in proof theory, a domain at the intersection of computer science, math, logic, topology and category theory. It stems from problems coming from the definition of equality in higher-order intuitionistic logics. The central paradigm is to interpret elements of a type as points, equality as paths between points, and types as topological spaces. The main contribution is the "Univalence Axiom", which state that two types are equal if and only if they are equivalent. In computer words: two types that behave the same are the same. This theory has very deep developments that I don't fully understand, but trust me, it's dope!

Yesterday I discovered this song, thanks to subbing to FAKE TYPE. Link: https://youtu.be/wa_C2wchZus . And idk what’s the name of this little character, I’m currently just calling me Innocent Tyrant. And I love this character so much, that I decided to make a stimboard after him!

_____________________________

~Like what you see? Support me here~

Thinking about my bbg..Oh Ino😩😩👑💗 Ilysm but I hate draw ur hair.