Google, IBM & Meta Certificates – 40% Off
One plan covers every Professional Certificate on Coursera.
Unlock All Certificates
Explore a detailed mathematics colloquium talk that delves into the extension of Whitman's theory of free lattices, covering enriched lattices over quantales, free bicomplete enriched categories, and free bicomplete enriched oo-categories. Learn how these mathematical concepts connect to Linear Logic semantics through the collaborative work of Hongde Hu and Joyal. Delivered at the Topos Institute Colloquium in February 2024, this 96-minute presentation offers advanced insights into category theory and its applications in mathematical logic.
