Copyright
. As mentioned in the previous
post, paraphrasing Bénabou, notions of âfamilies of objects/arrowsâ are ubiquitous and fundamental in category theory. It is useful for
our purposes to make this structure explicit. For very little cost, this will also provide a vastly more general notion that will r