What is the precise relationship between pyknoticity and cohesiveness? Pyknotic and condensed sets have been introduced recently as a convenient framework for working with topological rings/algebras/groups/modules/etc. Recently there has been much (justified) excitement about these ideas and the theories coming from them, such as Scholze's analytic geometry. (Small note: the difference between pyknotic and condensed is essentially set-theoretic, as explained by Peter Scholze here.) 
On the other side, cohesion is a notion first introduced by Lawvere many years ago that aims to axiomatise what it means to be a category of "spaces". It has been developed further by Schreiber in the context of synthetic higher differential geometry (and also by Shulman in cohesive HoTT and by Rezk in global homotopy theory, to give a few other names in this direction).
Recently, David Corfield started a very interesting discussion on the relation between these two notions at the $n$-Category Café. The aim of this question is basically to ask what's in the title:

What is the precise relation between pyknoticity and cohesiveness?

Along with a few subquestions:


*

*(On algebraic cohesion) It seems to me that the current notion of cohesion only  works for smooth, differential-geometric spaces: we don't really have a good notion of algebraic cohesion (i.e. cohesion for schemes/stacks/etc.) or $p$-adic variants (rigid/Berkovich/adic/etc. spaces). Is this indeed the case?

*(On the relevance of cohesion to AG and homotopy theory) Despite its very young age, it's already clear that condensed/pyknotic technology is very useful and is probably going to be fruitfully applied to problems in homotopy theory and algebraic geometry. Can the same be said of cohesion?

*(On "condensed cohesion") Cohesion is a relative notion: not only do we have cohesive topoi but also cohesive morphisms of topoi, which recover the former in the special case of cohesive morphisms to the punctual topos. Scholze has suggested in the comments of the linked $n$-CatCafé discussion that we should not only consider cohesion with respect to $\mathrm{Sets}$, but also to condensed sets. What benefits does this approach presents? Is this (or some variant of this idea) a convenient notion of "cohesion" for algebraic geometry?

 A: We have a case of relative cohesion used in an algebraic geometric setting discussed at the nLab. The entry for differential algebraic K-theory interprets 


*

*Ulrich Bunke, Georg Tamme, Regulators and cycle maps in higher-dimensional differential algebraic K-theory (arXiv:1209.6451)


via cohesion over the base   $Sh_\infty\left(Sch_{\mathbb{Z}}\right)$, ∞-stacks over a site of arithmetic schemes.
See also Urs Schreiber's entry, differential cohesion and idelic structure, and arithmetic elements of his research proposal, Higher theta functions and higher CS-WZW holography. 
A: The work on analytic geometry is all joint with Dustin Clausen!
Your main question seems a little vague to me, but let me try to get at it by answering the subquestions. See also the discussion at the nCatCafe. Also, as David Corfield comments, much of this had been observed long before: https://nforum.ncatlab.org/discussion/5473/etale-site/?Focus=43431#Comment_43431


*

*Yes, I think cohesion does not work in algebraic or $p$-adic contexts. The issue is that schemes or rigid-analytic spaces are just not locally contractible.

*Cohesion does not seem to have been applied in algebraic or $p$-adic contexts. However, I realized recently (before this nCatCafe discussion), in my project with Laurent Fargues on the geometrization of the local Langlands correspondence, that the existence of the left adjoint to pullback ("relative homology") is a really useful structure in the pro-etale setting. I'm still somewhat confused about many things, but to some extent it can be used as a replacement to the functor $f_!$ of compactly supported cohomology, and has the advantage that its definition is completely canonical and it exists and has good properties even without any assumptions on $f$ (like being of finite dimension), at least after passing to "solid $\ell$-adic sheaves". So it may be that the existence of this left adjoint, which I believe is a main part of cohesion, may play some important role.

*As I already hinted in 2, this relative notion of cohesiveness may be a convenient notion. In brief, there are no sites relevant in algebraic geometry that are cohesive over sets, but there are such sites that are (essentially) cohesive over condensed sets; for example, the big pro-etale site on all schemes over a separably closed field $k$. So in this way the approach relative to condensed sets has benefits.
All of these questions sidestep the question of why condensed sets are not cohesive over sets, when cohesion is meant to model "toposes of spaces" and condensed sets are meant to be "the topos of spaces". I think the issue here is simply that for Lawvere a "space" was always built from locally contractible pieces, while work in algebraic geometry has taught us that schemes are just not built in this way. But things are OK if instead of "locally contractible"(="locally contractible onto a point") one says "locally contractible onto a profinite set", and this leads to the idea of cohesion relative to the topos of condensed sets.
Let me use this opportunity to point out that this dichotomy between locally contractible things as in the familar geometry over $\mathbb R$ and profinite things as codified in condensed sets is one of the key things that Dustin and I had to overcome in our work on analytic geometry. To prove our results on liquid $\mathbb R$-vector spaces we have to resolve real vector spaces by locally profinite sets!
