scholarly journals Morita homotopy theory for (∞,1)-categories and ∞-operads

2019 ◽  
Vol 31 (3) ◽  
pp. 661-684 ◽  
Author(s):  
Giovanni Caviglia ◽  
Javier J. Gutiérrez
Keyword(s):  
Homotopy Theory ◽  
Model Structure ◽  
Simplicial Sets ◽  
Simplicial Presheaves ◽  
Model Structures ◽  
Simplicial Algebras ◽  
Bousfield Localization

Abstract We prove the existence of Morita model structures on the categories of small simplicial categories, simplicial sets, simplicial operads and dendroidal sets, modelling the Morita homotopy theory of {(\infty,1)} -categories and {\infty} -operads. We give a characterization of the weak equivalences in terms of simplicial presheaves, simplicial algebras and slice categories. In the case of the Morita model structure for simplicial categories and simplicial operads, we also show that each of these model structures can be obtained as an explicit left Bousfield localization of the Bergner model structure on simplicial categories and the Cisinski–Moerdijk model structure on simplicial operads, respectively.

Model Structures for the 𝔸1-homotopy Category

2019 ◽  
pp. 175-212
Author(s):  
Christian Haesemeyer ◽  
Charles A. Weibel
Keyword(s):  
Full Subcategory ◽  
Homotopy Category ◽  
Symmetric Power ◽  
Model Structure ◽  
Model Categories ◽  
Simplicial Presheaves ◽  
Basic Ideas ◽  
Quillen Model ◽  
Model Structures ◽  
Bousfield Localization

This chapter provides the 𝔸1-local projective model structure on the categories of simplicial presheaves and simplicial presheaves with transfers. These model categories, written as Δ‎opPshv(Sm)𝔸1 and Δ‎op PST(Sm)𝔸1, are first defined. Their respective homotopy categories are Ho(Sm) and the full subcategory DM eff nis ≤0 of DM eff nis. Afterward, this chapter introduces the notions of radditive presheaves and ̅Δ‎-closed classes, and develops their basic properties. The theory of ̅Δ‎-closed classes is needed because the extension of symmetric power functors to simplicial radditive presheaves is not a left adjoint. This chapter uses many of the basic ideas of Quillen model categories, which is a category equipped with three classes of morphisms satisfying five axioms. In addition, much of the material in this chapter is based upon the technique of Bousfield localization.

Model structures for pro-simplicial presheaves

2011 ◽  
Vol 7 (3) ◽  
pp. 499-525 ◽  
Author(s):  
J.F. Jardine
Keyword(s):  
Type Structure ◽  
Model Structure ◽  
Simplicial Sets ◽  
Postnikov Tower ◽  
Simplicial Presheaves ◽  
Model Structures

AbstractThis paper displays model structures for the category of pro-objects in simplicial presheaves on an arbitrary small Grothendieck site. The first of these is an analogue of the Edwards-Hastings model structure for pro-simplicial sets, in which the cofibrations are monomorphisms and the weak equivalences are specified by comparisons of function complexes. Other model structures are built from the Edwards-Hastings structure by using Bousfield-Friedlander localization techniques. There is, in particular, an n-type structure for pro-simplicial presheaves, and also a model structure in which the map from a pro-object to its Postnikov tower is formally inverted.

scholarly journals Dwyer–Kan homotopy theory for cyclic operads

2021 ◽  
pp. 1-30
Author(s):  
Gabriel C. Drummond-Cole ◽  
Philip Hackney
Keyword(s):  
Homotopy Theory ◽  
Forgetful Functor ◽  
General Definition ◽  
Model Structure ◽  
Simplicial Sets ◽  
Explicit Formulae

Abstract We introduce a general definition for coloured cyclic operads over a symmetric monoidal ground category, which has several appealing features. The forgetful functor from coloured cyclic operads to coloured operads has both adjoints, each of which is relatively simple. Explicit formulae for these adjoints allow us to lift the Cisinski–Moerdijk model structure on the category of coloured operads enriched in simplicial sets to the category of coloured cyclic operads enriched in simplicial sets.

Intermediate Model Structures for Simplicial Presheaves

2006 ◽  
Vol 49 (3) ◽  
pp. 407-413 ◽  
Author(s):  
J. F. Jardine
Keyword(s):  
Usual Sense ◽  
Model Structure ◽  
Closed Model ◽  
Intermediate Model ◽  
Standard Set ◽  
Simplicial Presheaves ◽  
Model Structures

AbstractThis note shows that any set of cofibrations containing the standard set of generating projective cofibrations determines a cofibrantly generated proper closed model structure on the category of simplicial presheaves on a small Grothendieck site, for which the weak equivalences are the local weak equivalences in the usual sense.

scholarly journals Homotopy theory of cyclic presheaves

2010 ◽  
Vol 107 (1) ◽  
pp. 30 ◽  
Author(s):  
Sigurd Seteklev ◽  
Paul Arne Østvær
Keyword(s):  
Homotopy Theory ◽  
Local Model ◽  
Simplicial Presheaves ◽  
Model Structures ◽  
Cyclic Sets

We generalize the homotopy theory of cyclic sets to cyclic presheaves on small Grothendieck sites. This is achieved by constructing pointwise and local model structures reminiscent of the homotopy theory of simplicial presheaves.

Stable Homotopy Theory of Simplicial Presheaves

1987 ◽  
Vol 39 (3) ◽  
pp. 733-747 ◽  
Author(s):  
J. F. Jardine
Keyword(s):  
Homotopy Theory ◽  
Homotopy Category ◽  
Stable Homotopy ◽  
Closed Model ◽  
Stable Homotopy Theory ◽  
Simplicial Sets ◽  
Stable Homotopy Category ◽  
Closed Model Category ◽  
Simplicial Presheaves ◽  
Direct Use

Let C be an arbitrary Grothendieck site. The purpose of this note is to show that, with the closed model structure on the category S Pre(C) of simplicial presheaves in hand, it is a relatively simple matter to show that the category S Pre(C)stab of presheaves of spectra (of simplicial sets) satisfies the axioms for a closed model category, giving rise to a stable homotopy theory for simplicial presheaves. The proof is modelled on the corresponding result for simplicial sets which is given in [1], and makes direct use of their Theorem A.7.This result gives a precise description of the associated stable homotopy category Ho(S Pre(C))stab, according to well known results of Quillen [6]. One will recall, however, that it is preferable to have several different descriptions of the stable homotopy category, for the construction of smash products and the like.

Analysis and design of suitable model structures for activated sludge tanks with circulating flow

1999 ◽  
Vol 39 (4) ◽  
pp. 55-60 ◽  
Author(s):  
J. Alex ◽  
R. Tschepetzki ◽  
U. Jumar ◽  
F. Obenaus ◽  
K.-H. Rosenwinkel
Keyword(s):  
Activated Sludge ◽  
Large Scale ◽  
Wastewater Treatment Plants ◽  
Treatment Plant ◽  
High Sensitivity ◽  
Suitable Model ◽  
Model Structure ◽  
Analysis And Design ◽  
Hydraulic Behaviour ◽  
Model Structures

Activated sludge models are widely used for planning and optimisation of wastewater treatment plants and on line applications are under development to support the operation of complex treatment plants. A proper model is crucial for all of these applications. The task of parameter calibration is focused in several papers and applications. An essential precondition for this task is an appropriately defined model structure, which is often given much less attention. Different model structures for a large scale treatment plant with circulation flow are discussed in this paper. A more systematic method to derive a suitable model structure is applied to this case. Results of a numerical hydraulic model are used for this purpose. The importance of these efforts are proven by a high sensitivity of the simulation results with respect to the selection of the model structure and the hydraulic conditions. Finally it is shown, that model calibration was possible only by adjusting to the hydraulic behaviour and without any changes of biological parameters.

scholarly journals One-relator groups and algebras related to polyhedral products

2021 ◽  
pp. 1-20
Author(s):  
Jelena Grbić ◽  
George Simmons ◽  
Marina Ilyasova ◽  
Taras Panov
Keyword(s):  
Homology Group ◽  
Homotopy Theory ◽  
Commutator Subgroup ◽  
Homology Groups ◽  
Homological Characterization ◽  
One Relator Groups ◽  
Combinatorial Condition ◽  
The Moment ◽  
Necessary And Sufficient

We link distinct concepts of geometric group theory and homotopy theory through underlying combinatorics. For a flag simplicial complex $K$ , we specify a necessary and sufficient combinatorial condition for the commutator subgroup $RC_K'$ of a right-angled Coxeter group, viewed as the fundamental group of the real moment-angle complex $\mathcal {R}_K$ , to be a one-relator group; and for the Pontryagin algebra $H_{*}(\Omega \mathcal {Z}_K)$ of the moment-angle complex to be a one-relator algebra. We also give a homological characterization of these properties. For $RC_K'$ , it is given by a condition on the homology group $H_2(\mathcal {R}_K)$ , whereas for $H_{*}(\Omega \mathcal {Z}_K)$ it is stated in terms of the bigrading of the homology groups of $\mathcal {Z}_K$ .

New model structures and projective (injective) cotorsion pairs

2021 ◽  
Author(s):  
Aimin Xu
Keyword(s):  
Positive Integer ◽  
Triangulated Categories ◽  
Model Structure ◽  
Cotorsion Pair ◽  
Flat Dimension ◽  
Gorenstein Projective Module ◽  
Chain Complexes ◽  
Cotorsion Pairs ◽  
Gorenstein Injective ◽  
Model Structures

Let [Formula: see text] be either the category of [Formula: see text]-modules or the category of chain complexes of [Formula: see text]-modules and [Formula: see text] a cofibrantly generated hereditary abelian model structure on [Formula: see text]. First, we get a new cofibrantly generated model structure on [Formula: see text] related to [Formula: see text] for any positive integer [Formula: see text], and hence, one can get new algebraic triangulated categories. Second, it is shown that any [Formula: see text]-strongly Gorenstein projective module gives rise to a projective cotorsion pair cogenerated by a set. Finally, let [Formula: see text] be an [Formula: see text]-module with finite flat dimension and [Formula: see text] a positive integer, if [Formula: see text] is an exact sequence of [Formula: see text]-modules with every [Formula: see text] Gorenstein injective, then [Formula: see text] is injective.

Sign in / Sign up

Export Citation Format

Share Document