We show that the pro-category #92;mathrm#123;Pro#125;(#92;mathtt#123;SC#42;#125;) also contains, as a full coreflective subcategory, the category of pro-C#42;-algebras that are cofiltered limits of separable C#42;-algebras.
Source: wiktionary
Ranked by relevance and common usage.
OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.
1 total sentences available.
We show that the pro-category #92;mathrm#123;Pro#125;(#92;mathtt#123;SC#42;#125;) also contains, as a full coreflective subcategory, the category of pro-C#42;-algebras that are cofiltered limits of separable C#42;-algebras.
Source: wiktionary
Data sourced from Wiktionary, WordNet, CMU, and other open linguistic databases. Updated March 2026.