311 citations
- Macquarie UniversityAU3 papers
- Astronomical Observatory of RomeIT1 paper
- Australian Astronomical ObservatoryAU1 paper
- Australian National UniversityAU1 paper
- BioMed X InstituteDE1 paper
- Canada–France–Hawaii TelescopeUS1 paper
- Centre de Recherche Astrophysique de LyonFR1 paper
- Centre for Cosmology and Particle Physics PhenomenologyDK1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Consejo Superior de Investigaciones CientíficasES1 paper
- CTA ObservatoryIT1 paper
- Délégation Paris 7FR1 paper
Showing math.CTShow all
2 papers · 1 filter
math.CT2021★ 5 cited
A diagrammatic approach to symmetric lenses
Bryce Clarke
Lenses are a mathematical structure for maintaining consistency between a pair of systems. In their ongoing research program, Johnson and Rosebrugh have sought to unify the treatme…
math.CT2020★ 8 cited
Internal lenses as functors and cofunctors
Bryce Clarke
Lenses may be characterised as objects in the category of algebras over a monad, however they are often understood instead as morphisms, which propagate updates between systems. Wo…