Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Functorial semantics of topological theories

Identifikátory výsledku

  • Kód výsledku v 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>

  • Výsledek na webu

  • DOI - Digital Object Identifier

Alternativní jazyky

  • Jazyk výsledku

    angličtina

  • Název v původním jazyce

    Functorial semantics of topological theories

  • Popis výsledku v původním jazyce

    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.

  • Název v anglickém jazyce

    Functorial semantics of topological theories

  • Popis výsledku anglicky

    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.

Klasifikace

  • Druh

    J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

  • CEP obor

    BA - Obecná matematika

  • OECD FORD obor

Návaznosti výsledku

  • Projekt

  • Návaznosti

    S - Specificky vyzkum na vysokych skolach

Ostatní

  • Rok uplatnění

    2015

  • Kód důvěrnosti údajů

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Údaje specifické pro druh výsledku

  • Název periodika

    IRANIAN JOURNAL OF FUZZY SYSTEMS

  • ISSN

    1735-0654

  • e-ISSN

  • Svazek periodika

    12

  • Číslo periodika v rámci svazku

    5

  • Stát vydavatele periodika

    IR - Íránská islámská republika

  • Počet stran výsledku

    42

  • Strana od-do

    1-43

  • Kód UT WoS článku

    000368316600001

  • EID výsledku v databázi Scopus