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.
The twisted arrow category of a category is the category of elements of its hom-functor:
Unpacking the well-known explicit construction of comma objects in as comma categories, we get that has
objects: an arrow in , and
morphisms: between and are pairs of arrows such that the following diagram commutes:
you could view then morphisms from to as factorizations of through : .
From the description above, is the same as the arrow category of , but with the direction of above in the definition of morphism reversed, hence the twist.
The (opposite of the) category can be described as the lax colimit of the diagram .
If is a partially ordered set, then is isomorphic to the set of nonempty intervals with in C ordered by inclusion (cf. Johnstone 1999).
which at the level of objects forgets the arrows:
and keeps everything at the morphisms level.
One could say that classifies wedges, in the sense that for any functor ,
are the same as
This can be used to give a proof of the reduction of ends to conical limits in the -enriched case, and is used in the construction of ends in a derivator.
The twisted arrow category is a special case of a category of judgments in the sense of (Melliès-Zeilberger 15).
The construction generalizes to -category theory?, see at twisted arrow (∞,1)-category.
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).
Last revised on August 19, 2024 at 16:39:42. See the history of this page for a list of all contributions to it.