/sci/ - Science & Math

>>10379909
>engineeringchad
>wears a buttplug so sleep
Most I've done is a prostate massager. You're more of a sissy than I am.

>>10348607
Maybe read what the name of the first chapter is, bucko.

>>9058775
Your mobage trash was never welcome. Touhou is a game that's heavily influenced by Japanese folklore and history with characters and plot revolving closely around them, while KanColle is literally just fap/waifubait game that targets braindead virgin otakus like you. To compare the two is to show your ignorance.
If you're going to talk about Japanese culture strictly defining /jp/ your shiptrash bullshit don't even deserve one single thread on it.

If we rewrite the KZ monodromy [math]d\Psi = \omega\Psi[/math] in an iterated integral [math]\Psi(\gamma(t))= I + \int_\gamma \omega \Psi(\gamma(s))[/math] we can write Witten's knot invariant as as formal series [math]Z(K) = \sum_{k = 0}^{\infty}Z_k(K)[/math] (or a limit [math]\lim_{k \rightarrow \infty}Z_k(K)[/math] if [math]K[/math] is non-singular) where
[eqn]
Z_k(K) = \frac{1}{(2\pi i)^k}\int_{t_1<t_2<\dots<t_k}\sum_{P}(-1)^{\epsilon(P)}D_P\bigwedge\omega^k [/eqn]
where the sum is over all admissible colorings [math]P = \{i_m,j_m\}_m[/math] of pairs of points onto irreducible tangles [math]K_m[/math] that decompose [math]K[/math], [math]D_P[/math] is the chord diagram of such a coloring and [math]\epsilon(P)[/math] is the number of points in [math]P[/math] on which [math]K[/math] is oriented downwards.
It seems here that (the sum over [math]P[/math] of [math]D_P[/math] times) the iterated integral of the KZ monodromy (or the representation thereof) is playing the role of the operator invariant [math]F[/math] in Wentzl's limit. Perhaps the fact that the TQFT being unitary means that we can define a general expression for [math]F(L)[/math] as an iterated integral over some kind of connection [math]\omega[/math], and this will allow us to construct the CFT.
>>9020162
We're all girls here.

>>8980270
I'll fucking end you kiddo. Don't test me.

>>8963799
Category theory already does that.
>find duality/equivalence between categories
>formalize theorems in them in terms of categorical language
>see how it behaves under the duality/equivalence
>???
>profit
You can probably do this with Coq or other Turing-complete language that has a closed compact monoidal category of types.