R. Diaconescu

  • Citations Per Year
Learn More
Before giving the statements, we require a definition. An atomic sire is a category equipped with a topology in which every cover is non-empty and conversely, every non-empty sieve is a cover. In order that a category admit such a topology-evidently unique -it is necessary and sufficient that any pair of maps with a common codomain be completable to a(More)
  • 1