| http://dbpedia.org/ontology/abstract
|
In mathematics, the ind-completion or ind- … In mathematics, the ind-completion or ind-construction is the process of freely adding filtered colimits to a given category C. The objects in this ind-completed category, denoted Ind(C), are known as direct systems, they are functors from a small filtered category I to C. The dual concept is the pro-completion, Pro(C).ual concept is the pro-completion, Pro(C).
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.numdam.org/item/SB_1958-1960__5__369_0 +
, https://archive.org/details/shapetheoryinver0000mard +
|
| http://dbpedia.org/ontology/wikiPageID
|
61387167
|
| http://dbpedia.org/ontology/wikiPageLength
|
11380
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1119097584
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Functor +
, http://dbpedia.org/resource/Essentially_surjective_functor +
, http://dbpedia.org/resource/Alexandrov_topology +
, http://dbpedia.org/resource/Fully_faithful_functor +
, http://dbpedia.org/resource/Pierre_Deligne +
, http://dbpedia.org/resource/Stone_space +
, http://dbpedia.org/resource/Stone_duality +
, http://dbpedia.org/resource/Category_%28mathematics%29 +
, http://dbpedia.org/resource/Identity_morphism +
, http://dbpedia.org/resource/Deformation_theory +
, http://dbpedia.org/resource/Compact_object_%28mathematics%29 +
, http://dbpedia.org/resource/Category:Limits_%28category_theory%29 +
, http://dbpedia.org/resource/Opposite_category +
, http://dbpedia.org/resource/Spectral_space +
, http://dbpedia.org/resource/Category_of_vector_spaces +
, http://dbpedia.org/resource/FinSet +
, http://dbpedia.org/resource/Shape_theory_%28mathematics%29 +
, http://dbpedia.org/resource/Power_set +
, http://dbpedia.org/resource/Category:Functors +
, http://dbpedia.org/resource/Filtered_category +
, http://dbpedia.org/resource/Duality_%28mathematics%29 +
, http://dbpedia.org/resource/Filtered_colimit +
, http://dbpedia.org/resource/Schlessinger%27s_criterion +
, http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Pro-representable_functor +
, http://dbpedia.org/resource/Final_category +
, http://dbpedia.org/resource/Corepresentable_functor +
, http://dbpedia.org/resource/Tate_object +
, http://dbpedia.org/resource/Finite_group +
, http://dbpedia.org/resource/Preordered_set +
, http://dbpedia.org/resource/Princeton_University_Press +
, http://dbpedia.org/resource/Category_of_sets +
, http://dbpedia.org/resource/Grothendieck%27s_Galois_theory +
, http://dbpedia.org/resource/Profinite_group +
, http://dbpedia.org/resource/Natural_number +
, http://dbpedia.org/resource/Infinity_category +
|
| http://dbpedia.org/property/id
|
S/s091930
|
| http://dbpedia.org/property/title
|
System
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Em +
, http://dbpedia.org/resource/Template:Annotated_link +
, http://dbpedia.org/resource/Template:See +
, http://dbpedia.org/resource/Template:Citation +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Anchor +
, http://dbpedia.org/resource/Template:Harvtxt +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:See_also +
, http://dbpedia.org/resource/Template:Springer +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Limits_%28category_theory%29 +
, http://dbpedia.org/resource/Category:Functors +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Ind-completion?oldid=1119097584&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Ind-completion +
|
| owl:sameAs |
http://www.wikidata.org/entity/Q6060434 +
, https://global.dbpedia.org/id/4nhwg +
, http://dbpedia.org/resource/Ind-completion +
|
| rdfs:comment |
In mathematics, the ind-completion or ind- … In mathematics, the ind-completion or ind-construction is the process of freely adding filtered colimits to a given category C. The objects in this ind-completed category, denoted Ind(C), are known as direct systems, they are functors from a small filtered category I to C. The dual concept is the pro-completion, Pro(C).ual concept is the pro-completion, Pro(C).
|
| rdfs:label |
Ind-completion
|
| rdfs:seeAlso |
http://dbpedia.org/resource/Direct_limit +
|
