Mac Lane coherence theorem
id:
mac-lane-coherence-theorem-207-5107192
title:
Mac Lane coherence theorem
text:
In category theory, a branch of mathematics, Mac Lane's coherence theorem states, in the words of Saunders Mac Lane, “every diagram commutes”. More precisely, it states every formal diagram commutes, where "formal diagram" is an analog of well-formed formulae and terms in proof theory.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Mac_Lane_coherence_theorem
date created:
2019-10-05T03:26:28Z
date modified:
2024-09-11T04:22:45Z
main entity:
{"identifier":"Q111914781","url":"https://www.wikidata.org/entity/Q111914781"}
image:
fields total:
13
integrity:
14