The first quotes is just because one can talk about K theory in various levels of generality and this one is something of a midpoint: more general than just for ordinary rings, but not all the way to handling arbitrary Wauldhausen ∞-categories that one might want for stating devissage.
The "a" was just sloppy writing, K theory at this level of generality is an additive and group-like functor... the unique such functor receiving a map from core!
(I definitely don't read this as nitpicking, it's good to clarify what's going on precisely :) )
daniel gratzer
npub1zw…3df7y
2026-10-18 22:11:40 UTC
in reply to nevent1q…x4vl
Author Public Key
npub1zwlhl84xnlyyzkpqrk6yg782jz9e3v37kznxpjpe0jexjq8kq7vqq3df7ySeen on
wss://relay.momostr.pinkPublished at
2026-10-18 22:11:40 UTCEvent JSON
{
"id": "bb93a9015291d0deccab01acc5fe701fe2a4b246915ce1d1e25631fe49bf544e",
"pubkey": "13bf7f9ea69fc84158201db44478ea908b98b23eb0a660c8397cb26900f60798",
"created_at": 1792361500,
"kind": 1,
"tags": [
[
"e",
"a562defdfa7ccf08415c9df3bc2e3f1229668d9b03d74c532d82f36a10bdcdac",
"",
"root",
"13bf7f9ea69fc84158201db44478ea908b98b23eb0a660c8397cb26900f60798"
],
[
"proxy",
"https://mathstodon.xyz/@danielgratzer/117464203296784098",
"web"
],
[
"p",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"p",
"13bf7f9ea69fc84158201db44478ea908b98b23eb0a660c8397cb26900f60798"
],
[
"e",
"1fbb1bb2954ee4e2299fbccdcc179b919ffb98552f577528eb9c82325d67fbba",
"",
"reply",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"proxy",
"https://mathstodon.xyz/users/danielgratzer/statuses/117464203296784098",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/danielgratzer/statuses/117464203296784098",
"pink.momostr"
],
[
"-"
]
],
"content": "The first quotes is just because one can talk about K theory in various levels of generality and this one is something of a midpoint: more general than just for ordinary rings, but not all the way to handling arbitrary Wauldhausen ∞-categories that one might want for stating devissage.\n\nThe \"a\" was just sloppy writing, K theory at this level of generality is an additive and group-like functor... the unique such functor receiving a map from core!\n\n(I definitely don't read this as nitpicking, it's good to clarify what's going on precisely :) )",
"sig": "343ce4dfc536ced8e39ad1904118a6cefc93fc1b36a9ce0fbee82461b0381c11c2c85fbe5654ce8dfdd4b6b755bc69e6494d8e5545bd2e3d3b2fe1f71213d3ac"
}