A user's guide to co/cartesian fibrations
Category Theory
2015-10-09 v1 Algebraic Topology
Abstract
We formulate a model-independent theory of co/cartesian morphisms and co/cartesian fibrations: that is, one which resides entirely *within the -category of -categories*. We prove this is suitably compatible with the corresponding quasicategorical (and in particular, model-dependent) notions studied by Joyal and Lurie.
Keywords
Cite
@article{arxiv.1510.02402,
title = {A user's guide to co/cartesian fibrations},
author = {Aaron Mazel-Gee},
journal= {arXiv preprint arXiv:1510.02402},
year = {2015}
}