The Hidden Strength of Costrong Functors
By: Adriana Balan, Silviu-George Pantelimon
Potential Business Impact:
Makes computer programs understand context better.
Strong functors and monads are ubiquitous in Computer Science. More recently, comonads have demonstrated their use in structuring context-dependent notions of computation. However, the dualisation of ``being strong'' property passed somehow unobserved so far. We argue that ``being costrong'' gives a different understanding of how functors can interact with monoidal structures. This work in progress aims to explore costrong functors and their natural properties, with an eye towards the semantics of computations.
Similar Papers
Strong Dinatural Transformations and Generalised Codensity Monads
Logic in Computer Science
Makes computer programs handle tricky choices better.
Demystifying Codensity Monads via Duality
Logic in Computer Science
Simplifies making complex computer programs from simple parts.
Between Markov and restriction: Two more monads on categories for relations
Logic in Computer Science
Organizes math ideas about how things connect.