Applied Categorical Structures最新文献

Let A be a commutative noetherian local DG-ring with bounded cohomology. For local Cohen–Macaulay DG-modules with constant amplitude, we obtain an explicit formula for the sequential depth, show that Cohen–Macaulayness is stable under localization and give several equivalent definitions of maximal local Cohen–Macaulay DG-modules over local Cohen–Macaulay DG-rings. We also provide some characterizations of Gorenstein DG-rings by projective and injective dimensions of DG-modules.

Minimal models of chain complexes associated with free torus actions on spaces have been extensively studied in the literature. In this paper, we discuss these constructions using the language of operads. The main goal of this paper is to define a new Koszul operad that has projections onto several of the operads used in these minimal model constructions.

In this paper we provide purely categorical proofs of two important results of structural Ramsey theory: the result of M. Sokić that the free product of Ramsey classes is a Ramsey class, and the result of M. Bodirsky, M. Pinsker and T. Tsankov that adding constants to the language of a Ramsey class preserves the Ramsey property. The proofs that we present here ignore the model-theoretic background of these statements. Instead, they focus on categorical constructions by which the classes can be constructed generalizing the original statements along the way. It turns out that the restriction to classes of relational structures, although fundamental for the original proof strategies, is not relevant for the statements themselves. The categorical proofs we present here remove all restrictions on the signature of first-order structures and provide the information not only about the Ramsey property but also about the Ramsey degrees.

It is often stated that Frobenius quantales are necessarily unital. By taking negation as a primitive operation, we can define Frobenius quantales that may not have a unit. We develop the elementary theory of these structures and show, in particular, how to define nuclei whose quotients are Frobenius quantales. This yields a phase semantics and a representation theorem via phase quantales. Important examples of these structures arise from Raney’s notion of tight Galois connection: tight endomaps of a complete lattice always form a Girard quantale which is unital if and only if the lattice is completely distributive. We give a characterisation and an enumeration of tight endomaps of the diamond lattices (M_n) and exemplify the Frobenius structure on these maps. By means of phase semantics, we exhibit analogous examples built up from trace class operators on an infinite dimensional Hilbert space. Finally, we argue that units cannot be properly added to Frobenius quantales: every possible extention to a unital quantale fails to preserve negations.

In this work we propose a realization of Lurie’s prediction that inner fibrations (p: X rightarrow A) are classified by A-indexed diagrams in a “higher category” whose objects are (infty )-categories, morphisms are correspondences between them and higher morphisms are higher correspondences. We will obtain this as a corollary of a more general result which classifies all simplicial maps between ordinary simplicial sets in a similar fashion. Correspondences between simplicial sets (and (infty )-categories) are a generalization of the concept of profunctor (or bimodule) pertaining to categories. While categories, functors and profunctors are organized in a double category, we will exhibit simplicial sets, simplicial maps, and correspondences as part of a simplicial category. This allows us to make precise statements and provide proofs. Our main tool is the language of double categories, which we use in the context of simplicial categories as well.

This paper studies the asymptotic product of two metric spaces. It is well defined if one of the spaces is visual or if both spaces are geodesic. In this case the asymptotic product is the pullback of a limit diagram in the coarse category. Using this product construction we can define a homotopy theory on coarse metric spaces in a natural way. We prove that all finite colimits exist in the coarse category.

We introduce intermediate commutators and study their degrees. We define ((q, {}))-capable groups and prove that a group G is ((q, {}))-capable if and only if (Z^{wedge }_{(q, {})}(G)=1).

Let ({mathbb {A}}) be a 2-category with suitable opcomma objects and pushouts. We give a direct proof that, provided that the codensity monad of a morphism p exists and is preserved by a suitable morphism, the factorization given by the lax descent object of the two-dimensional cokernel diagram of p is up to isomorphism the same as the semantic factorization of p, either one existing if the other does. The result can be seen as a counterpart account to the celebrated Bénabou–Roubaud theorem. This leads in particular to a monadicity theorem, since it characterizes monadicity via descent. It should be noted that all the conditions on the codensity monad of p trivially hold whenever p has a left adjoint and, hence, in this case, we find monadicity to be a two-dimensional exact condition on p, namely, to be an effective faithful morphism of the 2-category ({mathbb {A}}).