>>11636869Consider the category C comprised of two dots (call em Edg and Vrtx) the identities on them and moreover two parallel arrows (call them Scr and Dst) between them.
Let Set be your category of sets.
The topos Set^C is all graphs.
You got an intuition for functor categories on countable categories?
Bravo, you're now the god of graph theory. (Unlike all those graph theorists in the combinatorics department. Fuck them, they wouldn't even know an adjoint when they'd be given a monad.)
Fuck, becoming an expert is so fucking easy when you know the IO monad.
And Fuck those phenomenologists at CERN. What do they know about Quantum Field Theory. What do they know about physicists?
They don't even know how to tackle small cohomology groups in perfectoid quasi-Lie algebroids. And they call themselves physicists. Lol.
The other math field are so fucking retarded, lel. With their ant theories. But we, we know Haskell. Want to know about graph theory? Follow my twitter account.
