Cargando…
Mathematical applications of category theory /
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Providence, R.I. :
American Mathematical Society,
©1984.
|
| Colección: | Contemporary mathematics (American Mathematical Society) ;
v. 30. |
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- Introduction / John W. Gray
- http://www.ams.org/conm/030/ http://dx.doi.org/10.1090/conm/030/01 The interaction between category theory and set theory / Andreas Blass
- http://www.ams.org/conm/030/ http://dx.doi.org/10.1090/conm/030/749767 Synthetic calculus of variations / Marta Bunge and Murray Heggie
- http://www.ams.org/conm/030/ http://dx.doi.org/10.1090/conm/030/749768 The representation of limits, lax limits and homotopy limits as sections / John W. Gray
- http://www.ams.org/conm/030/ http://dx.doi.org/10.1090/conm/030/749769 Open locales and exponentiation / Peter T. Johnstone
- http://www.ams.org/conm/030/ http://dx.doi.org/10.1090/conm/030/749770 Eilenberg-MacLane toposes and cohomology / A. Joyal and G. Wraith
- http://www.ams.org/conm/030/ http://dx.doi.org/10.1090/conm/030/749771 A combinatorial theory of connections / Anders Kock
- http://www.ams.org/conm/030/ http://dx.doi.org/10.1090/conm/030/749772 Aspects of higher order categorical logic / J. Lambek and P. J. Scott
- http://www.ams.org/conm/030/ http://dx.doi.org/10.1090/conm/030/749773 A Stone-type representation theory for first order logic / M. Makkai
- http://www.ams.org/conm/030/ http://dx.doi.org/10.1090/conm/030/749774 Topological universes and smooth Gelfand-Naĭmark duality / L. D. Nel
- http://www.ams.org/conm/030/ http://dx.doi.org/10.1090/conm/030/749775 Applications of the dual functor in Banach spaces / Joan Wick Pelletier
- http://www.ams.org/conm/030/ http://dx.doi.org/10.1090/conm/030/749776