کتابوں کی تلاش
کتاب
عطیہ کریں
سائن ان کریں
سائن ان کریں
مزید فیچرز تک رسائی حاصل کرنے کے لیے
پرسنل تجاویز
ٹیلیگرام بوٹ
ڈاؤن لوڈ کی تاریخ
ای میل یا 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
آپ کے ٹیگز:
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
آپ کے ٹیگز:
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
آپ کے ٹیگز:
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
آپ کے ٹیگز:
0
/
0
english, 2008
1
اس لنک
کو کلک کریں یا Telegram پر "BotFather@" بوٹ تلاش کریں۔
2
/newbot کمانڈ بھیجیں۔
3
اپنے چیٹ بوٹ کے لیے ایک نام کی وضاحت کریں۔
4
بوٹ کے لیے یوزر نام کا انتخاب کریں۔
5
BotFather سے ایک مکمل آخری پیغام کاپی کریں اور اسے یہاں پیسٹ کریں۔
×
×