Categories, types, and structures: An introduction to category theory for computer scientists

Mã QR

Categories, types, and structures: An introduction to category theory for computer scientists

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Asperti, Andrea, Longo, Giuseppe
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	2010
Những chủ đề:	Toán học
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/1911
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Những quyển sách tương tự

Computational category theory
Bỡi: Rydeheard, D.E., et al.
Được phát hành: (2009)

Introduction to the Theory of Categories and Functors /
Bỡi: Bucus, Ion
Được phát hành: (1968)

Theory of Categories /
Bỡi: Mitchell, Barry
Được phát hành: (1965)

Theory of Modules (An Introduction to the Theory of Module Categories) /
Bỡi: Solian, Alexandru
Được phát hành: (1977)

An Introduction to the Language of Category Theory. 1st ed. 2017
Bỡi: Roman, Steven
Được phát hành: (2020)

Categories and Functors /
Bỡi: Pareigis, Bodo
Được phát hành: (1970)

Catégories Tannakiennes /
Bỡi: Rivano, Neantro Saavedra
Được phát hành: (1972)

Higher operads, higher categories
Bỡi: Leinster, Tom
Được phát hành: (2004)

Equivalence and duality for module categories :
Bỡi: Colby, Robert Ray
Được phát hành: (2004)

Tensor Categories and Endomorphisms of von Neumann Algebras with Applications to Quantum Field Theory
Bỡi: Bischoff, M, et al.
Được phát hành: (2015)

Rings and Categories of Modules /
Bỡi: Anderson, Frank W.
Được phát hành: (1974)

Categories for Software Engineering
Được phát hành: (2020)

16 categories of desire
Bỡi: Douglas Glover
Được phát hành: (2000)

Triangulated Categories in the Representation Theory of Finite Dimensional Algebras /
Bỡi: Happel, Dieter
Được phát hành: (1988)

Decomposition and Dimension in Module Categories /
Bỡi: Golan, Jonathan S.
Được phát hành: (1977)

Occupational categories and cultures 1
Bỡi: Salaman, Graeme
Được phát hành: (1976)

Be coming a category of one :
Bỡi: Calloway, Joe
Được phát hành: (2006)

Occupational categories and cultures 2
Được phát hành: (1976)

Monoidal Categories and Topological Field Theory . 1st ed. 2017
Bỡi: Turaev, Vladimir, et al.
Được phát hành: (2020)

Polygonal presentations of semisimple tensor categories /
Bỡi: Yamagami, Shigeru.

Factor Categories with Applications to Direct Decomposition of Modules /
Bỡi: Harada, Manabu
Được phát hành: (1983)

Les catégories grammaticales du verbe francais
Bỡi: N M Vasilieva
Được phát hành: (1979)

Categories and criteria of productive enterprises eligible for encouragement
Được phát hành: (1988)

Utilize Transformers for translating Wikipedia category names
Bỡi: Tạ, Hoàng Thắng, et al.
Được phát hành: (2024)

Near synonyms as co-extensive categories : 'High' and 'tall' revisited /
Bỡi: Taylor, John R.

The Category of ‘Religion’ in Contemporary Japan. 1st ed. 2018
Bỡi: Horii, Mitsutoshi
Được phát hành: (2020)

From Groups to Categorial Algebra. 1st ed. 2017
Bỡi: Bourn, Dominique
Được phát hành: (2020)

Vantages on the category of vertical extent : John R. Taylor's "high" and "tall" /
Bỡi: MacLaury, Robert E.

Defining crosslinguistic categories : The case of nominal tense (Reply to Nordlinger and Sadler) /
Bỡi: Tonhauser, Judith.

Derived category of squarefree modules and local cohomology with monomial ideal support /
Bỡi: Yanagawa, Kohji.

Invariants and semi-direct products for finite group actions on tensor categories /
Bỡi: Tambara, Daisuke.

Dimensions of private law: Categories and concepts in Anglo-American legal reasoning
Bỡi: Waddams, Stephen
Được phát hành: (2013)

Communauté et société catégories fondamentales de la sociologie pure :
Bỡi: Tönnies, Ferdinand
Được phát hành: (1944)

Discrete mathematical structures for computer scientists and engineers
Bỡi: Das, M. K.
Được phát hành: (2007)

Using the nominal response model to evaluate response category discrimination in the PROMIS emotional distress item pools /

Computing for scientists and engineers
Bỡi: Thompson, William J.
Được phát hành: (2010)

How new market categories emerge : Temporal dynamics of legitimacy, identity, and entrepreneurship in satellite radio, 1990-2005 /
Bỡi: Navis, Chad.

Introduction to languages and the theory of computation
Bỡi: Martin, John C.
Được phát hành: (2011)

Introduction to automata theory, language, and computation
Bỡi: Hopcroft, John E.
Được phát hành: (2007)

Introduction to the theory of moduli
Bỡi: Mumford, David, et al.
Được phát hành: (2010)