Applied Categorical Structures最新文献

We develop a hierarchy of semilattice bases (S-bases) for frames. For a given (unbounded) meet-semilattice A, we analyze the interval in the coframe of sublocales of the frame of downsets of A formed by all frames with the S-base A. We study various degrees of completeness of A, which generalize the concepts of extremally disconnected and basically disconnected frames. We introduce the concepts of D-bases and L-bases, as well as their bounded counterparts, and show how our results specialize and sharpen in these cases. Classic examples that are covered by our approach include zero-dimensional, completely regular, and coherent frames, allowing us to provide a new perspective on these well-studied classes of frames, as well as their spatial counterparts.

The Cohen–Macaulay Auslander algebra of an algebra A is defined as the endomorphism algebra of the direct sum of all indecomposable Gorenstein projective A-modules. The Cohen–Macaulay Auslander algebra of any string algebra is explicitly constructed in this paper. Moreover, it is shown that a class of special string algebras, which are called to be string algebras satisfying the G-condition, are representation-finite if and only if their Cohen–Macaulay Auslander algebras are representation-finite. As applications, it is proved that the derived representation type of gentle algebras coincide with their Cohen–Macaulay Auslander algebras.

We treat the problem of lifting bicategories into double categories through categories of vertical morphisms. We consider structures on decorated 2-categories allowing us to formally implement arguments of sliding certain squares along vertical subdivisions in double categories. We call these structures (pi _2)-indexings. We present a construction associating, to every (pi _2)-indexing on a decorated 2-category, a length 1 double internalization.

In this paper, we develop the notion of presentability in the parametrised homotopy theory framework of Barwick et al. (Parametrized higher category theory and higher algebra: a general introduction, 2016) over orbital categories. We formulate and prove a characterisation of parametrised presentable categories in terms of its associated straightening. From this we deduce a parametrised adjoint functor theorem from the unparametrised version, prove various localisation results, and we record the interactions of the notion of presentability here with multiplicative matters. Such a theory is of interest for example in equivariant homotopy theory, and we will apply it in Hilman (Parametrised noncommutative motives and cubical descent in equivariant algebraic K-theory, 2022) to construct the category of parametrised noncommutative motives for equivariant algebraic K-theory.

(Completely regular) locales generalize (Tychonoff) spaces; indeed, the passage from a locale to its spatial sublocale is a well understood coreflection. But a locale also possesses an equally important pointless sublocale, and with morphisms suitably restricted, the passage from a locale to its pointless sublocale is also a coreflection. Our main theorem is that every locale can be uniquely represented as a subdirect product of its pointless and spatial parts, again with suitably restricted projections. We then exploit this representation by showing that any locale is determined by (what may be described as) the placement of its points in its pointless part.

We prove that the 2-category of action Lie groupoids localised in the following three different ways yield equivalent bicategories: localising at equivariant weak equivalences à la Pronk, localising using surjective submersive equivariant weak equivalences and anafunctors à la Roberts, and localising at all weak equivalences. These constructions generalise the known case of representable orbifold groupoids. We also show that any weak equivalence between action Lie groupoids is isomorphic to the composition of two particularly nice forms of equivariant weak equivalences.

It is well-known that DG-enhancements of the unbounded derived category ({text {D}}_{qc}(X)) of quasi-coherent sheaves on a scheme X are all equivalent to each other. Here we present an explicit model which leads to applications in deformation theory. In particular, we shall describe three models for derived endomorphisms of a quasi-coherent sheaf (mathcal {F}) on a finite-dimensional Noetherian separated scheme (even if (mathcal {F}) does not admit a locally free resolution). Moreover, these complexes are endowed with DG-Lie algebra structures, which we prove to control infinitesimal deformations of (mathcal {F}).

We categorify cocompleteness results of monad theory, in the context of pseudomonads. We first prove a general result establishing that, in any 2-category, weighted bicolimits can be constructed from oplax bicolimits and bicoequalizers of codescent objects. After prerequisites on pseudomonads and their pseudo-algebras, we give a 2-dimensional Linton theorem reducing bicocompleteness of 2-categories of pseudo-algebras to existence of bicoequalizers of codescent objects. Finally we prove this condition to be fulfilled in the case of a bifinitary pseudomonad, ensuring bicocompleteness.

We study Morita equivalence and Morita duality for rings with local units. We extend Auslander’s results on the theory of Morita equivalence and the Azumaya–Morita duality theorem to rings with local units. As a consequence, we give a version of Morita theorem and Azumaya–Morita duality theorem over rings with local units in terms of their full subcategory of finitely generated projective unitary modules and full subcategory of finitely generated injective unitary modules.

In this article, we prove Grothendieck’s Vanishing and Non-vanishing Theorems of local cohomology objects in the non-commutative algebraic geometry framework of Artin and Zhang. Let k be a field of characteristic zero and ({mathscr {S}}_{k}) be a strongly locally noetherian k-linear Grothendieck category. For a commutative noetherian k-algebra R, let ({mathscr {S}}_R) denote the category of R-objects in ({mathscr {S}}_k) obtained through a non-commutative base change by R of the abelian category ({mathscr {S}}_{k}). First, we establish Grothendieck’s Vanishing Theorem for any object ({mathscr {M}}) in ({mathscr {S}}_{R}). Further, if R is local and ({mathscr {S}}_{k}) is Hom-finite, we prove Non-vanishing Theorem for any finitely generated flat object ({mathscr {M}}) in ({mathscr {S}}_R).