1. Accessible categories: the foundations of categorical model theory
المؤلف: Makkai, Michael
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
9
.
7
.
M35
1989
2. Accessible categories : the foundations of categorical model theory
المؤلف: Makkai, Mihaly, 9391-
المکتبة: (طهران)
موضوع: ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
9
.
7
.
M25
3. Algebra in a Localic topos with applications to ring theory
المؤلف: Borceux, Francis
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Associative algebras,، Associative rings,، Toposes,، Sheaves, Theory of,، Categories )Mathematics(
رده :
QA
3
.
L28
no
.
1038
4. Algebra in a localic topos with applications to ring theory
المؤلف: Borceux, Francis
المکتبة: (طهران)
موضوع: ، Associative algebras,، Associative rings,، Toposes,، Sheaf theory,، Categories )Mathematics(
رده :
QA
251
.
5
.
B6
1983
5. Algebra in a localic topos with applications to ring theory
المؤلف: Borceux, Francis, 8491-
المکتبة: (طهران)
موضوع: ، Associative algebras,، Associative rings,، Toposes,، Sheaf theory,، Categories )Mathematics(
رده :
QA
3
.
L28
Vol
.
1038
6. Algebra in a localic topos with applications to ring theory
المؤلف: Borceux, Francis
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Associative algebras,، Associative rings,، Toposes,، Sheaf theory,، Categories )Mathematics(
رده :
QA
3
.
L28
no
.
1038
7. Algebra in a localic topos with applications to ring theory
المؤلف: Francis Borceux, Gilberte van den Bossche,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Associative algebras,Associative rings,Toposes,Sheaf theory,Categories )Mathematics(
رده :
QA
.
L28
,
no
3
.
1038
8. Algebra in a localic topos with applications to ring theory
المؤلف: Borceux, Francis
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Associative algebras,، Associative rings,، Toposes,، Sheaf theory,، Categories )Mathematics(
رده :
QA
1
.
L4
v
.
1038
9. An extension of the Galois theory of Grothendieck /
المؤلف: André Joyal and Myles Tierney
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Galois theory,Theory of descent (Mathematics),Toposes
رده :
QA169
.
A57
no
.
309
10. An invitation to applied category theory :
المؤلف: Brendan Fong, David I. Spivak.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.,Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.
رده :
QA9
.
25
.
F66
2019
11. Applications of categories in computer science :
المؤلف: edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Categories (Mathematics), Congresses.,Computer science-- Mathematics, Congresses.
رده :
QA76
.
9
.
M35
L57
1991
12. Axiomization of passage from "local" structure to "global" object /
المؤلف: Paul Feit
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Categories (Mathematics),Geometry, Algebraic,Toposes
رده :
QA564
.
A57
no
.
485
13. Categorical algebra and its applications
المؤلف: F. Borceux, ed
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra, Homological, Congresses,Categories (Mathematics), Congresses
14. Classifying spaces and classifying topoi
المؤلف: Moerdijk, Ieke, 8591-
المکتبة: (طهران)
موضوع: ، Classifying spaces,، Toposes,، Grothendieck categories
رده :
QA
3
.
L28
Vol
.
1616
15. Classifying spaces and classifying topoi
المؤلف: Moerdijk, Ieke
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Classifying spaces,، Toposes,، Grothendieck categories
رده :
QA
3
.
L28
no
.
1616
16. Classifying spaces and classifying topoi
المؤلف: Moerdijk, Ieke.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Classifying spaces,، Toposes,، Grothendieck categories
رده :
QA
3
.
L28
no
.
1616
17. Duality and definability in first order logic /
المؤلف: Michael Makkai
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Duality theory (Mathematics),First-order logic,Toposes
رده :
QA9
.
A57
no
.
503
18. Elementary categories, elementary toposes
المؤلف: McLarty, Colin.
المکتبة: (طهران)
موضوع: Categories )Mathematics( , Toposes
رده :
QA
169
.
M45
1995
19. Elementary categories elementary toposes
المؤلف: Mcharty, Colin
المکتبة: (سمنان)
موضوع: ، Categories- Mathematics,، Toposes
رده :
QA
169
.
M45
20. Elementary categories elementary toposes
المؤلف: McLarty, Colin
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Categories )Mathematics(,، Toposes
رده :
QA
169
.
M45
