The Grothendieck construction in the context of tangent categories

The Grothendieck construction for model categories

Let I be a small indexing category, G: I op ! Cat be a functor and BG 2 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 (resp. groupoids) on a stack M and presheaves of simplicial sets (resp. groupoids) over M. The motivation for this paper was the study of homotopy theory of (pre)sheaves on a stack. Since the site associated to a stack M is a Grothedieck construction this led us to an investigation of the homotopy theory of diagrams indexed on a category which is itself a Grothendieck construction (of a diagram of small categories). The body of the paper is concerned with analyzing various Quillen pairs between diagram categories. These adjunctions are of general interest and we present some examples not related to the theory of stacks. We conclude the paper with the applications to stacks. Stacks were introduced in algebraic geometry in order to parametrize families of objects when the presence of automorphisms prevented representability by a scheme or even a sheaf [A, DM, Gi]. Recently stacks have come to play an important role in algebraic topology. Complex oriented cohomology theories give rise to stacks over the moduli stack of formal groups and in certain situations, conversely, stacks over the moduli stack of formal groups give rise to spectra [G, R2, GHMR, B]. One fundamental example is the spectrum of topological modular forms [Hp] which is associated to the moduli stack of elliptic curves. Classically, stacks were defined as categories fibered in groupoids over a site C which satisfy descent [DM, Definition 4.1]. In [H] we show that a category fibered in groupoids F over C is a stack if and only if the assignment satisfies the homotopy sheaf

In category theory circles it is well-known that the Schreier theory of group extensions can be understood in terms of the Grothendieck construction on indexed categories. However, it is seldom discussed how this relates to extensions of monoids. We provide an introduction to the generalised Grothendieck construction and apply it to recover classifications of certain classes of monoid extensions (including Schreier and weakly Schreier extensions in particular).

Abstract2-Dimensional Categories provides an introduction to 2-categories and bicategories, assuming only the most elementary aspects of category theory. A review of basic category theory is followed by a systematic discussion of 2-/bicategories; pasting diagrams; lax functors; 2-/bilimits; the Duskin nerve; the 2-nerve; internal adjunctions; monads in bicategories; 2-monads; biequivalences; the Bicategorical Yoneda Lemma; and the Coherence Theorem for bicategories. Grothendieck fibrations and the Grothendieck construction are discussed next, followed by tricategories, monoidal bicategories, the Gray tensor product, and double categories. Completely detailed proofs of several fundamental but hard-to-find results are presented for the first time. With exercises and plenty of motivation and explanation, this book is useful for both beginners and experts.

We extend some classical results – such as Quillen’s Theorem A, the Grothendieck construction, Thomason’s theorem and the characterisation of homotopically cofinal functors – from the homotopy theory of small categories to polynomial monads and their algebras. As an application we give a categorical proof of the Dwyer–Hess and Turchin results concerning the explicit double delooping of spaces of long knots.

A (closed) dynamical system is a notion of how things can be, together with a notion of how they may change given how they are. The idea and mathematics of closed dynamical systems has proven incredibly useful in those sciences that can isolate their object of study from its environment. But many changing situations in the world cannot be meaningfully isolated from their environment - a cell will die if it is removed from everything beyond its walls. To study systems that interact with their environment, and to design such systems in a modular way, we need a robust theory of open dynamical systems. In this extended abstract, we put forward a general definition of open dynamical system. We define two general sorts of morphisms between these systems: covariant morphisms which include trajectories, steady states, and periodic orbits; and contravariant morphisms which allow for plugging variables of some systems into parameters of other systems. We define an indexed double category of open dynamical systems indexed by their interface and use a double Grothendieck construction to construct a double category of open dynamical systems. In our main theorem, we construct covariantly representable indexed double functors from the indexed double category of dynamical systems to an indexed double category of spans. This shows that all covariantly representable structures of dynamical systems - including trajectories, steady states, and periodic orbits - compose according to the laws of matrix arithmetic.

In earlier work, we used a typed function calculus, XML, with dependent types to analyze several aspects of the Standard ML type system. In this paper, we introduce a refinement of XML with a clear compile-time/run-time phase distinction, and a direct compile-time type checking algorithm. The calculus uses a finer separation of types into universes than XML and enforces the phase distinction using a nonstandard equational theory for module and signature expressions. While unusual from a type-theoretic point of view, the nonstandard equational theory arises naturally from the well-known Grothendieck construction on an indexed category.

Categorical Foundations for K-theory

In the present work the different types of regular index categories are given. The related cohomology groups of some of these categories are studied. We give some properties of index category related with monoid and algebra over it.

Grothendieck institutions generalize the flattening Grothendieck construction from (indexed) categories, (see Sect. 2.5), to (indexed) institutions. Regarded from a fibration theoretic angle, Grothendieck institutions are just institutions for which their category of signatures is fibred. For example, the actual institutions with many-sorted signatures appear naturally as fibred institutions determined by the fibrations given by the functor mapping each signature to its set of sort symbols. In this sense, fibred institutions can be regarded as the reflection of many-sortedness at the level of abstract institutions.KeywordsNatural TransformationSatisfaction ConditionInterpolation PropertyInclusion SystemModel AmalgamationThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Diagrams of quantales and Lipschitz norms

<p>Recent work has shown that presheaf categories provide a general model of concurrency, with an inbuilt notion of bisimulation based on open maps. Here it is shown how this approach can also handle systems where the language of actions may change dynamically as a process evolves. The example is the pi-calculus, a calculus for `mobile processes' whose communication topology varies as channels are created and discarded. A denotational semantics is described for the pi-calculus within an indexed category of profunctors; the model is fully abstract for bisimilarity, in the sense that bisimulation in the model, obtained from open maps, coincides with the usual bisimulation obtained from the operational semantics of the pi-calculus. While attention is concentrated on the `late' semantics of the pi-calculus, it is indicated how the `early' and other variants can also be captured.</p><p> </p><p>A version of this paper appears in Category Theory and Computer Science: Proceedings of the 7th International Conference CTCS '97, Lecture Notes in Computer Science 1290. Springer-Verlag, September 1997.</p>

Everyone knows that if you have a bivariant homology theory satisfying a base change formula, you get an representation of a category of correspondences. For theories in which the covariant and contravariant transfer maps are in mutual adjunction, these data are actually equivalent. In other words, a 2-category of correspondences is the universal way to attach to a given 1-category a set of right adjoints that satisfy a base change formula. Through a bivariant version of the Yoneda paradigm, I give a definition of correspondences in higher category theory and prove an extension theorem for bivariant functors. Moreover, conditioned on the existence of a 2-dimensional Grothendieck construction, I provide a proof of the aforementioned universal property. The methods, morally speaking, employ the `internal logic' of higher category theory: they make no explicit use of any particular model.

We introduce the theory of enrichment over an internal monoidal category as a common generalization of both the standard theories of enriched and internal categories. The aim of the paper is to justify and contextualize the new notion by comparing it to other known generalizations of enrichment: namely, those for indexed categories and for generalized multicategories. It turns out that both of these notions are closely related to internal enrichment and, as a corollary, to each other.

We introduce the theory of enrichment over an internal monoidal category as a common generalization of both the standard theories of enriched and internal categories. Then, we contextualize the new notion by comparing it to another known generalization of enrichment: that of enrichment for indexed categories. It turns out that the two notions are closely related.