Categories for the working mathematician

Lane, S. M. (1988). Categories for the working mathematician. Springer-Verlag.

Type

Book

Intellectual base

Review or monograph

Year

1988

Link

no authoritative link yet

Cited by

2 citations across 2 artifacts.

Domain-specific

• Category of relations
  • Rel has identities given by equality relations and composition S∘R relating x to z when some y satisfies xRy and ySz.
• Monoid (category theory)
  • The ambient tensor product need only be associative and unital up to coherent isomorphism; braided structure permits a separate commutativity condition and dualization gives comonoids.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:ccc4efca3c77 · see in the full table