descriptive claim

Complex networks of algebraic structures are common, and simple type theory is poorly suited to representing them.

In their words

The transcript segments this claim was taken from

“Um, they're really ubiquitous. There are these complex networks of algebraic structures, um, and simple type theory is just not good for that.”

0.95how strongly it was put, not whether it is true

0.80importance to the conversation

0.98confidence the claim was read correctly