Category theory for computing science

Michael Barr, C. W. (1998). Category theory for computing science. Prentice Hall.

Type

Book

Intellectual base

Textbook

Year

1998

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Coequalizer
  • Coequalizers need not exist in every category, are unique only up to unique isomorphism and the coequalizing map is epic without every epimorphism necessarily being a coequalizer.

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:0fc8e9144ef9 · see in the full table