Math concepts - Hard 1

57 is this kind of prime.

A mathematical entity described using an atlas of charts.

The field of math concerned with entities described only by vertices and edges.

The Jones polynomial is an invariant of these things.

In a monoidal category, an object M with an associative "unital" morphism M⊗M -> M is this.

The thing from the previous answer, specialized to the category of endofunctors.

This property of functions is often described as "The graph of the function can be drawn without lifting the pen of the paper".

V - E + F

"The internal consistency of mathematics cannot be proven" is a corollary of this famous theorem.

A natural transformation is a morphism of this.

This branch of mathematics is heavily used in functional programming.