2011/11/14 by Michel, Nicolas
#18D10 #18D30 #18D35 #18F10 #18F25 (Primary) 18D05 #19-02 #19E08 #19L99 #55N15 (Secondary) #Algebraic Geometry (math.AG) #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics #K-Theory and Homology (math.KT)
paper · doi:10.48550/arxiv.1111.3335
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 AC that has a suitable structure (exact, Waldhausen, symmetric monoidal, ...). One then applies to the category AC a "K-theory machine", which provides an infinite loop space that is the K-theory K(C) of the object C. 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-theoretic information about it? And how should the morphisms of these objects interact with this correspondence? We propose a unified, conceptual framework for a number of important examples of objects studied in K-theory. The structured categories associated to an object C are typically categories of modules in a monoidal (op-)fibred category. The modules considered are "locally trivial" with respect to a given class of trivial modules and a given Grothendieck topology on the object C's category.