The span-squares adjunction
We show a universal property of the span $\infty$-category that yields a description of functors defined on this category. For this, we view the span construction as a functor from double $\infty$-categories to $\infty$-categories, and show that this functor admits a right adjoint defined by the double $\infty$-categories of squares. As an application, we obtain a model for the localization of an $\infty$-category in terms of a span $\infty$-category and also give another proof of the model given by the relative nerve. Moreover, using the span-squares adjunction, we obtain new proofs of the…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.10052
curl -X POST /api/v1/records/arxiv/2606.10052/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.10052/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'