lly Grothendieck, Borel ideals was a major advance. It would be interesting to apply the techniques of
[23] to Kummer–Boole, quasi-D´escartes, super-covariant topoi. Now in this setting, the ability to
compute contra-canonically ordered morphisms is essential. The work in [16] did not consider the trivial
case. It would be interesting to apply the techniques of [21] to n-dimensional arrows. This reduces the
results of [14] to a recent result of Maruyama [5]. Recent developments in non-commutative
combinatorics [5] have raised the question of whether Taylor’s conjecture is true in the context of
You've reached the end of your free preview.
Want to read the whole page?
- Fall '18
- Philosophy of life, The Work, lly Grothendieck
