Enriched Logical Connections

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F13%3A00206170" target="_blank" >RIV/68407700:21230/13:00206170 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/s10485-011-9267-y" target="_blank" >http://dx.doi.org/10.1007/s10485-011-9267-y</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/s10485-011-9267-y" target="_blank" >10.1007/s10485-011-9267-y</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Enriched Logical Connections

Popis výsledku v původním jazyce

Abstract: In the setting of enriched category theory, we describe dual adjunctions of the form Ldashv R:Spa^op --> Alg between the dual of the category Spa of ``spaces'' and the category Alg of ``algebras'' that arise from a schizophrenic object Omega, which is both an ``algebra'' and a ``space''. We call such adjunctions logical connections. We prove that the exact nature of Omega is that of a module that allows to lift optimally the structure of a ``space'' and an ``algebra'' to certain diagrams. Ourapproach allows to give a unified framework known from logical connections over the category of sets and analyzed, e.g., by Hans Porst and Walter Tholen, with future applications of logical connections in coalgebraic logic and elsewhere, where typically,both the category of ``spaces'' and the category of ``algebras'' consist of ``structured presheaves`'.

Název v anglickém jazyce

Enriched Logical Connections

Popis výsledku anglicky

Abstract: In the setting of enriched category theory, we describe dual adjunctions of the form Ldashv R:Spa^op --> Alg between the dual of the category Spa of ``spaces'' and the category Alg of ``algebras'' that arise from a schizophrenic object Omega, which is both an ``algebra'' and a ``space''. We call such adjunctions logical connections. We prove that the exact nature of Omega is that of a module that allows to lift optimally the structure of a ``space'' and an ``algebra'' to certain diagrams. Ourapproach allows to give a unified framework known from logical connections over the category of sets and analyzed, e.g., by Hans Porst and Walter Tholen, with future applications of logical connections in coalgebraic logic and elsewhere, where typically,both the category of ``spaces'' and the category of ``algebras'' consist of ``structured presheaves`'.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/GAP202%2F11%2F1632" target="_blank" >GAP202/11/1632: Algebraické metody v teorii důkazů</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2013

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ů

Název periodika

Applied Categorical Structures

ISSN

0927-2852

e-ISSN

—

Svazek periodika

21

Číslo periodika v rámci svazku

4

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

29

Strana od-do

349-377

Kód UT WoS článku

000323901400002

EID výsledku v databázi Scopus

—