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
