1 citations · 1 across the 2 of their papers we have counts for
2 papers
math.CT2024
On a fibrational construction for optics, lenses, and Dialectica categories
Matteo Capucci, Bruno Gavranović, Abdullah Malik +2
Categories of lenses/optics and Dialectica categories are both comprised of bidirectional morphisms of basically the same form. In this work we show how they can be considered a sp…
math.RA2016★ 1 cited
Non-isometric involutive anti-automorphisms
Abdullah Naeem Malik, Tayyab Kamran
We exhibit a non-constructive proof in which anti-automorphisms are not valuation-preserving and hence non-isometric