nLab twisted arrow category

Redirected from "principal connections".
Contents

Contents

Terminology

A twisted arrow category is an alternative name for a category of factorisations. That latter name is applied when discussing natural systems and Baues-Wirsching cohomology, whilst the name twisted arrow category is more often used in discussing Kan extensions and within the categorical literature1.

Definition

The twisted arrow category Tw(C)Tw(C) of CC a category is the category of elements of its hom-functor:

Tw(C)=el(hom)=*/hom Tw(C) = el(hom) = * / hom

Explicit description

Unpacking the well-known explicit construction of comma objects in Cat\mathbf{Cat} as comma categories, we get that Tw(C)Tw(C) has

  • objects: ff an arrow in CC, and

  • morphisms: between ff and gg are pairs of arrows (p,q)(p,q) such that the following diagram commutes:

    A p C f g B q D \begin{matrix} A & \overset{p}{\leftarrow} & C \\ f \downarrow & & \downarrow g \\ B & \underset{q}{\to} & D \end{matrix}

    you could view then morphisms from ff to gg as factorizations of gg through ff: g=qfpg = q f p.

From the description above, Tw(C)Tw(C) is the same as Arr(C)Arr(C) the arrow category of CC, but with the direction of pp above in the definition of morphism reversed, hence the twist.

As a lax colimit

The (opposite of the) category Tw(C)Tw(C) can be described as the lax colimit of the diagram CCat:cC/cC \to Cat\colon c\mapsto C/c.

Example

If CC is a partially ordered set, then Tw(C)Tw(C) is isomorphic to the set of nonempty intervals [a,b]={cC|acb}[a,b]=\{c\in C| a\leq c\leq \b\} with aba\leq b in C ordered by inclusion (cf. Johnstone 1999).

Properties

  • From its definition as a comma category, there is a functor (a discrete opfibration, in fact)
    π C:Tw(C)C op×C \pi_C \colon Tw(C) \to C^{op} \times C

    which at the level of objects forgets the arrows:

    π C(f:AB)=(A,B) \pi_C(f \colon A \to B) = (A,B)

    and keeps everything at the morphisms level.

Tw(C)Tw(C) and wedges

One could say that Tw(C)Tw(C) classifies wedges, in the sense that for any functor F:C op×CBF \colon C^{op} \times C \to B,

are the same as

This can be used to give a proof of the reduction of ends to conical limits in the Set\mathbf{Set}-enriched case, and is used in the construction of ends in a derivator.

Generalizations

References

  • M. Bunge, S. Niefield, Exponentiability and single universes, JPAA 148 (2000) pp.217-250.

  • L. Errington, Twisted Systems, PhD thesis Imperial College London 1999. (doi)

  • Peter Johnstone, A Note on Discrete Conduché Fibrations, TAC 5 no.1 (1999) pp.1-11. (pdf)

  • Fred Linton, Autonomous categories and duality of functors, J. Algebra 2 no.3 (1965) pp.315-349.

  • Jacob Lurie, Derived Algebraic Geometry X: Formal Moduli Problems, ms. (2011).

  • Saunders Mac Lane, Categories for the Working Mathematician, Springer Heidelberg 1998². (cf. exercise IX.6.3, p.227)

  • Paul-André Melliès, Noam Zeilberger, Isbell Duality for Refinement Types, arXiv:1501.05115 (2015).


  1. Lawvere (‘Equality in hyperdoctrines’, 1970) uses the term ‘twisted morphism category’.

Last revised on August 19, 2024 at 16:39:42. See the history of this page for a list of all contributions to it.