Category theory for computing science

Category theory for computing science

Weitere Versionen anzeigen (6)

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Barr, Michael (VerfasserIn), Wells, Charles (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	New York u.a. Prentice Hall 1990
Ausgabe:	1. publ.
Schriftenreihe:	Prentice Hall international series in computer science
Schlagworte:	Catégories (Mathématiques) Catégories (mathématiques) Informatique - Mathématiques mathématique informatique théorie catégorie Informatik Mathematik Categories (Mathematics) Computer science > Mathematics Kategorie > Mathematik Kategorientheorie Datenverarbeitung Aufgabensammlung
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Category theory for computing science
von: Barr, Michael, et al.
Veröffentlicht: (1990)

Basic category theory for computer scientists
von: Pierce, Benjamin C.
Veröffentlicht: (1991)

Categories and computer science
von: Walters, R. F.
Veröffentlicht: (1991)

Conceptual mathematics a first introduction to categories
von: Lawvere, Francis W. 1937-2023, et al.
Veröffentlicht: (1997)

Lokal präsentierbare Kategorien
von: Gabriel, Peter 1933-2015, et al.
Veröffentlicht: (1971)

Tool and object a history and philosophy of category theory
von: Krömer, Ralf
Veröffentlicht: (2007)

Kan extensions in enriched category theory
von: Dubuc, Eduardo J.
Veröffentlicht: (1970)

Workshop on Category Theory
Veröffentlicht: (1987)

Workshop on Category Theory
Veröffentlicht: (1987)

Workshop on Category Theory
Veröffentlicht: (1987)

Catégories cofibrées additives et complexe cotangent relatif
von: Grothendieck, Alexander 1928-2014
Veröffentlicht: (1968)

Catégories et structures
von: Ehresmann, Charles 1905-1979
Veröffentlicht: (1965)

Category theory an introduction
von: Herrlich, Horst 1937-2015, et al.
Veröffentlicht: (2007)

Categories, allegories
von: Freyd, Peter J.
Veröffentlicht: (1990)

Locally presentable and accessible categories
von: Adámek, Jiří 1947-
Veröffentlicht: (1994)

Categories of algebraic systems vector and projective spaces, semigroups, rings and lattices
von: Petrich, Mario
Veröffentlicht: (1976)

Triangulated categories
von: Neeman, Amnon 1957-
Veröffentlicht: (2001)

Algebraic homotopy
von: Baues, Hans J. 1943-
Veröffentlicht: (1989)

Category theory
von: Awodey, Steve 1959-
Veröffentlicht: (2006)

Handbook of categorical algebra 3 categories of sheaves
von: Borceux, Francis 1948-
Veröffentlicht: (1994)

Categories and functors
von: Pareigis, Bodo
Veröffentlicht: (1970)

Antimorphic action categories of algebraic structures with involutions or anti-endomorphisms
von: Cornish, William H.
Veröffentlicht: (1986)

Selected papers of the 4th Summer Conference on Category Theory and Computer Science, Paris, France, September 1991
Veröffentlicht: (1993)

Universal theory of automata a categorical approach
Veröffentlicht: (1974)

Applications of categories in computer science proceedings of the LMS Symposium, Durham 1991
Veröffentlicht: (1992)

Handbook of categorical algebra 2 categories and structures
von: Borceux, Francis 1948-
Veröffentlicht: (1994)

Conceptual mathematics a first introduction to categories
von: Lawvere, Francis W. 1937-2023, et al.
Veröffentlicht: (2012)

Category theory
von: Awodey, Steve 1959-
Veröffentlicht: (2010)

The categories of presheaves containing any category of algebras
von: Trnková, Věra 1934-2018, et al.
Veröffentlicht: (1975)

Introduction to higher order categorical logic
von: Lambek, Joachim 1922-2014, et al.
Veröffentlicht: (1986)

Category theory for computing science
von: Barr, Michael, et al.
Veröffentlicht: (1996)

Category Theory for computing science
von: Barr, Michael, et al.
Veröffentlicht: (1990)

Diagrammatic morphisms and applications AMS Special Session on Diagrammatic Morphisms in Algebra, Category Theory, and Topology, October 21 - 22, 2000, San Francisco State University, San Francisco, California
Veröffentlicht: (2003)

E ... ring spaces and E ... ring spectra
von: May, Jon Peter 1939-
Veröffentlicht: (1977)

Category theory applied to computation and control proceedings of the first international symposium, San Francisco, February 25 - 26, 1974
Veröffentlicht: (1975)

Théorie des espèces et combinatoire des structures arborescentes
von: Bergeron, François 1953-, et al.
Veröffentlicht: (1994)

Handbook of logic in computer science
Veröffentlicht: (1992)

Complicial sets characterising the simplicial nerves of strict omega-categories
von: Verity, Dominic
Veröffentlicht: (2008)

Theoretical foundations of computer science
von: Mandrioli, Dino, et al.
Veröffentlicht: (1987)

Categorical algebra and its applications proceedings of a conference, held in Louvain-La-Neuve, Belgium, July 26 - August 1, 1987
Veröffentlicht: (1988)