MathDB1 problem
Fullness conjecture. It should be possible to obtain fullness by a purely covariant approach, combining the advantages of sophisticated topoi with those of a simple approach.
Fullness conjecture. It should be possible to obtain fullness by a purely covariant approach, combining the advantages of sophisticated topoi with those of a simple approach.