Menu
If I find out that something is a Monoid or Monad, I get all to use all kinds of fun functions, like foldMap, sequence or even mapM. They make me happy.
What do I get if I find out that something is a Category? Do I get anything fun besides overloading id and (.) ?
482
It contains mainly items, equipment, components, software and technology that are specially designed or modified for military use.
The List of Dual-Use Goods includes a wide range of goods that are designed for commercial applications, but can have military applications or potentially be used as precursors or components of weapons of mass destruction. A 5-digit alphanumeric code is used for goods and technology in the List of Dual-Use Goods.
Dual-use items are goods, software and technology that can be used for both civilian and military applications.
The Strategic Goods Control List is found in The Schedule to the Strategic Goods (Control) Order 2021. It includes items from the four multilateral export control regimes – Australia Group, Missile Technology Control Regime, Nuclear Suppliers Group and Wassenaar Arrangement.
Do I get anything fun besides overloading id and (.) ?
Well, you also (should) get the laws associated with them:
"identity/left" forall p .
id . p = p
"identity/right" forall p .
p . id = p
"association" forall p q r .
(p . q) . r = p . (q . r)
As a side note:
The reason that you don't get that many fun functions like mapM or foldMap is, that saying something is a category is actually saying very little about it. The most useful functions I guess are the ones defined in Control.Category, which sometimes make code easier to read: >>> and <<<
156
Control.Category is just the ground work for Control.Arrow, and that's where you get the fun functions from.
44
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With
