Related papers: Enriched cofibration categories

We study the relationship between presheaf constructions and free cocompletions in the context of formal category theory, elucidating the coincidence between the two concepts in familiar settings. We show that, in a virtual equipment…

Categories are coreflectively embedded in multicategories via the "discrete cocone" construction, the right adjoint being given by the monoid construction. Furthermore, the adjunction lifts to the "cartesian level": preadditive categories…

We define and develop the infrastructure of homotopical inverse diagrams in categories with attributes. Specifically, given a category with attributes $C$ and an ordered homotopical inverse category $I$, we construct the category with…

For a given group $G$ and a collection of subgroups $\mathcal F$ of $G$, we show that there exist a left induced model structure on the category of right $G$-simplicial sets, in which the weak equivalences and cofibrations are the maps that…

We consider an orbit category of the bounded derived category of a path algebra of type A_n which can be viewed as a -(m+1)-cluster category, for m >= 1. In particular, we give a characterisation of those maximal m-rigid objects whose…

The main objective of this paper is to construct a symmetric monoidal closed model category of coherently commutative monoidal quasi-categories. We construct another model category structure whose fibrant objects are (essentially) those…

For a $C^{*}$-category with a strict $G$-action we construct examples of equivariant coarse homology theories. To this end we first introduce versions of Roe categories of objects in $C^{*}$-categories which are controlled over bornological…

In [math.AT/9907138] we proved that strongly homotopy algebras are homotopy invariant concepts in the category of chain complexes. Our arguments were based on the fact that strongly homotopy algebras are algebras over minimal cofibrant…

We formalize the concept of a centralizer-respecting homomorphism, surjective homomorphisms which are equivariant with respect to taking the centralizer of a subgroup. There is a functor from the category of centralizer-respecting…

In the first part of this paper we show that path categories are enriched over groupoids, in a way that is compatible with a suitable 2-category of path categories. In the second part we introduce a new notion of homotopy exponential and…

In an enriched setting, we show that higher groupoids and higher categories form categories of fibrant objects. The nerve of a differential graded algebra is a higher category in the category of algebraic varieties, where covers are defined…

We give the definitions of model bicategory and $q$-homotopy, which are natural generalizations of the notions of model category and homotopy to the context of bicategories. For any model bicategory $\mathcal{C}$, denote by…

The usual notion of a site fibred over a stack is expanded to a definition of a site C/A fibred over a presheaf of categories A. Presheaves of simplicial sets on the site fibred over a presheaf of categories A are contravariant enriched…

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…

In [1] we introduced the concept of structured space, which is a topological space that locally resembles some algebraic structures. In [2] we proceeded the study of these spaces, developing two cohomology theories. The aim of this paper is…

Let X be a quasi-compact scheme, equipped with an open covering by affine schemes. A quasi-coherent sheaf on X gives rise, by taking sections over the covering sets, to a diagram of modules over the various coordinate rings. The resulting…

Let $\mathcal{E}$ be a weakly idempotent complete exact category with enough injective and projective objects. Assume that $\mathcal{M} \subseteq \mathcal{E}$ is a rigid, contravariantly finite subcategory of $\mathcal{E}$ containing all…

Higher-dimensional category theory is the study of n-categories, operads, braided monoidal categories, and other such exotic structures. Although it can be treated purely as an algebraic subject, it is inherently topological in nature: the…

In this paper we describe the homotopy category of the $A_\infty$categories. To do that we introduce the notion of semi-free $A_\infty$category, which plays the role of standard cofibration. Moreover, we define the non unital $A_\infty$…

The small object argument is a method for transfinitely constructing weak factorization systems originally motivated by homotopy theory. We establish a variant of the small object argument that is enriched over a cofibrantly generated weak…