Introduction to Category Theory and Categorical Logic

Introduction to Category Theory and Categorical Logic

Thomas Streicher
0 / 0
0 comments
როგორ მოგეწონათ ეს წიგნი?
როგორი ხარისხისაა ეს ფაილი?
ჩატვირთეთ, ხარისხის შესაფასებლად
როგორი ხარისხისაა ჩატვირთული ფაილი?
კატეგორია:
Mathematics - Algebra
წელი:
2018
გამოცემა:
version 10 Mar 2018
ენა:
english
გვერდები:
117
სერია:
lecture notes
ფაილი:
PDF, 664 KB
IPFS:
CID , CID Blake2b
english, 2018
ჩატვირთვა (pdf, 664 KB)
  • Checking other formats...
  • კონვერტირებული ფაილი შესაძლოა განსხვავდებოდეს ორიგინალისგან. უმჯობესია შეძლებისდაგვარად ჩამოტვირთოთ ფაილი ორიგინალურ ფორმატში
ხორციელდება კონვერტაციის -ში
კონვერტაციის -ში ვერ მოხერხდა

საკვანძო ფრაზები

 
category
ϕ
functor
morphism
unique
theorem
exists
suppose
topos
lemma
map
categories
isomorphism
limits
adjoint
morphisms
χ2
functors
diagram
toposes
arbitrary
defined
subobject
presheaf
elementary
ηa
x:a
monad
πi
maps
sets
subobjects
cov
pullback
τi
cartesian
desired
finite
χ1
grothendieck
initial
sheaf
consider
locally
representable
composition
moreover
adjunction
classified
element
functions
calculus
define
global
sending
whenever
yoneda
arrow
products
pullbacks

დაკავშირებული კოლექციები