About: Continuous categories revisited

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Continuous categories revisited 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)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	Generalizing the fact that Scott's continuous lattices form the equational hull of algebraic lattices, we describe an equational hull of locally finitely presentable categories as consisting of precontinuous categories. Generalizing the fact that Scott's continuous lattices form the equational hull of algebraic lattices, we describe an equational hull of locally finitely presentable categories as consisting of precontinuous categories. (en) Generalizing the fact that Scott's continuous lattices form the equational hull of algebraic lattices, we describe an equational hull of locally finitely presentable categories as consisting of precontinuous categories. (cs)
Title	Continuous categories revisited Continuous categories revisited (en) Continuous categories revisited (cs)
skos:prefLabel	Continuous categories revisited Continuous categories revisited (en) Continuous categories revisited (cs)
skos:notation	RIV/00216224:14310/03:00008059!RIV08-MSM-14310___
http://linked.open.../vavai/riv/strany	252-282
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(GA201/02/0148), P(GA201/99/0310), Z(MSM 143100009), Z(MSM 212300014)
http://linked.open...iv/cisloPeriodika	11
http://linked.open...vai/riv/dodaniDat	2008
http://linked.open...aciTvurceVysledku	Rosický, Jiří
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Masarykova univerzita / Přírodovědecká fakulta
http://linked.open...dnocenehoVysledku	602102
http://linked.open...ai/riv/idVysledku	RIV/00216224:14310/03:00008059
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	locally finitely presentable category; precontinuous category; continuous lattice (en)
http://linked.open.../riv/klicoveSlovo	continuous lattice locally finitely presentable category precontinuous category
http://linked.open...odStatuVydavatele	CA - Kanada
http://linked.open...ontrolniKodProRIV	[9BB454914DBD]
http://linked.open...i/riv/nazevZdroje	Theory and Applications of Categories
http://linked.open...in/vavai/riv/obor	BA
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	3 (xsd:int)
http://linked.open...vavai/riv/projekt	Categorical methods of the theory of structures and computer science Categorical Methods of the Theory of Structures and Computer Science
http://linked.open...UplatneniVysledku	2003
http://linked.open...v/svazekPeriodika	11 (2003)
http://linked.open...iv/tvurceVysledku	Adámek, J. Rosický, Jiří Lawvere, F. W.
http://linked.open...n/vavai/riv/zamer	http://linked.opendata.cz/resource/domain/vavai/zamer/MSM%20212300014 http://linked.opendata.cz/resource/domain/vavai/zamer/MSM%20143100009
issn	1201-561X
number of pages	21 (xsd:int)
http://localhost/t...ganizacniJednotka	14310

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

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