英文字典中文字典


英文字典中文字典51ZiDian.com



中文字典辞典   英文字典 a   b   c   d   e   f   g   h   i   j   k   l   m   n   o   p   q   r   s   t   u   v   w   x   y   z       







请输入英文单字,中文词皆可:



安装中文字典英文字典查询工具!


中文字典英文字典工具:
选择颜色:
输入中英文单字

































































英文字典中文字典相关资料:


  • Homotopy - Wikipedia
    Homotopy theory can be used as a foundation for homology theory: one can represent a cohomology functor on a space X by mappings of X into an appropriate fixed space, up to homotopy equivalence
  • HOMOTYPY Definition Meaning - Merriam-Webster
    The meaning of HOMOTYPY is the relation existing between homotypes : serial homology
  • [2212. 11082] Introduction to Homotopy Type Theory - arXiv. org
    This is an introductory textbook to univalent mathematics and homotopy type theory, a mathematical foundation that takes advantage of the structural nature of mathematical definitions and constructions
  • homotypy, n. meanings, etymology and more | Oxford English Dictionary
    homotypy, n meanings, etymology, pronunciation and more in the Oxford English Dictionary
  • Homotopy Type Theory
    This site serves to collect and disseminate research, resources, and tools for the investigation of homotopy type theory, and hosts a blog for those involved in its study
  • Homotopy Type Theory - Cornell University
    In homotopy type theory, the fundamental objects are types, which seamlessly play the role of both spaces and logical propositions The axioms of these types encode both homotopical and logical structure, allowing them to serve as both theory and metatheory in interesting ways
  • homotypy - definition and meaning - Wordnik
    General homology, in Gegenbaur's sense, relates to resemblances of organs within the organism, and includes four kinds of resemblance, homotypy, homodynamy, homonomy and homonymy
  • Lecture notes on homotopy theory and applications
    For each n-connected CW pair (X, A) there is a CW pair (Z, A) that is homotopy equivalent to (X, A) relative to A, and such that Z is built from A by attaching cells of dimension > n
  • Introduction to Homotopy Type Theory
    This up-to-date introduction to type theory and homotopy type theory will be essential reading for advanced undergraduate and graduate students interested in the foundations and formalization of mathematics





中文字典-英文字典  2005-2009