{"paper":{"title":"Categorical Foundations for K-Theory","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AG","math.AT","math.CT"],"primary_cat":"math.KT","authors_text":"Nicolas Michel","submitted_at":"2011-11-14T19:48:53Z","abstract_excerpt":"Recall that the definition of the $K$-theory of an object C (e.g., a ring or a space) has the following pattern. One first associates to the object C a category A_C that has a suitable structure (exact, Waldhausen, symmetric monoidal, ...). One then applies to the category A_C a \"$K$-theory machine\", which provides an infinite loop space that is the $K$-theory K(C) of the object C.\n  We study the first step of this process. What are the kinds of objects to be studied via $K$-theory? Given these types of objects, what structured categories should one associate to an object to obtain $K$-theoret"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1111.3335","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"}