Attributes | Values |
---|
rdf:type
| |
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. (cs)
- 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. (en)
|
Title
| - Representability Relative to a Doctrine
- Representabilita vzhledem k doktríně (cs)
- Representability Relative to a Doctrine (en)
|
skos:prefLabel
| - Representability Relative to a Doctrine
- Representabilita vzhledem k doktríně (cs)
- Representability Relative to a Doctrine (en)
|
skos:notation
| - RIV/68407700:21230/09:03154635!RIV09-MSM-21230___
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| |
http://linked.open...iv/cisloPeriodika
| |
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/68407700:21230/09:03154635
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - multilimit; weighted limit; promonoidal structure (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...odStatuVydavatele
| - FR - Francouzská republika
|
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...i/riv/nazevZdroje
| - Cahiers de topologie et geometrie differentielle categoriques
|
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...v/svazekPeriodika
| |
http://linked.open...iv/tvurceVysledku
| - Velebil, Jiří
- Karazeris, P.
|
http://linked.open...n/vavai/riv/zamer
| |
issn
| |
number of pages
| |
http://localhost/t...ganizacniJednotka
| |
is http://linked.open...avai/riv/vysledek
of | |