Tininess and right adjoints to exponentials
Objects $T$ whose exponential functor $(-)^T$ admits a right adjoint $(-)_T$ are known under different names. The fact that they exist, yet that the only set that satisfies this in the category of sets is the singleton made Lawvere suggest they ought to be ``amazingly tiny'' -- hence Lawvere's acronym ``A.T.O.M.'' This report explores how intuitively tiny any such object is. Evidences both in favor and to the contrary are produced by looking at their categorical behavior (subobjects, quotients, retracts, etc) when the ambient category is a topos. The topological behavior (connectedness,…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2602.12239
curl -X POST /api/v1/records/arxiv/2602.12239/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2602.12239/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'