homotopy-type-theory पर टैग किए गए जवाब

मैं HoTT पुस्तक के माध्यम से पढ़ रहा हूं और मेरे पास पथ प्रेरण के साथ एक कठिन समय है। जब मैं अनुभाग १.१२.१ में टाइप देखता हूं : मेरे पास यह समझने का कोई मुद्दा नहीं है कि इसका क्या अर्थ है (मैंने जांच करने के लिए मेमोरी से …

17 induction  dependent-types  homotopy-type-theory 

मैं HoTT पुस्तक के माध्यम से पढ़ रहा हूं और मेरे पास अध्याय एक में सामान के बारे में एक (शायद बहुत भोला) सवाल है। अध्याय फ़ंक्शन प्रकार परिचय देता है और फिर को पर निर्भर बनाकर इसे सामान्य करता है और उस पर निर्भर फ़ंक्शन प्रकार को कहा जाता …

14 type-theory  dependent-types  homotopy-type-theory 

इसलिए मैं वर्तमान में कुछ लोगों के साथ HoTT बुक कर रहा हूं। मैंने यह दावा किया कि हम जो सबसे अधिक प्रेरक प्रकार देखेंगे, उन्हें केवल निर्भर प्रकार के प्रकारों और ब्रह्मांडों के प्रकारों में घटाया जा सकता है, जो कि पुनरावर्ती के प्रकार को समान प्रकार के लिए …

11 type-theory  type-checking  dependent-types  homotopy-type-theory 

मैं होमोटॉपी टाइप थ्योरी ऑनलाइन पुस्तक में आश्रित प्रकार के सिद्धांत के बारे में पढ़ रहा हूं । टाइप थ्योरी अध्याय के खंड 1.3 में , यह यूनिवर्स की पदानुक्रम की धारणा का परिचय देता है : , जहांU0:U1:U2:⋯U0:U1:U2:⋯\mathcal{U}_0 : \mathcal{U}_1 : \mathcal{U}_2 : \cdots हर ब्रह्मांड अगले ब्रह्मांड का …

11 type-theory  homotopy-type-theory  dependent-types