Background
Basic concepts
equivalences in/of -categories
Universal constructions
Local presentation
Theorems
Extra stuff, structure, properties
Models
Let be functors. A natural transformation is cartesian if for any morphism in , the naturality square
is a pullback.
There is an evident generalization to natural transformations between higher categories.
(equifibered natural transformations of (∞,1)-colimits in an (∞,1)-topos)
Let be an (∞,1)-topos. For a small (∞,1)-category, write for the result of adjoining a terminal object (the shape of cocones under -shaped diagrams), and let
be a natural transformation between two -shaped diagrams (∞-functors), with
denoting its restriction away from the cocone tip.
If
and
then the following are equivalent:
is an (∞,1)-colimit diagram,
(Rezk 10, 6.5, Lurie, Theorem 6.1.3.9 (4))
Let be the opposite of the simplex category, so that is the opposite of the augmented simplex category.
Let
be groupoid objects and write
for the corresponding effective epimorphisms into their (∞,1)-colimits.
Then Prop. implies that the following are equivalent:
a morphism of groupoid objects is a cartesian natural transformation;
the corresponding transformation of effective epimorphisms
is an (∞,1)-pullback square.
In the context of category theory the concept is discussed in
Aurelio Carboni and Peter Johnstone, Connected limits, familial representability and Artin glueing, Mathematical Structures in Computer Science, Vol. 5 Iss. 4, Cambridge U. Press (December 1995), 441-459.
Tom Leinster, Higher Operads, Higher Categories, Cambridge University Press 2003. (arXiv:math/0305049)
Mark Weber. Generic morphisms, parametric representations and weakly Cartesian monads. Theory Appl. Categ 13.14 (2004): 191-234.
Juergen Koslowski, A monadic approach to polycategories, TAC Vol. 14, 2005, No. 7, pp 125-156.
Nicola Gambino and Joachim Kock. Polynomial functors and polynomial monads. Mathematical proceedings of the cambridge philosophical society. Vol. 154. No. 1. Cambridge University Press, 2013.
In the context of (infinity,1)-categories (with an eye towards (infinity,1)-toposes) the concept is called equifibered natural transformations and is considered in
Charles Rezk, p. 9 of Toposes and homotopy toposes (2010) (pdf)
Charles Rezk, p. 2 of When are homotopy colimits compatible with homotopy base change? (2014) (pdf)
The name “equifibered” comes from the fact that since is a pullback of , they must have isomorphic fibers. (Of course, if is not connected, then being equifibered does not imply that all components of have isomorphic fibers.)
Last revised on March 22, 2024 at 10:59:26. See the history of this page for a list of all contributions to it.