homomorphism

14열

3답변

"인터리브 된 동형 이형성"의 개념이 진짜입니까?

나는 함수의 다음 클래스를 필요로 오전 : 나는 그것을 발명 class InterleavedHomomorphic x where interleaveHomomorphism :: (forall a . f a -> g a) -> x f -> x g 물론 이름은 어떤 방식으로 어떤 공식 용어는 아니며, 위의 형 클래스는 매우 우아하지 않습니다. 이 개념

haskell functor category-theory comonad homomorphism 2014-06-06

---