Pith. sign in

REVIEW 3 cited by

Notes on Lax Ends

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 2210.01522 v1 pith:4VMZOT6R submitted 2022-10-04 math.CT

Kengo Hirata This is my paper · ORCID
classification math.CT
keywords transformationsendsextranaturalweightbicategoricalcategorylemmanatural
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

In enriched category theory, the notion of extranatural transformations is more fundamental than that of ordinary natural transformations, and the ends, the universal extranatural transformations, play a critical role. On the other hand, 2-category theory makes use of several other natural transformations, such as lax and pseudo transformations. For these weak transformations, it is known that we can define the corresponding extranatural transformations or ends. However, there is little literature describing such results in detail. We provide a detailed calculation of the lax end, including its relation to the lax limits. We prove the bicategorical coYoneda lemma as the dual of the bicategorical Yoneda lemma, and also show that the weight of any lax end is a PIE weight, but it might not be a weight for a lax limit.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Ultracategories via Kan extensions of relative monads

    math.CT 2025-06 conditional novelty 7.0 of 10

    Left oplax Kan extensions turn relative 2-monads into pseudomonads with the same colax algebras, producing the weak ultracompletion pseudomonad for ultracategories.

  2. 2-dimensional Lawvere theories, commutativity, and higher Day convolution

    math.CT 2026-02 conditional novelty 6.0 of 10

    A Lawvere 2-theory with a lax (or pseudo/strict) commutativity structure has a model category that is a closed 2-multicategory, implying a Fox-style comonad and a generalized Day convolution.

  3. Generalised ultracategories and conceptual completeness of geometric logic

    math.CT 2025-07 conditional novelty 6.0 of 10

    Generalised ultracategories yield a proof that every topos with enough points is equivalent to the category of left ultrafunctors from its generalised ultracategory of points to Set.

Pith tools