Any examples of a "sum unmerging" operator, the categorical dual of the record merging one?

For some types A, B, C... the type { x : A, y : B, z : C, ... } is the type of records with projections x, y, z... into the corresponding types and the type [ x : A, y : B, z : C ] is the type of sums with injections from the corresponding types A, B, C, ....

For arbitrary A, B, C, D we can define an operator // that merges two binary records:

_//_ : { x : A, y : B } → { z : C, w : D } → { x : A, y : B, z : C, w : D }

Naturally, we can also define the dual of this operator for two binary sum types:

_\\ : [ x : A, y : B, z : C, w : D ] → [ x : A, y : B ] ⊎ [ z : C, w : D ]

This is easy to generalize to an arbitrary number of injections/projections.

While there is plenty examples of an operator like _//_ existing in programming languages (// in Nix, & in Nickel, in Dhall, Record.merge in PureScript) I can't really think of anything like the _\\ operator from above. I suppose its ergonomics are partly responsible for it, after all it is often easier to infer the arity of the records for _//_ from the arguments used than it is to infer the arity of the outputs for _\\ from context. But can you think of anything?

reddit.com
u/Background_Class_558 — 24 days ago

so can you just not reach proper levels with estrofem pills at all?

A bit over a month of 2mg sublingual Estrofem 3 times a gay (6mg daily total) + 50mg bica daily.

If you don't know bicalutamide is the one that doesn't suppress T production but blocks its receptors. T being higher than normally is the expected effect, the opposite of many other antiandrogenes.

Day <5 my T was 24nmol/L (typical male levels) and E was 30pg/mL. Over 1 month passes and it's now 4nmol/L for T (somehow suppressed?) and 40pg/mL for E (ceiling of male ranges). I also have boobs if you stare at them long enough to notice.

I just checked and apparently

>Following oral administration of 17β-estradiol in micronised form, rapid absorption from the gastrointestinal tract occurs. It undergoes extensive first-pass metabolism in the liver and other enteric organs, and reaches a peak plasma concentration of approximately 44 pg/ml (range 30-53 pg/ml) within 6 hours after intake of 2 mg.

So the 40pg/ml is actually expected. Ok, noted. So then why is my T low and my boobs have grown? And how is it that people have reported good results on treatment the same as mine?

Im planning to switch to injections either way but i also want to understand what's going on here.

edit: SHBG went from 40nmol/L to 65nmol/L

reddit.com
u/Background_Class_558 — 2 months ago

is diabarha trans?

like is this public knowledge im not aware of? he's never mentioned that on his youtube page but like... we have a feminine OC, music which (perhaps vaguely) has some trans themes in some tracks and recently the outfits and the makeup... i guess they still go by he/him since i never saw anybody correct it to she/her and only the other way around.

maybe im just looking for something that isn't there, not sure.

reddit.com
u/Background_Class_558 — 2 months ago