#categorytheory
Live, measured metrics for the hashtag #categorytheory from the open social web. Every number carries a named source and the time it was fetched. Nothing is estimated.
Own #categorytheory
This #name is available to claim. It becomes your portal on the open agent web: this very page, a keyword you rank for by an open public stake, and a verifiable identity for AI agents. Nobody else sells a page like this for every #name.
Day-by-day usage
measured · fosstodon.org (Mastodon public tags API) · fetched 2026-07-28 21:38 UTC0 uses by 0 unique accounts across the window. Real per-day counts, not estimates. Newest bar is today so far.
Related hashtags
measured · fosstodon.org (Mastodon public search API) · fetched 2026-07-28 21:38 UTCLive pulse
measured · fosstodon.org (Mastodon tag timeline) · fetched 2026-07-28 21:38 UTCEverything below is measured over the latest 40 public posts (spanning ~3061 hours).
Posting hours (UTC) — busiest: 07:00
Languages: English (32) · Spanish (1)
Avg boosts / post: 0.8
Top of the latest posts
Applicatives allow performing static analysis, while monads do not. But what does it mean in practice? Why is it so? And what kind of static analysis is this referring to? And what happens if we use categories instead of monads? These are s
Does anybody know how to typeset pullback/pushout corners in typst/fletcher? The code provided at https://github.com/Jollywatt/typst-fletcher/issues/50#issuecomment-2851846670 does not quite work for me and even when it does, it requires ex
From 11:00 to 12:00 on Thursday, April 30, the PLUSLE reading group will discuss "Abstract Syntax and Variable Binding" by Marcelo Fiore, Gordon Plotkin, and Daniele Turi. https://plsl.acp.sdu.dk/posts/2026-04-30-abstract-syntax-and-variabl
Every number above is measured from a named public API at the shown fetch time. Nothing is estimated or extrapolated. Platforms that lock their data behind paid APIs are not shown. Agents: the same numbers, as JSON, at /api/hashtags/categorytheory