equivalence पर टैग किए गए जवाब

Q1। हम कब कह सकते हैं कि दो प्रोग्राम (कुछ प्रोग्रामिंग भाषा में जैसे C ++ में लिखे गए) अलग हैं? पहला चरम यह कहना है कि दो कार्यक्रम समान हैं यदि वे समान हैं। अन्य चरम यह कहना है कि दो कार्यक्रम समान हैं यदि वे समान फ़ंक्शन की …

15 pl.programming-languages  semantics  equivalence 

कहते हैं कि मैं होमोटोपी प्रकार के सिद्धांत में काम करता हूं और मेरे अध्ययन की एकमात्र वस्तुएं पारंपरिक श्रेणियां हैं। यहाँ समीकरणों को और जो श्रेणियों के प्रदान करते हैं । प्राकृतिक आइसोमोर्फिम्स और ताकि यह functor और "inverse" functor हो यूनिट फ़नकार में तब्दील हो जाते हैं।F:D⟶CF:D⟶CF:{\bf D}\longrightarrow{\bf …

10 type-theory  ct.category-theory  dependent-type  equivalence  homotopy-type-theory 

एक रंगीन ग्राफ को टपल के रूप में वर्णित किया जा सकता है (G,c)(G,c)(G,c) कहाँ पे GGG एक ग्राफ है और c:V(G)→Nc:V(G)→Nc : V(G) \rightarrow \mathbb{N}रंग है। दो रंगीन रेखांकन(G,c)(G,c)(G,c) तथा (H,d)(H,d)(H,d) कहा जाता है कि अगर वहाँ एक समरूपता मौजूद है, तो आइसोमोर्फिक है π:V(G)→V(H)π:V(G)→V(H)\pi : V(G) \rightarrow V(H) …

9 terminology  graph-isomorphism  equivalence