The Frobenius–Witt cotangent complex over the field with one element
Conjecture on the cotangent complex over the field of one element. There exists a functor
MathDB