Information for "Mac Lane coherence theorem"

From HandWiki

Basic information

Display titleMac Lane coherence theorem
Default sort keyMac Lane coherence theorem
Page length (in bytes)2,507
Namespace ID0
Page ID333575
Page content languageen - English
Page content modelwikitext
Indexing by robotsAllowed
Number of redirects to this page0
Counted as a content pageYes
HandWiki item IDNone

Page protection

EditAllow all users (infinite)
MoveAllow all users (infinite)
View the protection log for this page.

Edit history

Page creatorimported>CodeMe
Date of page creation20:10, 6 March 2023
Latest editorimported>CodeMe
Date of latest edit20:10, 6 March 2023
Total number of edits1
Recent number of edits (within past 90 days)0
Recent number of distinct authors0

Page properties

Hidden category (1)

This page is a member of a hidden category:

Transcluded templates (31)

Templates used on this page:

SEO properties

Description

Content

Article description: (description)
This attribute controls the content of the description and og:description elements.
In category theory, a branch of mathematics, Mac Lane coherence theorem states, in the words of Saunders Mac Lane, “every diagram commutes”. More precisely (cf. #Counter-example), it states every formal diagram commutes, where "formal diagram" is an analog of well-formed formulae and terms in proof theory...
Information from Extension:WikiSEO