ON ALGEBRAIC AND COALGEBRAIC CATEGORIES OF VARIETY-BASED TOPOLOGICAL SYSTEMS

author

  • Sergey A. Solovyov Department of Mathematics, University of Latvia, Zellu iela 8, LV-1002 Riga, Latvia and Institute of Mathematics and Computer Science, University of Latvia, Raina bulvaris 29, LV-1459 Riga, Latvia
Abstract:

Motivated by the recent study on categorical properties of latticevalued topology, the paper considers a generalization of the notion of topological system introduced by S. Vickers, providing an algebraic and a coalgebraic category of the new structures. As a result, the nature of the category   TopSys   of S. Vickers gets clari ed, and a metatheorem is stated, claiming that (latticevalued) topology can be embedded into algebra.

Download for Free

Sign up for free to access the full text

Already have an account?login

similar resources

on algebraic and coalgebraic categories of variety-based topological systems

motivated by the recent study on categorical properties of latticevalued topology, the paper considers a generalization of the notion of topological system introduced by s. vickers, providing an algebraic and a coalgebraic category of the new structures. as a result, the nature of the category   topsys   of s. vickers gets clari ed, and a metatheorem is stated, claiming that (latticevalu...

full text

Categories of Coalgebraic Games

We consider a general notion of coalgebraic game, whereby games are viewed as elements of a final coalgebra. This allows for a smooth definition of game operations (e.g. sum, negation, and linear implication) as final morphisms. The notion of coalgebraic game subsumes different notions of games, e.g. possibly non-wellfounded Conway games and games arising in Game Semantics à la [AJM00]. We defi...

full text

designing unmanned aerial vehicle based on neuro-fuzzy systems

در این پایان نامه، کنترل نرو-فازی در پرنده هدایت پذیر از دور (پهپاد) استفاده شده است ابتدا در روش پیشنهادی اول، کنترل کننده نرو-فازی توسط مجموعه اطلاعات یک کنترل کننده pid به صورت off-line آموزش دیده است و در روش دوم یک کنترل کننده نرو-فازی on-line مبتنی بر شناسایی سیستم توسط شبکه عصبی rbf پیشنهاد شده است. سپس کاربرد این کنترل کننده در پهپاد بررسی شده است و مقایسه ای ما بین کنترل کننده های معمو...

On finite approximations of topological algebraic systems

We introduce and discuss a concept of approximation of a topological algebraic system A by finite algebraic systems from a given class K. If A is discrete, this concept agrees with the familiar notion of a local embedding of A in a class K of algebraic systems. One characterization of this concept states that A is locally embedded in K iff it is a subsystem of an ultraproduct of systems from K....

full text

Algebraic and topological aspects of quasi-prime ideals

In this paper, we define the new notion of quasi-prime ideal which generalizes at once both prime ideal and primary ideal notions. Then a natural topology on the set of quasi-prime ideals of a ring is introduced which admits the Zariski topology as a subspace topology. The basic properties of the quasi-prime spectrum are studied and several interesting results are obtained. Specially, it is pro...

full text

On fuzzification of topological categories

Following the point-set lattice-theoretic (poslat) approach to topology of S. E. Rodabaugh [11], we introduced a more general way to do categorical (fuzzy) topology under the name of categorically-algebraic (catalg) topology [12], which unified many lattice-valued topological settings, and provided the means of intercommunication between different such frameworks. Moreover, motivated by the res...

full text

My Resources

Save resource for easier access later

Save to my library Already added to my library

{@ msg_add @}


Journal title

volume 8  issue 5

pages  13- 30

publication date 2011-10-06

{@ msg @}

By following a journal you will be notified via email when a new issue of this journal is published.

Keywords

Hosted on Doprax cloud platform doprax.com

copyright © 2015-2023