Samuel Steakley

Date: July 2, 2024
Time: 11:00 am - 12:00 pm
Location: ICT 616

Title: Strict Monoidal Categories as Internal Monoids.

Abstract: Internalization is a paradigm for the generalization of classical mathematical definitions, e.g. monoid generalizes to internal monoid in a monoidal category, or group generalizes to internal group in a category with finite products. In this talk, we will demonstrate that strict monoidal categories may profitably be studied as internal monoids in the 1-category of 1-categories. We present detailed calculations pertaining to limits and colimits of internal monoid objects, while relying on little more than the material of an introductory course in category theory.