Commit 2023-06-02 11:07 8b3f2b6b
View on Github →feat: functors which commute with shifts (#4429) This PR defines the notion of a functor which commutes with shifts, when both the source and target categories are equipped with shifts by a monoid.
feat: functors which commute with shifts (#4429) This PR defines the notion of a functor which commutes with shifts, when both the source and target categories are equipped with shifts by a monoid.