https://github.com/bgavran/lens_resources
Theory and Applications of Lenses and Optics
Science Score: 23.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
○CITATION.cff file
-
○codemeta.json file
-
○.zenodo.json file
-
✓DOI references
Found 1 DOI reference(s) in README -
✓Academic publication links
Links to: arxiv.org, ieee.org, acm.org -
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (5.9%) to scientific vocabulary
Last synced: 10 months ago
·
JSON representation
Repository
Theory and Applications of Lenses and Optics
Basic Info
- Host: GitHub
- Owner: bgavran
- Default Branch: master
- Size: 5.86 KB
Statistics
- Stars: 54
- Watchers: 4
- Forks: 5
- Open Issues: 0
- Releases: 0
Created about 4 years ago
· Last pushed about 4 years ago
Metadata Files
Readme
README.md
Theory and Applications of Lenses and Optics
This is a list of papers studying the theory and application of lenses and optics, as they're used in category theory and functional programming. Many of papers are in multiple fields and some of these fields overlap. Let me know what's missing! (preferably by creating a pull request)
Lenses, Optics
- Categories of Optics
- Generalized Lens Categories via functors Cᵒᵖ→Cat
- Profunctor Optics, a Categorical Update
- Dependent Optics
- Fibre Optics
- Limits of Bimorphic Lenses
- Compound Optics
- What you needa know about Yoneda: profunctor optics and the Yoneda lemma (functional pearl)
- String Diagrams for Optics
- Higher Lenses
- A clear picture of lens laws
- Lenses, fibrations and universal translations
- Relating algebraic and coalgebraic descriptions of lenses
Poly/Containers/Dependent Lenses
- A reference for categorical structures on Poly
- Categories of Containers
- Higher-Order Containers
- Directed Categories as Containers
Delta Lenses
- Limits and colimits in a category of lenses
- A diagrammatic approach to symmetric lenses
- Delta lenses as coalgebra for a comonad
- Delta lenses and opfibration
- Unifying Set-Based, Delta-Based, and Edit-Based Lenses
- The category of asymmetric lenses and its proxy pullbacks
- Internal lenses as functors and cofunctors
Dialectica Categories
Applications
- Lenses: applications and generalizations
- Category Theory in Machine Learning
- Categorical Foundations of Gradient-Based Learning
- Backprop as Functor
- Lenses and Learners
- Dioptics
- Compositional Game Theory
- Bayesian Open Games
- Bayesian Updates Compose Optically
- Automatic Backward Filtering Forward Guiding for Markov processes and graphical models
- Learning as Change Propagation with Delta Lenses
- Learners Languages
- Towards foundations of categorical cybernetics
- Escrows are Optics
- Lenses for Composable Servers
- Poly: An abundant categorical setting for mode-dependent dynamics
- Polynomial Functors: A General Theory of Interaction
- Symmetric edit lenses: a new foundation for bidirectional languages
- Lifting couplings in Wassterstein Spaces
Blog posts
Owner
- Name: Bruno Gavranović
- Login: bgavran
- Kind: user
- Location: London, United Kingdom
- Company: Symbolica
- Website: www.brunogavranovic.com
- Repositories: 26
- Profile: https://github.com/bgavran
Principal Scientist - Categorical Deep Learning @symbolica-ai
GitHub Events
Total
- Watch event: 5
Last Year
- Watch event: 5
Issues and Pull Requests
Last synced: over 1 year ago
All Time
- Total issues: 0
- Total pull requests: 1
- Average time to close issues: N/A
- Average time to close pull requests: 13 minutes
- Total issue authors: 0
- Total pull request authors: 1
- Average comments per issue: 0
- Average comments per pull request: 0.0
- Merged pull requests: 1
- Bot issues: 0
- Bot pull requests: 0
Past Year
- Issues: 0
- Pull requests: 0
- Average time to close issues: N/A
- Average time to close pull requests: N/A
- Issue authors: 0
- Pull request authors: 0
- Average comments per issue: 0
- Average comments per pull request: 0
- Merged pull requests: 0
- Bot issues: 0
- Bot pull requests: 0
Top Authors
Issue Authors
Pull Request Authors
- clayrat (1)