A subcategory of a properly fibred topological category defined by subinitiality and subfinality

  • 발행 : 1982.12.01