Tight limits and completions from Dedekind-MacNeille to Lambek-Isbell

04/20/2022
by   Dusko Pavlovic, et al.
0

While any infimum in a poset can also be computed as a supremum, and vice versa, categorical limits and colimits do not always approximate each other. If I approach a point from below, and you approach it from above, then we will surely meet if we live in a poset, but we may miss each other in a category. Can we characterize the limits and the colimits that approximate each other, and guarantee that we will meet? Such limits and colimits are called *tight*. Some critically important network applications depend on them. This paper characterizes tight limits and colimits, and describes tight completions, derived by applying the nucleus construction to adjunctions between loose completions. Just as the Dedekind-MacNeille completion of a poset preserves any existing infima and suprema, the tight completion of a category preserves any existing tight limits and colimits and is therefore idempotent.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/27/2020

Adaptive directional Haar tight framelets on bounded domains for digraph signal representations

Based on hierarchical partitions, we provide the construction of Haar-ty...
research
01/28/2021

A note on tight projective 2-designs

We study tight projective 2-designs in three different settings. In the ...
research
11/29/2017

Tighter Lifting-Free Convex Relaxations for Quadratic Matching Problems

In this work we study convex relaxations of quadratic optimisation probl...
research
07/02/2022

On Structuring Functional Programs with Monoidal Profunctors

We study monoidal profunctors as a tool to reason and structure pure fun...
research
11/22/2022

The Tight Spanning Ratio of the Rectangle Delaunay Triangulation

Spanner construction is a well-studied problem and Delaunay triangulatio...
research
02/19/2016

Life, The Mind, and Everything

Incompleteness theorems of Godel, Turing, Chaitin, and Algorithmic Infor...

Please sign up or login with your details

Forgot password? Click here to reset