It is commonly believed that neutron stars exceeding the maximum mass limit for stability could be formed in aftermath of binary star mergers, enjoying a short life metastability before losing centrifugal support and collapsing to black hole. suggested here similar scenario take place when remnant's excess supported by an ultra-strong $(\gtrsim 10^{17}\,\mbox{G})$ magnetic field generated durin...

When designing plans in engineering, it is often necessary to consider attributes associated objects, e.g. the location of a robot. Our aim this paper incorporate into existing categorical formalisms for planning, namely those based on symmetric monoidal categories and string diagrams. To accomplish this, we define notion "symmetric category with attributes." This which objects are equipped ret...