Δωρεές 15 Σεπτεμβρίου 2024 – 1 Οκτωβρίου 2024
Σχετικά με συγκέντρωση χρημάτων
αναζήτηση βιβλίων
βιβλία
Δωρεές:
59.3% έχει επιτευχθεί
Σύνδεση
Σύνδεση
Σε εξουσιοδοτημένους χρήστες είναι διαθέσιμα:
προσωπικές συστάσεις
Telegram bot
ιστορία λήψεων
αποστολή στο Email ή Kindle
διαχείριση λιστών βιβλίων
αποθήκευση στα αγαπημένα
Προσωπικά
Αιτήματα βιβλίων
Εξερευνήστε
Z-Recommend
Λίστες βιβλίων
Τα πιο δημοφιλή
Κατηγορίες
Συμμετοχή
Υποστήριξη
Μεταφορτώσεις
Litera Library
Δωρεά χάρτινων βιβλίων
Προσθήκη χάρτινων βιβλίων
Search paper books
Το LITERA Point μου
Αναζήτηση λέξεων κλειδιών
Main
Αναζήτηση λέξεων κλειδιών
search
1
Truncation levels in homotopy type theory
Nicolai Kraus
function
lemma
propositional
truncation
homotopy
theorem
proposition
equivalent
equality
assume
define
cited
principle
statement
uni13
path
πa
category
induction
truncated
functions
universal
map
truncations
construct
contractible
dependent
prove
simplicial
trivial
inhabitant
fibration
diagram
extensionality
defined
consider
mltt
implies
judgmental
equal
inductive
reedy
components
cases
canonical
univalent
ωn
univalence
fst
groupoid
Έτος:
2015
Γλώσσα:
english
Αρχείο:
PDF, 1.43 MB
Οι ετικέτες (tags) σας:
0
/
0
english, 2015
2
Towards a Directed Homotopy Type Theory based on 4 Kinds of Variance
Andreas Nuyts
function
ϕ
directed
induction
morphism
functions
hott
path
morphisms
covariant
dependent
prove
variance
inductive
isovariant
principle
define
symmetric
equality
invariant
lemma
prl
category
equal
paths
b:a
constructor
groupoid
homotopy
transport
gather
contravariant
aloc
x:a
acore
inl
inverse
tomorph
axiom
uni13
univalence
element
succ
flip
core
mltt
argument
proposition
prr
unstrip
Έτος:
2015
Γλώσσα:
english
Αρχείο:
PDF, 1.47 MB
Οι ετικέτες (tags) σας:
0
/
0
english, 2015
1
Ακολουθήστε
αυτόν τον σύνδεσμο
ή αναζητήστε το bot "@BotFather" στο Telegram
2
Στείλτε την εντολή /newbot
3
Εισάγετε ένα όνομα για το chatbot σας
4
Εισάγετε ένα όνομα χρήστη για το bot
5
Αντιγράψτε το τελευταίο μήνυμα από τον BotFather και επικολλήστε το εδώ
×
×