Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
-Autonomous Categories / Michael Barr ; with an appendix by Po-Hsiang Chu
| -Autonomous Categories / Michael Barr ; with an appendix by Po-Hsiang Chu |
| Autore | Barr, Michael |
| Pubbl/distr/stampa | Berlin, : Springer, 1979 |
| Descrizione fisica | viii, 144 p. ; 24 cm |
| Soggetto topico |
54E15 - Uniform structures and generalizations [MSC 2020]
18D15 - Closed categories (closed monoidal and Cartesian closed categories, etc.) [MSC 2020] 46A20 - Duality theory for topological vector spaces [MSC 2020] 18B15 - Embedding theorems, universal categories [MSC 2020] 18D20 - Enriched categories (over closed or monoidal categories) [MSC 2020] 22D35 - Duality theorems for locally compact groups [MSC 2020] |
| Soggetto non controllato |
Categories
Category Theory Structures |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0261056 |
Barr, Michael
|
||
| Berlin, : Springer, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Categories for the working mathematician / Saunders Mac Lane
| Categories for the working mathematician / Saunders Mac Lane |
| Autore | Mac Lane, Saunders |
| Pubbl/distr/stampa | New York, : Springer, 1971 |
| Descrizione fisica | XII, 314 p. : ill. ; 25 cm. |
| Soggetto topico |
18-XX - Category theory; homological algebra [MSC 2020]
18M05 - Monoidal categories, symmetric monoidal categories [MSC 2020] 18Axx - General theory of categories and functors [MSC 2020] 18C15 - Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads [MSC 2020] 18D15 - Closed categories (closed monoidal and Cartesian closed categories, etc.) [MSC 2020] 18N50 - Simplicial sets, simplicial objects [MSC 2020] 18M15 - Braided monoidal categories and ribbon categories [MSC 2020] |
| ISBN | 978-03-87900-35-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0054465 |
|
Mac Lane, Saunders
|
||
| New York, : Springer, 1971 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Categories for the working mathematician / Saunders Mac Lane
| Categories for the working mathematician / Saunders Mac Lane |
| Autore | Mac Lane, Saunders |
| Pubbl/distr/stampa | New York, : Springer, 1971 |
| Descrizione fisica | XII, 314 p. : ill. ; 25 cm |
| Soggetto topico |
18-XX - Category theory; homological algebra [MSC 2020]
18M05 - Monoidal categories, symmetric monoidal categories [MSC 2020] 18Axx - General theory of categories and functors [MSC 2020] 18C15 - Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads [MSC 2020] 18D15 - Closed categories (closed monoidal and Cartesian closed categories, etc.) [MSC 2020] 18N50 - Simplicial sets, simplicial objects [MSC 2020] 18M15 - Braided monoidal categories and ribbon categories [MSC 2020] |
| Soggetto non controllato |
Adjoint functor
Algebra Categories Category Theory Colimit Coproduct Equalizer Semigroups Transformation |
| ISBN | 978-03-87900-35-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0054465 |
|
Mac Lane, Saunders
|
||
| New York, : Springer, 1971 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Categories for the working mathematician / Saunders Mac Lane
| Categories for the working mathematician / Saunders Mac Lane |
| Autore | Mac Lane, Saunders |
| Pubbl/distr/stampa | New York, : Springer, 1971 |
| Descrizione fisica | XII, 314 p. : ill. ; 25 cm |
| Soggetto topico |
18-XX - Category theory; homological algebra [MSC 2020]
18Gxx - Homological algebra in category theory, derived categories and functors [MSC 2020] 18Dxx - Categorical structures [MSC 2020] 18E10 - Abelian categories, Grothendieck categories [MSC 2020] 18Axx - General theory of categories and functors [MSC 2020] 18C15 - Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads [MSC 2020] 18D15 - Closed categories (closed monoidal and Cartesian closed categories, etc.) [MSC 2020] |
| Soggetto non controllato |
Adjoint functor
Algebra Categories Category Theory Colimit Coproduct Equalizer Semigroups Transformation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0267594 |
|
Mac Lane, Saunders
|
||
| New York, : Springer, 1971 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Categories for the working mathematician / Saunders Mac Lane
| Categories for the working mathematician / Saunders Mac Lane |
| Autore | Mac Lane, Saunders |
| Pubbl/distr/stampa | New York, : Springer, 1971 |
| Descrizione fisica | XII, 314 p. : ill. ; 25 cm |
| Soggetto topico |
18-XX - Category theory; homological algebra [MSC 2020]
18Axx - General theory of categories and functors [MSC 2020] 18C15 - Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads [MSC 2020] 18D15 - Closed categories (closed monoidal and Cartesian closed categories, etc.) [MSC 2020] 18M05 - Monoidal categories, symmetric monoidal categories [MSC 2020] 18M15 - Braided monoidal categories and ribbon categories [MSC 2020] 18N50 - Simplicial sets, simplicial objects [MSC 2020] |
| Soggetto non controllato |
Adjoint functor
Algebra Categories Category Theory Colimit Coproduct Equalizer Semigroups Transformation |
| ISBN | 978-03-87900-35-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00054465 |
|
Mac Lane, Saunders
|
||
| New York, : Springer, 1971 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Categories for the working mathematician / Saunders Mac Lane
| Categories for the working mathematician / Saunders Mac Lane |
| Autore | Mac Lane, Saunders |
| Pubbl/distr/stampa | New York, : Springer, 1971 |
| Descrizione fisica | XII, 314 p. : ill. ; 25 cm |
| Soggetto topico |
18-XX - Category theory; homological algebra [MSC 2020]
18Axx - General theory of categories and functors [MSC 2020] 18C15 - Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads [MSC 2020] 18D15 - Closed categories (closed monoidal and Cartesian closed categories, etc.) [MSC 2020] 18Dxx - Categorical structures [MSC 2020] 18E10 - Abelian categories, Grothendieck categories [MSC 2020] 18Gxx - Homological algebra in category theory, derived categories and functors [MSC 2020] |
| Soggetto non controllato |
Adjoint functor
Algebra Categories Category Theory Colimit Coproduct Equalizer Semigroups Transformation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00267594 |
|
Mac Lane, Saunders
|
||
| New York, : Springer, 1971 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Infinity properads and infinity wheeled properads / Philip Hackney, Marcy Robertson, Donald Yau
| Infinity properads and infinity wheeled properads / Philip Hackney, Marcy Robertson, Donald Yau |
| Autore | Hackney, Philip |
| Pubbl/distr/stampa | Cham, : Springer, 2015 |
| Descrizione fisica | XV, 358 p. : ill. ; 24 cm |
| Altri autori (Persone) |
Robertson, Marcy
Yau, Donald |
| Soggetto topico |
55U10 - Simplicial sets and complexes in algebraic topology [MSC 2020]
18D15 - Closed categories (closed monoidal and Cartesian closed categories, etc.) [MSC 2020] 18M60 - Operads (general) [MSC 2020] 55P48 - Loop space machines, operads in algebraic topology [MSC 2020] |
| Soggetto non controllato |
Fundamental Properad
Graphical Sets Infinity-Properads Infinity-Wheeled Properads Properadic Nerve Properadic Segal Map Properads Symmetric Monoidal Categories Wheeled Properads |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0105345 |
|
Hackney, Philip
|
||
| Cham, : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Infinity properads and infinity wheeled properads / Philip Hackney, Marcy Robertson, Donald Yau
| Infinity properads and infinity wheeled properads / Philip Hackney, Marcy Robertson, Donald Yau |
| Autore | Hackney, Philip |
| Pubbl/distr/stampa | Cham, : Springer, 2015 |
| Descrizione fisica | XV, 358 p. : ill. ; 24 cm |
| Altri autori (Persone) |
Robertson, Marcy
Yau, Donald |
| Soggetto topico |
18D15 - Closed categories (closed monoidal and Cartesian closed categories, etc.) [MSC 2020]
18M60 - Operads (general) [MSC 2020] 55P48 - Loop space machines, operads in algebraic topology [MSC 2020] 55U10 - Simplicial sets and complexes in algebraic topology [MSC 2020] |
| Soggetto non controllato |
Fundamental Properad
Graphical Sets Infinity-Properads Infinity-Wheeled Properads Properadic Nerve Properadic Segal Map Properads Symmetric Monoidal Categories Wheeled Properads |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00105345 |
|
Hackney, Philip
|
||
| Cham, : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Infinity properads and infinity wheeled properads / Philip Hackney, Marcy Robertson, Donald Yau
| Infinity properads and infinity wheeled properads / Philip Hackney, Marcy Robertson, Donald Yau |
| Autore | Hackney, Philip |
| Edizione | [Cham : Springer, 2015] |
| Pubbl/distr/stampa | XV, 358 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Altri autori (Persone) |
Robertson, Marcy
Yau, Donald |
| Soggetto topico |
55U10 - Simplicial sets and complexes in algebraic topology [MSC 2020]
18D15 - Closed categories (closed monoidal and Cartesian closed categories, etc.) [MSC 2020] 18M60 - Operads (general) [MSC 2020] 55P48 - Loop space machines, operads in algebraic topology [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0105345 |
|
Hackney, Philip
|
||
| XV, 358 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Introduction to higher order categorical logic / J. Lambek, P. J. Scott
| Introduction to higher order categorical logic / J. Lambek, P. J. Scott |
| Autore | Lambek, J. |
| Pubbl/distr/stampa | Cambridge, : Cambridge university, 1988 |
| Descrizione fisica | X, 293 p. ; 24 cm. |
| Altri autori (Persone) | Scott, Philip J. |
| Soggetto topico |
18-XX - Category theory; homological algebra [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03F50 - Metamathematics of constructive systems [MSC 2020] 18B25 - Topoi [MSC 2020] 03G30 - Categorical logic, topoi [MSC 2020] 03B40 - Combinatory logic and lambda-calculus [MSC 2020] 03B16 - Higher-order logic [MSC 2020] 18D15 - Closed categories (closed monoidal and Cartesian closed categories, etc.) [MSC 2020] 18A15 - Foundations, relations to logic and deductive systems [MSC 2020] 03B38 - Type theory [MSC 2020] |
| ISBN | 978-05-213-5653-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0056893 |
|
Lambek, J.
|
||
| Cambridge, : Cambridge university, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Soggetto topico
-
18D15 - Closed categories (closed monoidal and Cartesian closed categories, etc.) [MSC 2020]
(15)
- 18-XX - Category theory; homological algebra [MSC 2020] (8)
- 18Axx - General theory of categories and functors [MSC 2020] (5)
- 18C15 - Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads [MSC 2020] (5)
- 03-XX - Mathematical logic and foundations [MSC 2020] (3)