Commit 2023-08-17 15:19 820e7a95

View on Github →

feat: the induced shift on the target category of a functor

Estimated changes