Universal Properties of Lens Proxy Pullbacks

Article Properties

• Language

  English
• DOI (url)

  10.4204/eptcs.380.23
• Publication Date

  2023/08/07
• Journal

  Electronic Proceedings in Theoretical Computer Science
• Indian UGC (journal)
• Matthew Di Meglio University of Edinburgh