Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
Solovjovs Sergejs
Originální název
Functorial semantics of topological theories
Typ
článek v časopise ve Web of Science, Jimp
Jazyk
angličtina
Originální abstrakt
Following the categorical approach to universal algebra through algebraic theories, proposed by F. W. Lawvere in his PhD thesis, this paper aims at introducing a similar setting for general topology. The cornerstone of the new framework is the notion of categorically-algebraic (catalg) topological theory, whose models induce a category of topological structures. We introduce the quasicategory of catalg topological theories and consider its functorial relationships with the quasicategory of the categories of models, in order to provide convenient means for studying topological structures via the properties of their corresponding theories.
Klíčová slova
Algebra, Algebraic theory, Comma category, Categorically-algebraic topology, Poslat topology, Powerset theory, Topological system, Topological theory, Variety
Autoři
Rok RIV
2015
Vydáno
1. 11. 2015
Nakladatel
UNIV SISTAN & BALUCHESTAN
Místo
Iran
ISSN
1735-0654
Periodikum
IRANIAN JOURNAL OF FUZZY SYSTEMS
Ročník
12
Číslo
5
Stát
Íránská islámská republika
Strany od
1
Strany do
43
Strany počet
42
BibTex
@article{BUT126461, author="Sergejs {Solovjovs}", title="Functorial semantics of topological theories", journal="IRANIAN JOURNAL OF FUZZY SYSTEMS", year="2015", volume="12", number="5", pages="1--43", issn="1735-0654" }