Attributes | Values |
---|
rdf:type
| |
Description
| - Filtrované kolimity, t.j., kolimity komutující s konečnými limitami, lze přirozeně zobecnit na siftované kolimity: to jsou kolimity komutující s konečnými součiny v množinách. Zobecněné variety jsou definovány jako volná zúplnění malých kategorií na siftované kolimity. Mezi úplnými kategoriemi, zobecněné variety splývají s varietami. (cs)
- Filtered colimits, i.e., colimits which commute with finite limits, have a natural generalization to sifted colimits: these are colimits which commute with finite products in sets. Generalized varieties are defined as free completions of small categories under sifted colimits (analogously to finitely accessible categories which are free completions of small categories under filtered colimits). Among complete categories, generalized varieties are precisely the varieties.
- Filtered colimits, i.e., colimits which commute with finite limits, have a natural generalization to sifted colimits: these are colimits which commute with finite products in sets. Generalized varieties are defined as free completions of small categories under sifted colimits (analogously to finitely accessible categories which are free completions of small categories under filtered colimits). Among complete categories, generalized varieties are precisely the varieties. (en)
|
Title
| - On sifted colimits and generalized varieties
- On sifted colimits and generalized varieties (en)
- O siftovaných kolimitách a zobecněných varietách (cs)
|
skos:prefLabel
| - On sifted colimits and generalized varieties
- On sifted colimits and generalized varieties (en)
- O siftovaných kolimitách a zobecněných varietách (cs)
|
skos:notation
| - RIV/00216224:14310/01:00002949!RIV09-GA0-14310___
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| - P(GA201/99/0310), Z(MSM 143100009)
|
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/00216224:14310/01:00002949
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - sifted colimit; variety (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...odStatuVydavatele
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...i/riv/nazevZdroje
| - Theory and Applications of Categories
|
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...vavai/riv/projekt
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...v/svazekPeriodika
| |
http://linked.open...iv/tvurceVysledku
| |
http://linked.open...n/vavai/riv/zamer
| |
issn
| |
number of pages
| |
http://localhost/t...ganizacniJednotka
| |