Below you will find example sentences with "covering sieves". The examples show how this phrase is used in natural context and which words often surround it.

Covering Sieves in a sentence

Corpus data

  • Displayed example sentences: 4
  • Discovered as a combination around: covering
  • Corpus frequency in the collocation scan: 4
  • Phrase length: 2 words
  • Average sentence length: 28 words

Sentence profile

  • Phrase position: 0 start, 1 middle, 3 end
  • Sentence types: 4 statements, 0 questions, 0 exclamations

Corpus analysis

  • The phrase "covering sieves" has 2 words and usually appears near the end in these examples. The average sentence has 28 words and is mostly made up of statements.
  • Around this phrase, patterns and context words such as functor sends covering sieves to covering, it sends covering sieves to covering, sends, topology and continuous stand out.
  • In the phrase index, this combination connects with years covering and years covering, linking the page to nearby combinations.

Example types with covering sieves

This selection groups the examples by length and sentence type, making usage of the full phrase easier to scan:

To define the discrete topology, we declare all sieves to be covering sieves. (13 words)

The big site is formed by taking the entire category of schemes and their morphisms, together with the covering sieves specified by the topology. (24 words)

In the same way, u sends a sieve on an object X of C to a sieve on the object uX of D. A continuous functor sends covering sieves to covering sieves. (32 words)

If J is the topology defined by a pretopology, and if u commutes with fibered products, then u is continuous if and only if it sends covering sieves to covering sieves and if and only if it sends covering families to covering families. (43 words)

In the same way, u sends a sieve on an object X of C to a sieve on the object uX of D. A continuous functor sends covering sieves to covering sieves. (32 words)

The big site is formed by taking the entire category of schemes and their morphisms, together with the covering sieves specified by the topology. (24 words)

Example sentences (4)

If J is the topology defined by a pretopology, and if u commutes with fibered products, then u is continuous if and only if it sends covering sieves to covering sieves and if and only if it sends covering families to covering families.

In the same way, u sends a sieve on an object X of C to a sieve on the object uX of D. A continuous functor sends covering sieves to covering sieves.

To define the discrete topology, we declare all sieves to be covering sieves.

The big site is formed by taking the entire category of schemes and their morphisms, together with the covering sieves specified by the topology.