検索結果- 英語 - 多言語
検索内容:
Grothendieck universes
Grothendieck universe
(mathematics, category theory) A kind of universal set whose elements follow the rules of Zermelo–Fraenkel set theory, and for which, with respect to an arbitrary set, an instance of its kind which has that set as a member may be posited to exist through an additional Tarski–Grothendieck axiom (which is not part of ZF but augments it, yielding Tarski–Grothendieck set theory).
universal sorter
universal packager
meta-universe
(physics, cosmology) Synonym of multiverse
meta-universes
plural of meta-universe
universal lever
A machine formed by a combination of a lever with the wheel and axle, in such a manner as to convert the reciprocating motion of the lever into a continued rectilinear motion of some body to which the power is applied.
universal instrument
(astronomy) A kind of altitude and azimuth instrument. The object end of the telescope is placed at right angles to the eye end, with a prism of total reflection at the angle, and the eye end constitutes a portion of the horizontal axis of the instrument, having the eyepiece at the pivot and in the center of the altitude circle, so that the eye has convenient access to both at the same time.
universal chuck
A chuck, as for a lathe, having jaws which can be moved simultaneously so as to grasp objects of various sizes.
alternate universe
(physics, cosmology) A hypothetical world situated in a different dimension of space and time than the real world consisting of the universe known and experienced by human beings.