Natural transformations as invariant functors

added by DotNetKicks
8/29/2022 4:37:32 PM

180 Views

An article (also) for object-oriented programmers. This article is part of a series of articles about invariant functors. An invariant functor is a functor that is neither covariant nor contravariant. See the series introduction for more details. The previous article described how you can view an endomorphism as an invariant functor.


0 comments