A categorical setting for the 4-colour theorem

DOI10.1016/0022-4049(95)00071-4zbMath0853.18004OpenAlexW2057007339MaRDI QIDQ1901000

Dusko Pavlovic

Publication date: 3 December 1995

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(95)00071-4

zbMATH Keywords

coalgebravarietycubic graphscolouringsadjoint functorsuniversal properties4-colour problemcotripleable functortopos of colour algebras

Mathematics Subject Classification ID

Topoi (18B25) Coloring of graphs and hypergraphs (05C15) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Cites Work

• The four color proof suffices
• Atomic toposes
• Une théorie combinatoire des séries formelles
• Every planar map is four colorable. I: Discharging
• Every planar map is four colorable. II: Reducibility
• Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
• A Categorical Characterization of the Four Colour Theorem
• Every planar map is four colorable
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item