8 problems
Let be the partial combinatory algebra underlying the assembly category, and let be the category of partitioned groupoid assem…
Let be the partial combinatory algebra underlying the assembly category, and let denote the category of partitioned groupoid a…
Let be an essential pseudoline arrangement, and let be its matroid. Let be the Hirzebruch quadratic form of , and let the semistable co…
Integer-scaling criterion. If is -realizable, then it is -realizable if and o…
Counterpart conjecture. Some of these local operators have counterparts in the toposes
Realizable fiber representation conjecture. Every locally realizable COM is a fiber of a realizable OM.
Realizability conjecture. For an arbitrary sign pattern , the only type of pairs which can be non-realizable has either or vanishing. Equival…
Non-realizability conjecture. There is no arrangement in with the same incidence as .