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.

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.