Open Research Index

Comonads as spaces

Aaron David Fairbanks, Kevin Carlson, David I. Spivak

arXivarxiv/2607.15091Jul 16, 2026math.CTscore 0

Comonads on Set generalize both categories and topological spaces. Expanding upon Garner's work on ionads, we develop aspects of the theory of topological spaces for arbitrary comonads on arbitrary categories. Our approach is centered around density comonads, which provide an abstraction of subbases. We study subbases as well as bases in terms of density comonads, and we study continuous maps of comonads in terms of functors between coalgebra categories, with definitions that recover the usual notions for topological spaces. Whereas Ahman and Uustalu characterized categories as precisely the…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2607.15091
curl -X POST /api/v1/records/arxiv/2607.15091/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.15091/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'