Tabulation Tribulations
Read OriginalThis article delves into the concept of tabulation in double categories, drawing an analogy with graphs of profunctors. It explains how a tabulation generalizes the category of elements of a profunctor, using a 0-cell with two projections and a universal 2-cell. The discussion covers the 1-dimensional mapping-in condition for constructing vertical arrows and hints at a 2-dimensional condition for 2-cells. The content is highly technical, focusing on category theory concepts relevant to computer science and mathematics, specifically in the context of double categories and profunctors.
Tabulation Tribulations
Comments
No comments yet
Be the first to share your thoughts!
Browser Extension
Get instant access to AllDevBlogs from your browser
Top of the Week
No top articles yet