This HTML5 document contains 41 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/
n14http://localhost/temp/predkladatel/
n15http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n11http://linked.opendata.cz/ontology/domain/vavai/
n16http://linked.opendata.cz/resource/domain/vavai/zamer/
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#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
n18http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F68407700%3A21230%2F09%3A03154635%21RIV09-MSM-21230___/
xsdhhttp://www.w3.org/2001/XMLSchema#
n10http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n9http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F68407700%3A21230%2F09%3A03154635%21RIV09-MSM-21230___
rdf:type
n11:Vysledek skos:Concept
dcterms:description
Zavádíme pojem doktríny jakožto jednotného prostředí pro studium slabých pojmů representability. Protože (ko)limity lze definovat pomocí representability, umožňuje pojem doktríny definovat a studovat oslabené (ko)limitní pojmy. Pokud je danou doktrínou například doktrína kozúplnění na kolimity jisté třídy, existence oslabených limit v kategorii ma blízký vztah ke skutečným limitám ve volných kozúplněních. Analogický vztah platí mezi promonoidálními strukturami na kategorii a skutečnými monoidálními strukturami na volných kozúplněních. We propose the notion of a doctrine to provide a uniform environment for studying weak representability concepts. Since (co)limits are representability notions, this allows us to define and study weakened (co)limit concepts. For example, in case the doctrine in question is the doctrine of free cocompletions under colimits of some class, the existence of weakened limits in the ambient category is closely related to honest limits in free cocompletions. Similarly, we can relate certain weak promonoidal structures on a category to honest monoidal structures on a free cocompletion. We propose the notion of a doctrine to provide a uniform environment for studying weak representability concepts. Since (co)limits are representability notions, this allows us to define and study weakened (co)limit concepts. For example, in case the doctrine in question is the doctrine of free cocompletions under colimits of some class, the existence of weakened limits in the ambient category is closely related to honest limits in free cocompletions. Similarly, we can relate certain weak promonoidal structures on a category to honest monoidal structures on a free cocompletion.
dcterms:title
Representability Relative to a Doctrine Representability Relative to a Doctrine Representabilita vzhledem k doktríně
skos:prefLabel
Representability Relative to a Doctrine Representability Relative to a Doctrine Representabilita vzhledem k doktríně
skos:notation
RIV/68407700:21230/09:03154635!RIV09-MSM-21230___
n3:aktivita
n5:Z
n3:aktivity
Z(MSM6840770014)
n3:cisloPeriodika
XLX-1
n3:dodaniDat
n9:2009
n3:domaciTvurceVysledku
n15:1462571
n3:druhVysledku
n8:J
n3:duvernostUdaju
n17:S
n3:entitaPredkladatele
n18:predkladatel
n3:idSjednocenehoVysledku
339008
n3:idVysledku
RIV/68407700:21230/09:03154635
n3:jazykVysledku
n10:eng
n3:klicovaSlova
multilimit; weighted limit; promonoidal structure
n3:klicoveSlovo
n4:promonoidal%20structure n4:multilimit n4:weighted%20limit
n3:kodStatuVydavatele
FR - Francouzská republika
n3:kontrolniKodProRIV
[61030C60C823]
n3:nazevZdroje
Cahiers de topologie et geometrie differentielle categoriques
n3:obor
n13:BA
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
2
n3:rokUplatneniVysledku
n9:2009
n3:svazekPeriodika
2009
n3:tvurceVysledku
Karazeris, P. Velebil, Jiří
n3:zamer
n16:MSM6840770014
s:issn
0008-0004
s:numberOfPages
20
n14:organizacniJednotka
21230