Diagrams indexed by Grothendieck constructions
نویسندگان
چکیده
منابع مشابه
Diagrams Indexed by Grothendieck Constructions
Let I be a small indexing category, G : I → Cat be a functor and BG ∈ Cat denote the Grothendieck construction on G. We define and study Quillen pairs between the category of diagrams of simplicial sets (resp. categories) indexed on BG and the category of I-diagrams over N(G) (resp. G). As an application we obtain a Quillen equivalence between the categories of presheaves of simplicial sets (re...
متن کاملDiagrams Indexed by Grothendieck Constructions and Stacks on Stacks
Let I be a small indexing category, G : I → Cat be a functor and BG ∈ Cat denote the Grothendieck construction on G. We define and study Quillen pairs between the category of diagrams of simplicial sets (resp. categories) indexed on BG and the category of I-diagrams over N(G) (resp. G). As an application we obtain a Quillen equivalence between the categories of presheaves of simplicial sets (re...
متن کاملSpecifications of Software Architectures using Diagrams of Constructions
Formal methods promise the ultimate quality of software artifacts with mathematical proof of their correctness. Algebraic specification is one of such methods, providing formal specifications of system components suitable for verification of correctness of all individual steps in the software development process, and hence of the entire development process and of the resulting program. In this ...
متن کاملModular Specifications: Constructions With Finite Colimits, Diagrams, Isomorphisms
Modular speciications: constructions with nite colimits, diagrams, isomorphisms Catherine ORIAT R esum e : La composition de sp eciications modulaires peut ^ etre mod elis ee, dans le forma-lisme des cat egories, par des colimites de diagrammes. Les sommes amalgam ees permettent en particulier de d ecrire l'assemblage de deux sp eciications qui ont une partie commune. Ce travail etend cette id ...
متن کاملOPERADS & GROTHENDIECK - TEICHMÜLLER GROUPS – DRAFT DOCUMENT by
This preprint is an extract from a research monograph in preparation on the homotopy of operads and Grothendieck-Teichmüller groups. The ultimate objective of this book is to prove that the Grothendieck-Teichmüller group is the group of homotopy automorphisms of a rational completion of the little 2-discs operad. The present excerpts include a comprehensive account of the fundamental concepts o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Homology, Homotopy and Applications
سال: 2008
ISSN: 1532-0073,1532-0081
DOI: 10.4310/hha.2008.v10.n3.a10