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.
Free Bicompletion of Categories Revisited - Part 1
Overview
Syllabus
André Joyal: "Free bicompletion of categories revisited (part 1)"
Taught by
Topos Institute
Related Courses
-
Canonical Extensions of Quantale Enriched Categories
-
Monoidal Bicategories, Differential Linear Logic, and Analytic Functors
-
Products in Double Categories Revisited
-
Differential Categories from Functor Calculus
-
Models for (∞,n)-Categories with Discreteness Conditions
-
Dual Algebraic Structures and Enrichment: From Sweedler Theory to Operadic Structures
