Topology and category theory in computer science

Topology and category theory in computer science

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Reed, George M. (Επιμελητής έκδοσης), Roscoe, A. W. (Επιμελητής έκδοσης), Wachter, R. F. (Επιμελητής έκδοσης)
Μορφή:	Βιβλίο
Γλώσσα:	English
Δημοσίευση:	Oxford ; New York : Clarendon Press ; Oxford University Press, 1991.
Θέματα:	Computer science > Mathematics. Topology. Categories (Mathematics)
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Applications of categories in computer science :
Δημοσίευση: (1992)

Categories in computer science and logic :
Δημοσίευση: (1989)

Categories, bundles and space-time topology
από: Dodson, C. T. J.
Δημοσίευση: (1988)

Theory of categories
από: Mitchell, Barry
Δημοσίευση: (1965)

Higher category theory :
Δημοσίευση: (1998)

Category theory :
Δημοσίευση: (1991)

Measure and category :
από: Oxtoby, John C.
Δημοσίευση: (1980)

Triangulated categories
από: Neeman, Amnon
Δημοσίευση: (2001)

Mathematical applications of category theory
Δημοσίευση: (1984)

Categories for the working mathematician
από: Mac Lane, Saunders 1909-
Δημοσίευση: (1988)

Categories, allegories
από: Freyd, Peter J.
Δημοσίευση: (1990)

Lusternik-Schnirelmann category
Δημοσίευση: (2003)

Elementary categories, elementary toposes
από: McLarty, Colin
Δημοσίευση: (1995)

Categories, types, and structures :
από: Asperti, Andrea
Δημοσίευση: (1991)

Ordinal invariants in topology
από: Kannan, V.
Δημοσίευση: (1981)

Accessible categories :
από: Makkai, Michael
Δημοσίευση: (1989)

Coherence and non-commutative diagrams in closed categories
από: Voreadou, Rodiani
Δημοσίευση: (1977)

Boundedly controlled topology :
από: Anderson, Douglas R. (Douglas Ross) 1940-
Δημοσίευση: (1988)

Model categories and their localizations
από: Hirschhorn, Philip S. (Philip Steven) 1952-
Δημοσίευση: (2003)

Approach spaces :
από: Lowen, R. (Robert)
Δημοσίευση: (1997)

Rings and categories of modules
από: Anderson, Frank W. (Frank Wylie) 1928-
Δημοσίευση: (1992)

Lusternik-Schnirelmann category and related topics :
Δημοσίευση: (2002)

Sets, logic and categories
από: Cameron, Peter J. (Peter Jephson) 1947-
Δημοσίευση: (1999)

Categories of Boolean sheaves of simple algebras
από: Diers, Yves 1937-
Δημοσίευση: (1986)

Algebra I rings, Modules, and Categories
από: Faith, Carl Clifton 1927-
Δημοσίευση: (1981)

Cogroups and co-rings in categories of associative rings
από: Bergman, George M. 1943-
Δημοσίευση: (1996)

Diagrammatic morphisms and applications :
Δημοσίευση: (2003)

Applied categorical structures
Δημοσίευση: (1993)

Handbook of Categorical Algebra
από: Borceux, Francis 1948-
Δημοσίευση: (1994)

A general character theory for partially ordered sets and lattices
από: Hofmann, Karl Heinrich
Δημοσίευση: (1972)

Toposes, Triples and Theories
από: Barr, Michael
Δημοσίευση: (1985)

The adjectival category :
από: Shankara Bhat, D. N. 1935-
Δημοσίευση: (1994)

On the algebraic foundations of bounded cohomology
από: Buhler, Theo 1978-
Δημοσίευση: (2011)

Functorial knot theory :
από: Yetter, David N.
Δημοσίευση: (2001)

Algebra II Ring Theory
από: Faith, Carl Clifton 1927-
Δημοσίευση: (1976)

Calculus of fractions and homotopy theory
από: Gabriel, Peter 1933-
Δημοσίευση: (1967)

Grammatical categories and cognition :
από: Lucy, John Arthur 1949-
Δημοσίευση: (1992)

Topology and maps
από: Husain, Taqdir
Δημοσίευση: (1977)

Categorical framework for the study of singular spaces
από: Fulton, William 1939-
Δημοσίευση: (1981)

The reductive subgroups of F4
από: Stewart, David I. 1981-
Δημοσίευση: (2012)