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

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

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n11http://localhost/temp/predkladatel/
n16http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n15http://linked.opendata.cz/resource/domain/vavai/projekt/
n9http://linked.opendata.cz/ontology/domain/vavai/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n5http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n7http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n4http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14310%2F05%3A00012504%21RIV10-GA0-14310___/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n14http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14310%2F05%3A00012504%21RIV10-GA0-14310___
rdf:type
n9:Vysledek skos:Concept
dcterms:description
There is shown that the homotopy category can be assigned to any category equipped with a weak factorization system. A connection with the open map approach to bisimulations (proposed by Joyal, Nielsen and Winskel) is discussed. There is shown that the homotopy category can be assigned to any category equipped with a weak factorization system. A connection with the open map approach to bisimulations (proposed by Joyal, Nielsen and Winskel) is discussed.
dcterms:title
Weak factorizations, fractions and homotopies Weak factorizations, fractions and homotopies
skos:prefLabel
Weak factorizations, fractions and homotopies Weak factorizations, fractions and homotopies
skos:notation
RIV/00216224:14310/05:00012504!RIV10-GA0-14310___
n3:aktivita
n7:P
n3:aktivity
P(GA201/02/0148)
n3:cisloPeriodika
2
n3:dodaniDat
n14:2010
n3:domaciTvurceVysledku
n16:3907562
n3:druhVysledku
n18:J
n3:duvernostUdaju
n12:S
n3:entitaPredkladatele
n4:predkladatel
n3:idSjednocenehoVysledku
551312
n3:idVysledku
RIV/00216224:14310/05:00012504
n3:jazykVysledku
n17:eng
n3:klicovaSlova
weak factorization system; bisimulation; homotopy
n3:klicoveSlovo
n5:bisimulation n5:weak%20factorization%20system n5:homotopy
n3:kodStatuVydavatele
BE - Belgické království
n3:kontrolniKodProRIV
[A4121A3A6198]
n3:nazevZdroje
Applied Categorical Structures
n3:obor
n13:BA
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
2
n3:projekt
n15:GA201%2F02%2F0148
n3:rokUplatneniVysledku
n14:2005
n3:svazekPeriodika
13
n3:tvurceVysledku
Kurz, Alexander Rosický, Jiří
n3:wos
000228868200005
s:issn
0927-2852
s:numberOfPages
20
n11:organizacniJednotka
14310