• category theory, a branch of mathematics, Mac Lane's coherence theorem states, in the words of Saunders Mac Lane, “every diagram commutes”. But regarding...
    7 KB (888 words) - 14:18, 20 May 2025
  • equalities is usually called strictification or rectification. Mac Lane's coherence theorem states, roughly, that if diagrams of certain types commute, then...
    5 KB (557 words) - 04:51, 12 May 2025
  • Thumbnail for Saunders Mac Lane
    Saunders Mac Lane (August 4, 1909 – April 14, 2005), born Leslie Saunders MacLane, was an American mathematician who co-founded category theory with Samuel...
    17 KB (1,625 words) - 23:58, 17 May 2025
  • the elementary morphisms are part of the data of the category. A coherence theorem states that, in order to be assured that all these equalities hold...
    8 KB (952 words) - 04:20, 2 May 2025
  • to a strict monoidal category. This is (essentially) the Mac Lane coherence theorem. Coherence condition Schauenburg 2001 Schauenburg, Peter (2001). "Turning...
    2 KB (244 words) - 06:14, 23 December 2024
  • {\displaystyle \rho } , identities and tensor product) commute: this is Mac Lane's "coherence theorem". It is sometimes inaccurately stated that all such diagrams...
    18 KB (2,436 words) - 22:25, 30 April 2025
  • Thumbnail for Permutoassociahedron
    Kapranov who noted that this structure appears implicitly in Mac Lane's coherence theorem for symmetric and braided categories as well as in Vladimir Drinfeld's...
    5 KB (635 words) - 23:47, 6 April 2025
  • autonomous categories, categories with duality 1963 Saunders Mac Lane Mac Lane coherence theorem for determining commutativity of diagrams in monoidal categories...
    87 KB (273 words) - 12:39, 6 May 2025
  • ISBN 978-1-4419-1523-8. "2.2 The Theory of 2-Categories". Kerodon. MacLane, Saunders; Paré, Robert (1985). "Coherence for bicategories and indexed categories". Journal...
    19 KB (2,524 words) - 10:33, 29 April 2025
  • opposite comultiplication. Note that we also implicitly use Mac Lane's coherence theorem for the monoidal category of vector spaces, identifying ( U ⊗...
    7 KB (1,313 words) - 17:18, 1 February 2025
  • ISBN 978-1-4939-2299-4. MR 3309296. Khan 2023, Theorem 3.1.5. Vistoli 2008, Proposition 3.11. Mac Lane, Saunders (1998). Categories for the Working Mathematician...
    17 KB (2,842 words) - 09:39, 6 May 2025
  • Miguel L. (1972). "Coherence for distributivity" (PDF). In G. M. Kelly; M. Laplaza; G. Lewis; Saunders Mac Lane (eds.). Coherence in Categories. Lecture...
    3 KB (436 words) - 15:08, 20 February 2023
  • incompleteness theorem. Gödel's slingshot argument An argument concerning the semantics of reference and truth, challenging the coherence of theories that...
    271 KB (30,237 words) - 18:29, 25 April 2025
  • a new mathematical theory was created by Samuel Eilenberg and Saunders Mac Lane, known as category theory, and it became a new contender for the natural...
    86 KB (10,964 words) - 16:31, 19 May 2025
  • itself. Like for modules, coherence is in general a strictly stronger condition than finite presentation. The Oka coherence theorem states that the sheaf...
    69 KB (11,083 words) - 00:35, 6 May 2025
  • 2018.11.013 MacLane 1978, p. 138. Bénabou, Jean (1967). "Introduction to bicategories". In Bénabou, J.; Davis, R.; Dold, A.; Isbell, J.; MacLane, S.; Oberst...
    30 KB (4,489 words) - 09:27, 6 April 2025
  • universe MA Martin's axiom MAD Maximally Almost Disjoint Mac Lane 1.  Saunders Mac Lane 2.  Mac Lane set theory is Zermelo set theory with the axiom of separation...
    91 KB (11,628 words) - 12:22, 21 March 2025
  • is the dual of an equalizer. coherator coherator coherence theorem A coherence theorem is a theorem of a form that states a weak structure is equivalent...
    77 KB (11,754 words) - 12:25, 13 May 2025
  • Thumbnail for Isaac Newton
    generalized the binomial theorem to any real number, introduced the Puiseux series, was the first to state Bézout's theorem, classified most of the cubic...
    171 KB (18,277 words) - 21:46, 26 May 2025
  • De Moivre–Laplace theorem In probability theory, the de Moivre–Laplace theorem, which is a special case of the central limit theorem, states that the normal...
    279 KB (31,753 words) - 07:09, 28 January 2025
  • homotopy, but this homotopy fulfills no higher conditions. To get full coherence of higher homotopies one must assume that the space is (equivalent to)...
    16 KB (2,290 words) - 17:15, 31 July 2024
  • Thumbnail for Hilary Putnam
    powerful argument for epistemological skepticism, by challenging its coherence. In metaphysics, he originally espoused a position called metaphysical...
    82 KB (8,912 words) - 12:47, 25 May 2025
  • the brand new Alamo Drafthouse Lakeline location from September 19–26. Coherence Detective Downs Goldberg and Eisenberg Grand Piano Greatful Dead LFO Machete...
    144 KB (14,211 words) - 21:08, 16 May 2025
  • FRS (1928–1990): Irish physicist. Best known for his discovery of Bell's theorem. Richard E. Bellman (1920–1984): American applied mathematician, best known...
    228 KB (28,276 words) - 03:43, 9 March 2025
  • Thumbnail for Bertrand Russell
    Home Service in December 1948. John Newsome Crossley. A Note on Cantor's Theorem and Russell's Paradox, Australian Journal of Philosophy 51, 1973, 70–71...
    151 KB (15,742 words) - 19:24, 17 May 2025
  • Tractatus adhered to a correspondence theory of truth, as opposed to a coherence theory of truth. Logical positivists were also influenced by Wittgenstein's...
    63 KB (6,900 words) - 17:47, 28 February 2025
  • Thumbnail for Timeline of artificial intelligence
    rounding errors] (PDF) (Thesis) (in Finnish). pp. 6–7. "The Boyer-Moore Theorem Prover". Archived from the original on 23 September 2015. Retrieved 15...
    122 KB (4,739 words) - 10:11, 11 May 2025
  • Thumbnail for Søren Kierkegaard
    2003, p. 64. Hutchens 2004. Sartre 1969, p. 430. Swinburne Richard, The Coherence of Theism. Fear and Trembling, 1843 – Søren Kierkegaard – Kierkegaard's...
    206 KB (27,253 words) - 22:59, 8 May 2025
  • Thumbnail for Rudolf Carnap
    Amer. Math. Soc. 35 (6): 880–881. doi:10.1090/s0002-9904-1929-04818-3. Mac Lane, Saunders (1938). "Review: The Logical Syntax of Language by Rudolf Carnap...
    56 KB (6,188 words) - 04:20, 20 April 2025
  • Thumbnail for List of science fiction films of the 2010s
    2012), "UPDATE: Toronto: Terry Gilliam Confirms Christoph Waltz For Zero Theorem", DeadLine. "Android Cop (2014) - Mark Atkins | Synopsis, Movie Info, Moods...
    92 KB (1,145 words) - 19:07, 16 April 2025