This HTML5 document contains 45 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n17http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n6http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F68407700%3A21230%2F11%3A00192735%21RIV15-GA0-21230___/
n21http://purl.org/net/nknouf/ns/bibtex#
n12http://localhost/temp/predkladatel/
n16http://linked.opendata.cz/resource/domain/vavai/projekt/
n10http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n15http://linked.opendata.cz/ontology/domain/vavai/
n24http://linked.opendata.cz/resource/domain/vavai/zamer/
n20https://schema.org/
shttp://schema.org/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
rdfshttp://www.w3.org/2000/01/rdf-schema#
skoshttp://www.w3.org/2004/02/skos/core#
n11http://bibframe.org/vocab/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n23http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n7http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n19http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n22http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n5http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F68407700%3A21230%2F11%3A00192735%21RIV15-GA0-21230___
rdf:type
n15:Vysledek skos:Concept
rdfs:seeAlso
http://www.springerlink.com/content/978-3-642-22943-5/?MUD=MP&sort=p_OnlineDate&sortorder=desc
dcterms:description
The category Rel(Set) of sets and relations can be described as a category of spans and as the Kleisli category for the powerset monad. A set-functor can be lifted to a functor on Rel(Set) iff it preserves weak pullbacks. We show that these results extend to the enriched setting, if we replace sets by posets or preorders. Preservation of weak pullbacks becomes preservation of exact lax squares. As an application we present Moss’s coalgebraic over posets The category Rel(Set) of sets and relations can be described as a category of spans and as the Kleisli category for the powerset monad. A set-functor can be lifted to a functor on Rel(Set) iff it preserves weak pullbacks. We show that these results extend to the enriched setting, if we replace sets by posets or preorders. Preservation of weak pullbacks becomes preservation of exact lax squares. As an application we present Moss’s coalgebraic over posets
dcterms:title
Relation liftings on preorders and posets Relation liftings on preorders and posets
skos:prefLabel
Relation liftings on preorders and posets Relation liftings on preorders and posets
skos:notation
RIV/68407700:21230/11:00192735!RIV15-GA0-21230___
n4:aktivita
n9:Z n9:P
n4:aktivity
P(GAP202/11/1632), Z(AV0Z10300504)
n4:dodaniDat
n5:2015
n4:domaciTvurceVysledku
n10:1462571
n4:druhVysledku
n22:D
n4:duvernostUdaju
n7:S
n4:entitaPredkladatele
n6:predkladatel
n4:idSjednocenehoVysledku
226378
n4:idVysledku
RIV/68407700:21230/11:00192735
n4:jazykVysledku
n19:eng
n4:klicovaSlova
algebra
n4:klicoveSlovo
n23:algebra
n4:kontrolniKodProRIV
[FF5CBC287835]
n4:mistoKonaniAkce
Winchester
n4:mistoVydani
Berlin
n4:nazevZdroje
Proceedings of CALCO 2011
n4:obor
n14:BA
n4:pocetDomacichTvurcuVysledku
1
n4:pocetTvurcuVysledku
4
n4:projekt
n16:GAP202%2F11%2F1632
n4:rokUplatneniVysledku
n5:2011
n4:tvurceVysledku
Petrisan, D. Kurz, A. Bílková, M. Velebil, Jiří
n4:typAkce
n17:WRD
n4:zahajeniAkce
2011-08-30+02:00
n4:zamer
n24:AV0Z10300504
s:issn
0302-9743
s:numberOfPages
15
n11:doi
10.1007/978-3-642-22944-2_9
n21:hasPublisher
Springer-Verlag
n20:isbn
978-3-642-22943-5
n12:organizacniJednotka
21230