« White Saddle Fungus | Main | Alloy Talk »
Sunday
Oct202019

Category Theory without Objects

DateSun 2019-10-20
Our notion of category is that of [Eilenberg & Mac Lane, 1945]. We identify objects with their identity maps and we regard a diagram A--f-->B as a formula which asserts that A is the (identity map of the) domain of f and that B is the (identity map of the) codomain of f.

From the start of the PhD thesis of F. William Lawvere ( Functorial Semantics of Algebraic Theories and Some Algebraic Problems in the context of Functorial Semantics of Algebraic Theories, 1963).

AuthorTristram Brelstaff | CommentPost a Comment |
in , , ,

Reader Comments

There are no comments for this journal entry. To create a new comment, use the form below.

PostPost a New Comment

Enter your information below to add a new comment.
Author Email (optional):
Author URL (optional):
Post:
 
All HTML will be escaped. Hyperlinks will be created for URLs automatically.

Notify me of follow-up comments via email.