<p>A ventana is a special kind of a basis of a topology, a ventana being a collection of sets which is closed wrt finite intersections and also wrt finite unions. Thus, a ventana is a generalization of a topology. Ventanas were the objects studied in a paper published in 2016. In 1973, T-categories were defined via axioms and were shown to be the sorts of categories in which initial sources and final sinks exist. The category <b>Topology</b> was, up to isomorphism, determined via axioms added to the T-category axioms. In this paper, it is established that <b>Ventana</b> is a T-category and is also, up to isomorphism, determined via axioms added to the T-category axioms.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

The characterization of ventana as a T-category

  • H. L. Bentley

摘要

A ventana is a special kind of a basis of a topology, a ventana being a collection of sets which is closed wrt finite intersections and also wrt finite unions. Thus, a ventana is a generalization of a topology. Ventanas were the objects studied in a paper published in 2016. In 1973, T-categories were defined via axioms and were shown to be the sorts of categories in which initial sources and final sinks exist. The category Topology was, up to isomorphism, determined via axioms added to the T-category axioms. In this paper, it is established that Ventana is a T-category and is also, up to isomorphism, determined via axioms added to the T-category axioms.