Space-time tradeoffs of lenses and optics via higher category theory

• URL: http://arxiv.org/abs/2209.09351v1
• Date: Mon, 19 Sep 2022 21:18:47 GMT
• Title: Space-time tradeoffs of lenses and optics via higher category theory
• Authors: Bruno Gavranovi\'c
• Abstract summary: We show that the embedding of lenses into cartesian optics gets weakened from a functor to an oplax functor whose oplaxator now detects the different composition rule. We establish a conjecture that the well-known isomorphism between cartesian lenses and optics arises out of the lax 2-adjunction between their double-categorical counterparts.
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Optics and lenses are abstract categorical gadgets that model systems with bidirectional data flow. In this paper we observe that the denotational definition of optics - identifying two optics as equivalent by observing their behaviour from the outside - is not suitable for operational, software oriented approaches where optics are not merely observed, but built with their internal setups in mind. We identify operational differences between denotationally isomorphic categories of cartesian optics and lenses: their different composition rule and corresponding space-time tradeoffs, positioning them at two opposite ends of a spectrum. With these motivations we lift the existing categorical constructions and their relationships to the 2-categorical level, showing that the relevant operational concerns become visible. We define the 2-category $\textbf{2-Optic}(\mathcal{C})$ whose 2-cells explicitly track optics' internal configuration. We show that the 1-category $\textbf{Optic}(\mathcal{C})$ arises by locally quotienting out the connected components of this 2-category. We show that the embedding of lenses into cartesian optics gets weakened from a functor to an oplax functor whose oplaxator now detects the different composition rule. We determine the difficulties in showing this functor forms a part of an adjunction in any of the standard 2-categories. We establish a conjecture that the well-known isomorphism between cartesian lenses and optics arises out of the lax 2-adjunction between their double-categorical counterparts. In addition to presenting new research, this paper is also meant to be an accessible introduction to the topic.

Related papers

• LEAF: Unveiling Two Sides of the Same Coin in Semi-supervised Facial Expression Recognition [56.22672276092373]
  Semi-supervised learning has emerged as a promising approach to tackle the challenge of label scarcity in facial expression recognition. We propose a unified framework termed hierarchicaL dEcoupling And Fusing to coordinate expression-relevant representations and pseudo-labels. We show that LEAF outperforms state-of-the-art semi-supervised FER methods, effectively leveraging both labeled and unlabeled data.
  arXiv  Detail & Related papers  (2024-04-23T13:43:33Z)
• Mathematical Foundations for a Compositional Account of the Bayesian Brain [0.0]
  We use the tools of contemporary applied category theory to supply functorial semantics for approximate inference. We define fibrations of statistical games and classify various problems of statistical inference as corresponding sections. We construct functors which explain the compositional structure of predictive coding neural circuits under the free energy principle.
  arXiv  Detail & Related papers  (2022-12-23T18:58:17Z)
• Coend Optics for Quantum Combs [0.0]
  We show two possible ways of defining a category of 1-combs, the first intensionally as coend optics and the second extensionally as a quotient by the operational behaviour of 1-combs on lower-order maps. The extensional definition is of particular interest in the study of quantum combs and we hope this work might produce further interest in the usage of optics for modelling these structures in quantum theory.
  arXiv  Detail & Related papers  (2022-05-18T16:04:55Z)
• String-net construction of RCFT correlators [3.803664831016232]
  We use string-net models to accomplish a direct, purely two-dimensional, approach to correlators of rational conformal field theories. We derive idempotents for objects describing bulk and boundary fields in terms of idempotents in the cylinder category of the underlying modular fusion category. We also derive an Eckmann-Hilton relation internal to a braided category, thereby demonstrating the utility of string nets for understanding algebra in braided tensor categories.
  arXiv  Detail & Related papers  (2021-12-23T16:57:26Z)
• Exploiting a Joint Embedding Space for Generalized Zero-Shot Semantic Segmentation [25.070027668717422]
  Generalized zero-shot semantic segmentation (GZS3) predicts pixel-wise semantic labels for seen and unseen classes. Most GZS3 methods adopt a generative approach that synthesizes visual features of unseen classes from corresponding semantic ones. We propose a discriminative approach to address limitations in a unified framework.
  arXiv  Detail & Related papers  (2021-08-14T13:33:58Z)
• Visual Boundary Knowledge Translation for Foreground Segmentation [57.32522585756404]
  We make an attempt towards building models that explicitly account for visual boundary knowledge, in hope to reduce the training effort on segmenting unseen categories. With only tens of labeled samples as guidance, Trans-Net achieves close results on par with fully supervised methods.
  arXiv  Detail & Related papers  (2021-08-01T07:10:25Z)
• Discovering Relationships between Object Categories via Universal Canonical Maps [80.07703460198198]
  We tackle the problem of learning the geometry of multiple categories of deformable objects jointly. Recent work has shown that it is possible to learn a unified dense pose predictor for several categories of related objects. We show that improved correspondences can be learned automatically as a natural byproduct of learning category-specific dense pose predictors.
  arXiv  Detail & Related papers  (2021-06-17T18:38:18Z)
• Disentangled Non-Local Neural Networks [68.92293183542131]
  We study the non-local block in depth, where we find that its attention can be split into two terms. We present the disentangled non-local block, where the two terms are decoupled to facilitate learning for both terms.
  arXiv  Detail & Related papers  (2020-06-11T17:59:22Z)
• Attribute-Induced Bias Eliminating for Transductive Zero-Shot Learning [144.94728981314717]
  We propose a novel Attribute-Induced Bias Eliminating (AIBE) module for Transductive ZSL. For the visual bias between two domains, the Mean-Teacher module is first leveraged to bridge the visual representation discrepancy between two domains. An attentional graph attribute embedding is proposed to reduce the semantic bias between seen and unseen categories. Finally, for the semantic-visual bias in the unseen domain, an unseen semantic alignment constraint is designed to align visual and semantic space in an unsupervised manner.
  arXiv  Detail & Related papers  (2020-05-31T02:08:01Z)
• Deep segmental phonetic posterior-grams based discovery of non-categories in L2 English speech [65.04834943405673]
  Second language (L2) speech is often labeled with the native, phone categories. In many cases, it is difficult to decide on a categorical phone that an L2 segment to.
  arXiv  Detail & Related papers  (2020-02-01T13:21:33Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.