Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
18.5% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на 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
Ваші теги:
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
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×