pretty much, though in a true MLL it would be an additive conjunction of two multiplicative counits

unfortunately the example i gave is difficult to intuit because those types dont exist outside of proper MLL, which isnt very common, but everything else fails to properly illustrate the idea :<