/sci/ - Science & Math

>>12372513
it's so accurate it hurts

>>11706782
Depends. How old are you?

Otherwise, give your mind a break. Take a shower. Go for a run. Write down all the definitions and rules of inference possibly required. And if things don't fall into place, ask in /sqt/.

>>11636869
Consider 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 physics?
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.

>>11636869
Consider 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.

>>11636869
Consider 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 topoi 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.)
Well done.

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 phsysics?
They don't even know how to tackle small cohomology groups in perfectoid quasi-Lie algebroids. And they 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.