相关论文: McKinsey-Tarski algebras and Raney extensions

We introduce proximity morphisms between MT-algebras and show that the resulting category is equivalent to the category of frames. This is done by utilizing the Funayama envelope of a frame, which is viewed as the $T_D$-hull. Our results…

McKinsey and Tarski initiated the study of interior algebras. We propose complete interior algebras as an alternative pointfree approach to topology. We term these algebras McKinsey-Tarski algebras or simply MT-algebras. Associating with…

We explore a pointfree approach to spaces which extends the category of $T_0$ spaces. Our pointfree objects are Raney extensions, pairs $(L,C)$ where $C$ is a coframe, $L\subseteq C$ is a frame which meet-generates it, and the inclusion…

We introduce a pointfree version of Raney duality. Our objects are \emph{Raney extensions} of frames, pairs $(L,C)$ where $C$ is a coframe and $L\subseteq C$ is a subframe that meet-generates it and whose embedding preserves strongly exact…

In a number of recent papers, (k+l)-graphs have been constructed from k-graphs by inserting new edges in the last l dimensions. These constructions have been motivated by C*-algebraic considerations, so they have not been treated…

Since the time when the first optical instruments have been invented, an idea that the visible image of an object under observation depends on tools of observation became commonly assumed in physics. A way to formalize it in mathematics is…

We introduce categories of weak factorization algebras and factorization spaces, and prove that they are equivalent to the categories of ordinary factorization algebras and spaces, respectively. This allows us to define the pullback of a…

Let k be an algebraically closed field. Given an extension A : B of finite-dimensional k- algebras, we establish criteria ensuring that the representation-theoretic notion of polynomial growth is preserved under ascent and descent. These…

We extend the classical notion of a Reedy category so as to allow non-trivial automorphisms. Our extension includes many important examples occuring in topology such as Segal's category Gamma, or the total category of a crossed simplicial…

Classically, Tannaka-Krein duality allows us to reconstruct a (co)algebra from its category of representation. In this paper we present an approach that allows us to generalise this theory to the setting of Banach spaces. This leads to…

We introduce a notion of ternary $F$-manifold algebras which is a generalization of $F$-manifold algebras. We study representation theory of ternary $F$-manifold algebras. In particular, we introduce a notion of dual representation which…

We show how the $\tau$-cluster morphism category may be defined in terms of the wall-and-chamber structure of an algebra. This geometric perspective leads to a simplified proof that the category is well-defined.

The purpose of this paper is extend the notion of morphism of groupoids introduced by Zakrzewski to locally compact $\sigma$-compact groupoids endowed with Haar systems and to use the extension to construct a covariant functor from this…

An `algebraic' approach to M-theory is briefly reviewed, and a proposal is made for a similar algebraic structure underlying the $T^9$ compactification of `M(embrane) theory', i.e. the M(atrix) model with area-preserving diffeomorphism…

We provide a new construction of Huber's universal compactification in the case of the structure morphism of a quasi-compact, separated rigid analytic space over a non-archimedean field. We make use of Raynaud's theory of formal models and…

The classical theory of prolongation of G-structures was generalized by N. Tanaka to a wide class of geometric structures (Tanaka structures), which are defined on a non-holonomic distribution. Examples of Tanaka structures include…

In this paper we develop a general representation theory for mv-algebras. We furnish the appropriate categorical background to study this problem. Our guide line is the theory of classifying topoi of coherent extensions of universal algebra…

Given a symplectic manifold M, we consider a category with objects finite ordered families of Lagrangian submanifolds of M (subject to certain additional constraints) and with morphisms Lagrangian cobordisms relating them. We construct a…

We propose the notion of association schemoids generalizing that of association schemes from small categorical points of view. In particular, a generalization of the Bose-Mesner algebra of an association scheme appears as a subalgebra in…

In 2011, the first author introduced (relative) Riemann-Zariski spaces corresponding to a morphism of schemes and established their basic properties. In this paper we clarify that theory and extend it to morphisms between algebraic spaces.…