Search

Let $A$ and $B$ be rings, $U$ a $(B,A)$-bimodule and $T=\begin{pmatrix} A&0\\U&B \end{pmatrix}$ the triangular matrix ring. In this paper, several notions in relative Gorenstein algebra over a triangular matrix ring are investigated. We first study how to construct w-tilting (tilting, semidualizing) over $T$ using the corresponding ones over $A$ and $B$. We show that when $U$ is relative (weakly) compatible we are able to describe the structure of $G_C$-projective modules over $T$. As an application, we study when a morphism in $T$-Mod has a special $G_CP(T)$-precover and when the class $G_CP(T)$ is a special precovering class. In addition, we study the relative global dimension of $T$. In some cases, we show that it can be computed from the relative global dimensions of $A$ and $B$. We end the paper with a counterexample to a result that characterizes when a $T$-module has a finite projective dimension., 39 pages

We prove three new versions of Stone Duality. The main version is the following: the category of Kolmogorov locally small spaces and bounded continuous mappings is equivalent to the category of spectral spaces with decent lumps and with bornologies in the lattices of compact (not necessarily Hausdorff) open sets as objects and spectral mappings respecting the decent lumps and satisfying a boundedness condition as morphisms as well as it is dually equivalent to the category of bounded distributive lattices with bornologies and with decent lumps of prime filters as objects and homomorphisms of bounded lattices respecting those decent lumps and satisfying a domination condition as morphisms. Some theory of strongly locally spectral spaces is developed., Comment: 17 pages

In this paper, we prove that for any pair of weak Hopf monoids H and B in a symmetric monoidal category where every idempotent morphism splits, the category of H-B-Long dimodules HBLong is monoidal. Moreover, if H is quasitriangular and B coquasitriangular, we also prove that HBLong is braided. As a consequence of this result, we obtain that if H is triangular and B cotriangular, HBLong is an example of a symmetric monoidal category.

The meaning of information can be understood as a relationship between information systems. This study presents a brief outline of theoretical tools for the analysis of this relationship. Considering the informational character of reality, it is natural to extend the relationships between signs to include the concept of meaning as another instance of a relation between the informational entities of a sign and its denotation. However, this approach to the semantics of information does not require any specific ontological commitment, as the intention is always directed towards the object presented to us as a structural manifestation of information. Whether there is something that differs from this informational structure and is beyond our capacity to comprehend directly, or whether there are objects that are the result of our own active engagement in their formation, is a matter of ontological position, with respect to which our approach is neutral. The experience of logic tells us about the dangers of self-reference and the problem of the non-definability of the truth, demonstrated by Tarski. To avoid similar problems, we need precise theoretical tools to analyze relationships between information systems and between instances of information involved in semantics. These tools are also necessary for the definition and analysis of levels of informational abstraction that extend beyond the traditional linguistic and logical context.

In the present paper, we propose a new axiomatic approach to nonstandard analysis and its application to the general theory of spatial structures in terms of category theory. Our framework is based on the idea of internal set theory, while we make use of an endofunctor $\mathcal{U}$ on a topos of sets $S$ together with a natural transformation $\upsilon$, instead of the terms as "standard", "internal" or "external". Moreover, we propose a general notion of a space called $\mathcal{U}$-space, and the category $\mathcal{U}space$ whose objects are $\mathcal{U}$-spaces and morphisms are functions called $\mathcal{U}$-spatial morphisms. The category $\mathcal{U}Space$, which is shown to be cartesian closed, will give a unified viewpoint toward topological and coarse geometric structure. It will also useful to study symmetries/asymmetries of the systems with infinite degrees of freedom such as quantum fields., Comment: 11 pages

Scientific studies of consciousness rely on objects whose existence is assumed to be independent of any consciousness. On the contrary, we assume consciousness to be fundamental, and that one of the main features of consciousness is characterized as being other-dependent. We set up a framework which naturally subsumes this feature by defining a compact closed category where morphisms represent conscious processes. These morphisms are a composition of a set of generators, each being specified by their relations with other generators, and therefore co-dependent. The framework is general enough and fits well into a compositional model of consciousness. Interestingly, we also show how our proposal may become a step towards avoiding the hard problem of consciousness, and thereby address the combination problem of conscious experiences., 19 pages

In this paper, first we show that under the assumption of the center of h being zero, diagonal non-abelian extensions of a regular Hom-Lie algebra g by a regular Hom-Lie algebra h are in one-to-one correspondence with Hom-Lie algebra morphisms from g to Out ( h ) . Then for a general Hom-Lie algebra morphism from g to Out ( h ) , we construct a cohomology class as the obstruction of existence of a non-abelian extension that induces the given Hom-Lie algebra morphism.

Two categories of lower and upper lattice-valued F-transforms with fuzzy relations as morphisms are introduced, as generalisations of standard categories of F-transforms with maps as morphisms. Although F-transforms are defined using special structures called spaces with fuzzy partitions, it is shown that these categories are identical to the relational variants of the two categories of semimodule homomorphisms where these fuzzy partitions do not occur. This a priori independence of the F-transform on spaces with fuzzy partitions makes it possible, for example, to use a simple matrix calculus to calculate F-transforms, or to determine the image of F-transforms in relational morphisms of the two categories.

Category theory allows one to treat logic and set theory as internal to certain categories. What is internal to SET is 2-valued logic with classical Zermelo&ndash, Fraenkel set theory, while for general toposes it is typically intuitionistic logic and set theory. We extend symmetries of smooth manifolds with atlases defined in Set towards atlases with some of their local maps in a topos T . In the case of the Basel topos and R 4 , the local invariance with respect to the corresponding atlases implies exotic smoothness on R 4 . The smoothness structures do not refer directly to Casson handless or handle decompositions, which may be potentially useful for describing the so far merely putative exotic R 4 underlying an exotic S 4 (should it exist). The tovariance principle claims that (physical) theories should be invariant with respect to the choice of topos with natural numbers object and geometric morphisms changing the toposes. We show that the local T -invariance breaks tovariance even in the weaker sense.

A Structure Theorem for Protori is derived for the category of finite-dimensional protori(compact connected abelian groups), which details the interplay between the properties of density, discreteness, torsion, and divisibility within a finite-dimensional protorus. The spectrum of resolutions for a finite-dimensional protorus are parameterized in the structure theorem by the dual category of finite rank torsion-free abelian groups. A consequence is a universal resolution for a finite-dimensional protorus, independent of a choice of a particular subgroup. A resolution is also given strictly in terms of the path component of the identity and the union of all zero-dimensional subgroups. The structure theorem is applied to show that a morphism of finite-dimensional protori lifts to a product morphism between products of periodic locally compact groups and real vector spaces., Comment: arXiv admin note: text overlap with arXiv:1903.08022

In the present paper we study the generalized Hyers–Ulam stability of the generalized trigonometric functional equations f ( x y ) + μ ( y ) f ( x σ ( y ) ) = 2 f ( x ) g ( y ) + 2 h ( y ) , x , y ∈ S ; f ( x y ) + μ ( y ) f ( x σ ( y ) ) = 2 f ( y ) g ( x ) + 2 h ( x ) , x , y ∈ S , where S is a semigroup, σ : S ⟶ S is a involutive morphism, and μ : S ⟶ C is a multiplicative function such that μ ( x σ ( x ) ) = 1 for all x ∈ S . As an application, we establish the generalized Hyers–Ulam stability theorem on amenable monoids and when σ is an involutive automorphism of S.

Let $\mathcal C$ be a subcategory of the category of topologized semigroups and their partial continuous homomorphisms. An object $X$ of the category ${\mathcal C}$ is called ${\mathcal C}$-closed if for each morphism $f:X\to Y$ of the category ${\mathcal C}$ the image $f(X)$ is closed in $Y$. In the paper we detect topological groups which are $\mathcal C$-closed for the categories $\mathcal C$ whose objects are Hausdorff topological (semi)groups and whose morphisms are isomorphic topological embeddings, injective continuous homomorphisms, continuous homomorphisms, or partial continuous homomorphisms with closed domain., 26 pages