Isbell conjugacy and the reflexive completion

The reflexive completion of a category consists of the Set-valued functors on it that are canonically isomorphic to their double conjugate. After reviewing both this construction and Isbell conjugacy itself, we give new examples and revisit Isbell’s main results from 1960 in a modern categorical context. We establish the sense in which reflexive completion is functorial, and find conditions under which two categories have equivalent reflexive completions. We describe the relationship between the reflexive and Cauchy completions, determine exactly which limits and colimits exist in an arbitrary reflexive completion, and make precise the sense in which the reflexive completion of a category is the intersection of the categories of covariant and contravariant functors on it.

[1]  Joachim Lambek,et al.  Completions of Categories , 1966 .

[2]  J. Lambek,et al.  Localization and Duality in Additive Categories Theorem 1.1. Let a @bulletb Be a Pair of Adjoint Functors with Adjunctions , 2022 .

[3]  R. J. Wood.  Some remarks on total categories , 1982 .

[4]  The Isbell monad , 2014, 1410.7108.

[5]  Nellie Clarke Brown.  Trees , 1896, Savage Dreams.

[6]  C. McLarty.  The Rising Sea : Grothendieck on Simplicity and Generality , 2003 .

[7]  Friedrich Ulmer,et al.  Properties of dense and relative adjoint functors , 1968 .

[8]  F. William Lawvere,et al.  Metric spaces, generalized logic, and closed categories , 1973 .

[9]  P. Freyd.  Several new concepts: Lucid and concordant functors, pre-limits, pre-completeness, the continuous and concordant completions of categories , 1969 .

[10]  lawa Kanas,et al.  Metric Spaces , 2020, An Introduction to Functional Analysis.

[11]  J. Baez.  Isbell Duality , 2022, 2212.11079.

[12]  J. Isbell.  Structure of categories , 1966 .

[13]  J. McConnell,et al.  Noncommutative Noetherian Rings , 2001 .

[14]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

[15]  G. M. Kelly,et al.  BASIC CONCEPTS OF ENRICHED CATEGORY THEORY , 2022, Elements of ∞-Category Theory.

[16]  S. Willerton.  TIGHT SPANS, ISBELL COMPLETIONS AND SEMI-TROPICAL MODULES , 2013, 1302.4370.

[17]  H. Hirai,et al.  On Tight Spans for Directed Distances , 2012 .

[18]  A. Dress.  Trees, tight extensions of metric spaces, and the cohomological dimension of certain groups: A note on combinatorial properties of metric spaces , 1984 .

[19]  Dominic R. Verity,et al.  ∞-Categories for the Working Mathematician , 2018 .

[20]  John R. Isbell,et al.  Small Adequate Subcategories , 1968 .

[21]  G. M. Kelly,et al.  Notes on enriched categories with colimits of some class (completed version) , 2005, math/0509102.

[22]  J. Isbell.  Six theorems about injective metric spaces , 1964 .