αναζήτηση βιβλίων
βιβλία
Υποστήριξη
Σύνδεση
Σύνδεση
Σε εξουσιοδοτημένους χρήστες είναι διαθέσιμα:
προσωπικές συστάσεις
Telegram bot
ιστορία λήψεων
αποστολή στο Email ή Kindle
διαχείριση λιστών βιβλίων
αποθήκευση στα αγαπημένα
Προσωπικά
Αιτήματα βιβλίων
Εξερευνήστε
Z-Recommend
Λίστες βιβλίων
Τα πιο δημοφιλή
Κατηγορίες
Συμμετοχή
Υποστήριξη
Μεταφορτώσεις
Litera Library
Δωρεά χάρτινων βιβλίων
Προσθήκη χάρτινων βιβλίων
Search paper books
Το LITERA Point μου
Αναζήτηση λέξεων κλειδιών
Main
Αναζήτηση λέξεων κλειδιών
search
1
Homotopy Theory of Higher Categories
Cambridge University Press
Carlos Simpson
category
map
categories
morphism
segal
suppose
maps
cofibrations
trivial
diagram
lemma
cofibration
morphisms
homotopy
equivalences
functor
enr
reedy
theorem
fibrant
simplicial
sets
ϕ
composition
cofibrant
cartesian
strict
enriched
corollary
injective
isomorphism
defined
precategories
presentable
groupoid
precategory
equivalent
satisfies
pushout
product
fibration
global
proposition
lifting
levelwise
diagrams
υ0
limits
define
previous
Έτος:
2011
Γλώσσα:
english
Αρχείο:
PDF, 2.89 MB
Οι ετικέτες (tags) σας:
0
/
0
english, 2011
2
Homotopy Type Theory. Univalent Foundations of Mathematics
Aczel Peter et al.
function
induction
lemma
inductive
path
homotopy
theorem
define
principle
x:a
defined
category
element
proposition
prove
paths
map
equality
equivalent
dependent
sets
axiom
functions
equal
hapter
assume
suppose
contractible
reflx
cauchy
pr1
succ
univalence
recursion
suffices
constructors
propositions
consider
exists
constructor
mathematics
classical
spaces
propositional
truncation
choice
reals
implies
construct
fib
Γλώσσα:
english
Αρχείο:
PDF, 6.73 MB
Οι ετικέτες (tags) σας:
0
/
0
english
3
Homotopy Type Theory: Univalent Foundations of Mathematics
The Univalent Foundations Program
function
induction
inductive
lemma
homotopy
path
theorem
define
principle
x:a
defined
category
proposition
element
paths
prove
map
dependent
equality
hapter
equivalent
sets
functions
axiom
equal
assume
suppose
reflx
contractible
cauchy
succ
pr1
recursion
suffices
univalence
constructors
exists
mathematics
consider
constructor
propositions
spaces
classical
truncation
choice
propositional
reals
construct
implies
categories
Έτος:
2013
Γλώσσα:
english
Αρχείο:
PDF, 3.17 MB
Οι ετικέτες (tags) σας:
5.0
/
5.0
english, 2013
4
S-categories, S-groupoids, Segal categories and quasicategories
Timothy Porter
category
homotopy
categories
simplicial
segal
maps
diagram
groupoid
sets
functor
coherent
map
nerve
enriched
models
diagrams
algebraic
composition
complex
dwyer
simplicially
obvious
dimension
spaces
tamsamani
complexes
groupoids
vogt
arrows
categorical
composite
cordier
hammock
isomorphism
porter
square
coherence
commutative
erh.c
hammocks
locally
horn
ideas
related
simplex
simplices
theorem
abstract
equivalences
equivalent
Έτος:
2008
Γλώσσα:
english
Αρχείο:
PDF, 394 KB
Οι ετικέτες (tags) σας:
0
/
0
english, 2008
1
Ακολουθήστε
αυτόν τον σύνδεσμο
ή αναζητήστε το bot "@BotFather" στο Telegram
2
Στείλτε την εντολή /newbot
3
Εισάγετε ένα όνομα για το chatbot σας
4
Εισάγετε ένα όνομα χρήστη για το bot
5
Αντιγράψτε το τελευταίο μήνυμα από τον BotFather και επικολλήστε το εδώ
×
×