查询词典 topos

The concept of Galois connections for partially ordered objects in a topos is introduced and the kernel operator and closure operator are investigated.

在任意 topos 中引入了偏序对象之间的 Galois 联络的定义，刻画了偏序集对象上的核算子和闭包算子。

Then we verify the topos property of RS and find thatRS has all topos properties except one, for it has no subobject classifier. There-fore RS is not a topos.

证明了I-粗集的范畴满足topos 的前四条性质，并证明了它不存在SC，从而证明了该范畴不是topos。

It is proved the element view and the diagram view are equivalent to some extent in any arbitrary topos.

间接证明了元素观点和图表观点在topos 中的一致性。

And also, we investigate the properties of the Galois connections between two partial ordered objects in an arbitrary topos.

同时对任意 topos 中的偏序对象及其 Galois 联络进行了初步研究。

Locale theory is the algebraic generalization of classical topology, and topos theory can be regarded as one of the most important applications of locale theory.

Locale 理论是经典拓扑学的代数形式推广， locale 理论的一个重要应用是topos 理论。

TOPOS "For all who are curious to see landscapes as art and for all who are looking for inspiration." The Single Family Home "These are no longer gardens as we have hitherto known them."

为了那些所有的把景观看作艺术的读者和那些寻找灵感的读者&------ TOPOS杂志&它们不是我们所知的花园。

As a matter of fact we develop our study in the more general and more natural context of a theory ~ internally defined with respect to a topos of sheaves on a frame (i.e. a complete Heyting algebra; for example the algebra of open subsets of a topological space).

作为一个事实上我们在发展中的一个理论更普遍，更自然的环境研究国内关于对一帧的捆一topos中定义的（即完全Heyting代数，例如以开放的子集代数拓扑空间）。

The soldiers of the Cabal and Topos gathered at the city of Averru now gaze in wonder at a reborn goddess … who really has no idea what her purpose in life is.

Cabal and Topos的士兵们聚集在这个城市里惊讶得看着一个浴火重生的但是还没有发觉生活的目标的女神。

But we find a middle object in RS. By the definition of weaktopos given by professor Xue-hai Yuan, we proofed that the category RS is a weak topos.

但是我们在I-粗集的范畴中找到了中间元，并利用袁学海教授给出的弱topos 定义，证明了I-粗集的范畴是一个弱topos。

In the second place, we introduce some relativeconceptions of topos and weak topos, including category, topos, middleobject, weak topos, power object and pullback lemma.

第二部分是预备知识，首先介绍了区间数的概念及其运算，在此基础上引入了区间值模糊集的概念、运算以及它与直觉模糊集之间的关系；然后介绍了topos和弱topos的相关概念，包括范畴、topos、中间元、弱topos、幂对象和拉回引理。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失