Enriched categories as dynamical systems
category theory
dynamical systems
video
Abstract
Often in applied category theory, we hear about how systems form categories — categories of systems. But what about when the systems are categories? In this lecture, we introduce the idea of enriched categories, taking the point of view that an enriched category is a sort of dynamical system.
Often in applied category theory, we hear about how systems form categories — categories of systems. But what about when the systems are categories? In this lecture, we introduce the idea of enriched categories, taking the point of view that an enriched category is a sort of dynamical system.