Functorial semantics of topological theories
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26210%2F15%3APU119472" target="_blank" >RIV/00216305:26210/15:PU119472 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Functorial semantics of topological theories
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2015
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
IRANIAN JOURNAL OF FUZZY SYSTEMS
ISSN
1735-0654
e-ISSN
—
Volume of the periodical
12
Issue of the periodical within the volume
5
Country of publishing house
IR - IRAN, ISLAMIC REPUBLIC OF
Number of pages
42
Pages from-to
1-43
UT code for WoS article
000368316600001
EID of the result in the Scopus database
—