Cargando…

Cut elimination in categories

Detalles Bibliográficos
Autor principal:	Došen, Kosta
Lenguaje:	eng
Publicado:	Springer 1999
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	https://dx.doi.org/10.1007/978-94-017-1207-1 http://cds.cern.ch/record/1620713

Ejemplares similares

Methods of Cut-Elimination
por: Baaz, Matthias, et al.
Publicado: (2011)

Exact categories and categories of sheaves
por: Barr, Michael, et al.
Publicado: (1971)

Homotopy theory of higher categories: from Segal categories to n-categories and beyond
por: Simpson, Carlos
Publicado: (2011)

Categories
por: Schubert, Horst
Publicado: (1972)

Formal category theory adjointness for 2-categories
por: Gray, John W
Publicado: (1974)

Homotopy limit functors on model categories and homotopical categories
por: Dwyer, William G, et al.
Publicado: (2014)

Tensor categories
por: Etingof, Pavel, et al.
Publicado: (2015)

Theory of categories
por: Mitchell, Barry
Publicado: (1965)

Model categories
por: Hovey, Mark
Publicado: (2014)

G-categories
por: Gordon, Robert
Publicado: (1993)

Theory of categories
por: Popescu, Nicolae, et al.
Publicado: (1979)

Categories, allegories
por: Freyd, Peter J
Publicado: (1990)

Triangulated Categories
por: Holm, Thorsten, et al.
Publicado: (2010)

*-autonomous categories
por: Barr, Michael
Publicado: (1979)

Coherence in categories
por: Kelly, G, et al.
Publicado: (1972)

Categories and sheaves
por: Kashiwara, Masaki, et al.
Publicado: (2006)

Catégories tannakiennes
por: Rivano, Neantro Saavedra
Publicado: (1972)

From groups to categorial algebra: introduction to protomodular and mal’tsev categories
por: Bourn, Dominique
Publicado: (2017)

S-modules in the category of schemes
por: Hu, Po
Publicado: (2003)

Analysis of rare categories
por: He, Jingrui
Publicado: (2012)

Category Theory Seminar
por: Kelly, Gregory
Publicado: (1974)

Model categories and their localizations
por: Hirschhorn, Philip S
Publicado: (2014)

Basic category theory
por: Leinster, Tom
Publicado: (2014)

Rings and categories of modules
por: Anderson, Frank W, et al.
Publicado: (1992)

Categories for the working mathematician
por: Mac Lane, Saunders
Publicado: (1978)

Categories for the working mathematician
por: MacLane, Saunders
Publicado: (1971)

Notes on categories and groupoids
por: Higgins, Philip J
Publicado: (1971)

Towards Higher Categories
por: Baez, John C, et al.
Publicado: (2010)

Categories and Commutative Algebra
por: Salmon, P
Publicado: (2011)

An Introduction to Category Theory
por: Simmons, Harold
Publicado: (2011)

Indexed categories and their applications
por: Johnstone, Peter T, et al.
Publicado: (1978)

Sets, logic and categories
por: Cameron, Peter J
Publicado: (1998)

Rings and categories of modules
por: Anderson, Frank W, et al.
Publicado: (1974)

Involutive category theory
por: Yau, Donald
Publicado: (2020)

Simplicial methods for higher categories: Segal-type models of weak n-categories
por: Paoli, Simona
Publicado: (2019)

Spectrum of a module category
por: Krause, Henning
Publicado: (2001)

Seminar Lectures on Completions of Categories
por: Lambek, Joachim
Publicado: (1966)

Reports of the Midwest Category Seminar
por: Bénabou, J, et al.
Publicado: (1967)

An introduction to the language of category theory
por: Roman, Steven
Publicado: (2017)

Categories, bundles and spacetime topology
por: Dodson, C T J
Publicado: (1988)

Cannot write session to /tmp/vufind_sessions/sess_apui7epia9i4j36hnkalsc2mrt