Commit 2024-01-10 08:02 e5e233f5
View on Github →feat(CategoryTheory/SingleObj): add functor and NatTrans constructors for SingleObj (#9586)
Adds constructors for functors of type SingleObj α ⥤ C and natural transformations of functors SingleObj α ⥤ C.