Detail publikace

Functorial semantics of topological theories

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

Solovjovs Sergejs

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"
}