Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
