مطالب مرتبط با «is this an article» در back soft | نویسنده: استخدام کار
Is this an accurate example of a Haskell Pullback?
Vote count: 0 I'm still trying to grasp an intuition of pullbacks (from category theory), limits, and universal properties, and I'm not quite catching their usefulness, so maybe you could help shed some insight on that as well as verifying my trivial example? The following is intentionally verbose, the pullback should be (p, p1, p2), and (q, q1, q2) is one example of a non-universal object to "test" the pullback against to see if things commute properly. -- MY DIAGRAM, A -> B B f x = (x, True) g :: C -> B g x = (1, x) -- PULLBACK, (p, p1, p2) type PL = Int type PR = Bool type P = (PL, PR) p = (1, True) :: P p1 = fst p2 = snd -- (g . p2) p == (f . p1) p -- TEST CASE type QL = Int type QR = Bo...
ادامه مطلب
