Category Theory : :: SCD d'Orléans

Category Theory : Applications to Algebra, Logic and Topology Proceedings of the International Conference Held at Gummersbach, July 6 10, 1981

Category Theory : Applications to Algebra, Logic and Topology Proceedings of the International Conference Held at Gummersbach, July 6 10, 1981

Uloženo v:

Podrobná bibliografie
Korporativní autor:	International conference on category theory : applications to algebra, logic and topology :Gummersbach, Allemagne
Další autoři:	Kamps, Klaus Heiner, 1965- (Šéfredaktor, odpovědný redaktor), Pumplün, Dieter, 1932- (Šéfredaktor, odpovědný redaktor), Tholen, Walter, 1947- (Šéfredaktor, odpovědný redaktor)
Médium:	Livre numérique
Jazyk:	Anglais
Vydáno:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Edice:	Lecture notes in mathematics 962
Témata:	Logique symbolique et mathématique Topologie K-théorie Catégories (mathématiques) Actes de congrès
On-line přístup:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Poznámka:	En anglais (une contribution en français) Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Category theory, applications to algebra, logic, and topology, proceedings of the international conference held at Gummersbach, July 6-10, 1981, edited by K.H. Kamps, D. Pumplün, and W. Tholen, 1982, Berlin [etc.], Springer-Verlag, 1 volume (XV-322 p.), Lecture notes in mathematics, 0-387-11961-2 • Category Theory, Texte imprimé, 9783662198506

Podobné jednotky

Category Theory : Proceedings of the International Conference held in Como, Italy, July 22 28, 1990

Category theory and computer science : 7th international conference, CTCS '97, Santa Margherita Ligure, Italy, September 4 6, 1997 : proceedings

Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings

Category theory and computer science : Edinburgh, U.K., September 7 9, 1987 : proceedings

Category theory and computer science : Paris, France, September 3-6, 1991, proceedings

Categorical methods in computer science : with aspects from topology

Category theory, homology theory and their applications : proceedings of the conference held at the Seattle research center of the Battelle memorial institute, June 24-July 19, 1968

Category theory and computer science : Manchester, UK, September 5-8, 1989 : proceedings

Set Theory and its Applications : Proceedings of a Conference held at York University, Ontario, Canada, Aug. 10 21, 1987

Measure and category : a survey of the analogies between topological and measure spaces
Autor: Oxtoby, John Corning, 1910-1991
Vydáno: (1971)

Categorical topology : proceedings of the Conference held at Mannheim, 21-25 July, 1975

Category seminar : proceedings Sydney category theory seminar 1972/1973

Papers in Honour of Bernhard Banaschewski : Proceedings of the BB Fest 96, a Conference Held at the University of Cape Town, 15-20 July 1996, on Category Theory and its Applications to Topology, Order and Algebra
Autor: Brümmer, Guillaume, 19..-

Reports of the Midwest Category Seminar.
Autor: Bénabou, Jean, 1932-2022, mathématicien, a další

Category theory, homology theory and their applications : proceedings of the conference held at the Seattle research center of the Battelle memorial institute, June 24-July 19, 1968

Category theory, homology theory and their applications : proceedings of the conference held at the Seattle research center of the Battelle memorial institute, June 24-July 19, 1968

Topological Model Theory
Autor: Flum, Jörg, 1944-, a další

Sets, logic, and categories
Autor: Cameron, Peter J., 1947-...., mathématicien

First order categorical logic : model-theoretical methods in the theory of topoi and related categories
Autor: Makkai, Mihály, 1939-, a další

Categorical Aspects of Topology and Analysis : Proceedings of an International Conference Held at Carleton University, Ottawa, August 11 15, 1981

Kan extensions in enriched category theory
Autor: Dubuc, Eduardo J., 19..-

Categorical topology : proceedings of the International conference, Berlin, August 27th to September 2nd, 1978

Category theory
Autor: Awodey, Steve, 1959-
Vydáno: (2010)

Model Theory of Algebra and Arithmetic : Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1 7, 1979

Reports of the Midwest Category Seminar III
Autor: Mac Lane, Saunders, 1909-2005, a další

Theory of Topological Structures : An Approach to Categorical Topology
Autor: Preuß, Gerhard, 1940-2011

Formal category theory : adjointness for 2-categories
Autor: Gray, John Walker, 1931-2017

Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
Autor: Bucur, Ion, 1930-1976, a další

Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, FRG, March 19 25, 1989

Computation and Proof Theory : Proceedings of the Logic Colloquium held in Aachen, July 18 23, 1983 Part II

Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, West Germany April 15 21, 1984

ISILC logic conference : proceedings of the International summer institute and logic colloquium, Kiel, 1974

Mathematical logic and foundations of set theory : proceedings of an International Colloquium held under the auspices of the Israël Academy of Sciences and Humanitie : Jerusalem, 11-14 November 1968
Vydáno: (1970)

Logic colloquium 76 : proceedings of a conference held in Oxford in July 1976
Vydáno: (1977)

Reports of the Midwest Category Seminar.
Autor: Gray, John Walker, 1931-2017, a další

Algebraic K-theory and its geometric applications
Autor: Thomas, Charles Benedict, 1938-2005

Reports of the Midwest Category Seminar.
Autor: Mac Lane, Saunders, 1909-2005, a další

Models and Sets : Proceedings of the Logic Colloquium held in Aachen, July 18 23, 1983

Categorical Algebra and its Applications : Proceedings of a Conference, held in Louvain-La-Neuve, Belgium, July 26 August 1, 1987

ISILC logic conference : proceedings of the International summer institute and logic colloquium, Kiel, 1974
Vydáno: (1975)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales