A construction inverts twists in adjunctions of stable infinity-categories, producing adjoints to the spherical adjunction inclusion and a walking spherical adjunction that classifies them.
Enriched -categories via non-symmetric -operads
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
representative citing papers
Proves equivalence between smoothness of a rigid analytic variety and smoothness of its nuclear sheaves category in a six-functor formalism, relates compact generation to algebraization, and gives an example of a non-atomically generated internally smooth category.
citing papers explorer
-
Sphericalization and the Universal Spherical Adjunction
A construction inverts twists in adjunctions of stable infinity-categories, producing adjoints to the spherical adjunction inclusion and a walking spherical adjunction that classifies them.
-
Smooth categories in a 6 functor formalism and compact generation for nuclear categories in analytic geometry
Proves equivalence between smoothness of a rigid analytic variety and smoothness of its nuclear sheaves category in a six-functor formalism, relates compact generation to algebraization, and gives an example of a non-atomically generated internally smooth category.
- Univalent Enriched Categories and the Enriched Rezk Completion