About: On sifted colimits and generalized varieties     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
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
  • 8
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
  • 689937
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
  • CA - Kanada
http://linked.open...ontrolniKodProRIV
  • [BD509C940815]
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
  • 2001
http://linked.open...iv/tvurceVysledku
  • Adámek, J.
  • Rosický, Jiří
http://linked.open...n/vavai/riv/zamer
issn
  • 1201-561X
number of pages
http://localhost/t...ganizacniJednotka
  • 14310
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software