Mathematical Applications of Category Theory - Contemporary Mathematics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By American Mathematical Society

9780821850329, 9780821876152

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The interaction between category theory and set theory

Mathematical Applications of Category Theory - Contemporary Mathematics ◽

10.1090/conm/030/749767 ◽

1984 ◽

pp. 5-29 ◽

Cited By ~ 8

Author(s):

Andreas Blass

Keyword(s):

Set Theory ◽

Category Theory

Download Full-text

Applications of the dual functor in Banach spaces

Mathematical Applications of Category Theory - Contemporary Mathematics ◽

10.1090/conm/030/749776 ◽

1984 ◽

pp. 277-307

Author(s):

Joan Wick Pelletier

Keyword(s):

Banach Spaces ◽

Dual Functor

Download Full-text

Topological universes and smooth Gel′fand-Naĭmark duality

Mathematical Applications of Category Theory - Contemporary Mathematics ◽

10.1090/conm/030/749775 ◽

1984 ◽

pp. 244-276 ◽

Cited By ~ 10

Author(s):

L. D. Nel

Download Full-text

Eilenberg-MacLane toposes and cohomology

Mathematical Applications of Category Theory - Contemporary Mathematics ◽

10.1090/conm/030/749771 ◽

1984 ◽

pp. 117-131 ◽

Cited By ~ 3

Author(s):

A. Joyal ◽

G. Wraith

Download Full-text

The representation of limits, lax limits and homotopy limits as sections

Mathematical Applications of Category Theory - Contemporary Mathematics ◽

10.1090/conm/030/749769 ◽

1984 ◽

pp. 63-83 ◽

Cited By ~ 2

Author(s):

John W. Gray

Keyword(s):

Homotopy Limits

Download Full-text

Synthetic calculus of variations

Mathematical Applications of Category Theory - Contemporary Mathematics ◽

10.1090/conm/030/749768 ◽

1984 ◽

pp. 30-62

Author(s):

Marta Bunge ◽

Murray Heggie

Keyword(s):

Calculus Of Variations

Download Full-text

A Stone-type representation theory for first order logic

Mathematical Applications of Category Theory - Contemporary Mathematics ◽

10.1090/conm/030/749774 ◽

1984 ◽

pp. 175-243

Author(s):

M. Makkai

Keyword(s):

Representation Theory ◽

Order Logic ◽

First Order Logic ◽

Type Representation ◽

First Order ◽

Stone Type

Download Full-text

A combinatorial theory of connections

Mathematical Applications of Category Theory - Contemporary Mathematics ◽

10.1090/conm/030/749772 ◽

1984 ◽

pp. 132-144 ◽

Cited By ~ 4

Author(s):

Anders Kock

Keyword(s):

Combinatorial Theory

Download Full-text

Introduction

Mathematical Applications of Category Theory - Contemporary Mathematics ◽

10.1090/conm/030/01 ◽

1984 ◽

pp. 1-4 ◽

Cited By ~ 1

Author(s):

John Gray

Download Full-text

Aspects of higher order categorical logic

Mathematical Applications of Category Theory - Contemporary Mathematics ◽

10.1090/conm/030/749773 ◽

1984 ◽

pp. 145-174 ◽

Cited By ~ 16

Author(s):

J. Lambek ◽

P. J. Scott

Keyword(s):

Higher Order ◽

Categorical Logic

Download Full-text

Mathematical Applications of Category Theory - Contemporary MathematicsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By American Mathematical Society

The interaction between category theory and set theory

Applications of the dual functor in Banach spaces

Topological universes and smooth Gel′fand-Naĭmark duality

Eilenberg-MacLane toposes and cohomology

The representation of limits, lax limits and homotopy limits as sections

Synthetic calculus of variations

A Stone-type representation theory for first order logic

A combinatorial theory of connections

Introduction

Aspects of higher order categorical logic

Mathematical Applications of Category Theory - Contemporary Mathematics
Latest Publications