Pith. sign in

REVIEW 4 cited by

Injective Hulls of Quantale-Enriched Multicategories

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2006.02978 v3 pith:2GHKIRWP submitted 2020-06-04 math.CT

Eros Martinelli This is my paper · ORCID
classification math.CT
keywords injectivehullsquantale-enrichedresultsadjunctionadmitsbanaschewskicategories
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

In this communication we generalize some recent results of Rump to categories enriched in a commutative quantale V. Using these results, we show that every quantale-enriched multicategory admits an injective hull. Finally, we expose a connection between the Isbell adjunction and the construction of injective hulls for topological spaces made by Banaschewski in 1973.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 4 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. OpenAlex reports about 1,881 citations worldwide. Full citation record

  1. Reliability-calibrated deep residual full-waveform inversion using geometry-invariant physics encoding: synthetic validation and zero-shot Marmousi-2 testing

    physics.geo-ph 2026-07 conditional novelty 6.5 of 10

    Geometry-invariant physics encoding plus a conformal residual ensemble and held-out-shot audit cuts FWI error ~38% on synthetics and restores ~0.9 coverage zero-shot on Marmousi-2 under shift.

  2. A discrete adjoint method for deterministic and probabilistic eikonal-equation-based inversion of traveltime for velocity and source location

    physics.geo-ph 2025-01 conditional novelty 6.0 of 10

    A discrete adjoint state method, built on a second-order fast marching solver, provides self-consistent gradients for velocity and source location in eikonal traveltime tomography and enables deterministic and probabi...

  3. Efficient Bayesian inversion for simultaneous estimation of geometry and spatial field using the Karhunen-Lo\`eve expansion

    stat.AP 2024-12 conditional novelty 6.0 of 10

    A simultaneous geometry-and-field Bayesian inversion method that exploits the domain independence of the Karhunen-Loeve expansion to avoid repeated integral eigenvalue solves and Moore-Penrose inverses.

  4. Automatic Differentiation-based Full Waveform Inversion with Flexible Workflows

    cs.LG 2024-11 conditional novelty 4.0 of 10

    ADFWI is an open-source PyTorch framework that uses automatic differentiation to replace hand-derived adjoint-state gradients in full waveform inversion across acoustic, elastic, and anisotropic media.

Pith tools