Welcome to MathOverflow

Question

4

1

Let $X$ be a strict $\infty$-category (not $(\infty,1)$, I am talking about true $\infty$-categories (Grothendieck modules (exact presheaves (finite-limit preserving functors $\Theta^{op}\to \mathrm{Set}$) over Joyal's category $\Theta$ (see Dimitri Ara's thesis)). Is there a notion of a Grothendieck fibration between two such $\infty$-categories or a notion of a 1-cell in inside such a strict $\infty$-category being a Grothendieck fibration? If so, how is it formulated?

edited Jul 26 2011 at 8:24

asked Jul 26 2011 at 4:00

Harry Gindi
8,868●2●33●96

David Roberts · Accepted Answer · 2011-07-27 06:59:31Z UTC

It depends on whether you want to mimic the 1-categorical case strictly, or take into account the homotopy nature of the $\infty$-categories. Clearly (or I would hope so!) there is an underlying 1-category of an $\infty$-category, and so a trivial way of arriving at a fibration. I guess this is not what you are after.

My guess would be to imitate the definition along the lines of what I think Street gave in 'Fibrations in bicategories', i.e.

For every morphism $f: X \to B$, the canonical map $i: f/_{\cong} p \to f/p$ has a right adjoint in the slice 2-category $K / X$

where $f/_{\cong} p$ is the 2-pullback, and $f/p$ is the comma object (from the nLab). So we should just replace 2-categorical concepts here by $\infty$-categorical concepts.

This presumes the definition of adjoint $\infty$-functors :)

As to your second question, if we know that $\infty$Cat is enriched over itself, we use the $\infty$-categorical version of the first definition at fibration in a 2-category (nLab again)

EDIT: Since you are after Grothendieck fibrations, not Street fibrations, you would want the $\infty$-versions of strict 2-pullbacks and strict comma objects. This should be a significant simplification. I"m not sure, but you may have strict $\infty$-pullbacks = strict $\infty$-iso-comma object, and if both the comma- and iso-comma-objects can be constructed using cotensors, then to me this would be the best approach. But it of course depends on what you want to do next (aside: yes, I saw your other post in that other place).

Mike Shulman · Answer 2 · 2011-07-26 08:36:26Z UTC

2

I don't know of anyone having written down such a definition for the particular model of ∞-categories that you appear to be interested in, but the general form of the notion of fibration for higher categories is known at an imprecise level. See for instance the nLab page on n-fibrations.

answered Jul 26 2011 at 8:36

Mike Shulman
17.2k●20●70

	There is some ambiguity on the lab page: In the definition of a fibration, are we requiring all three properties, or just one of them? If we require all three, how can the recursive definition work, since part $2$ of the definition explicitly relies on a notion of an $n-1$-fibration. – Harry Gindi Jul 26 2011 at 8:56
	(That is, how can it work for $n=\infty$?) – Harry Gindi Jul 26 2011 at 8:57
	Yes, we require all three properties. It's remarked afterwards that "if we unravel the definition, it makes perfect sense for $n=\omega$" and I think this is true. That is, saying that f is a fibration requires some things about cartesian 1-cells, and also that its action on hom-categories be a fibration, which requires some things about cartesian 2-cells, and also that its action on hom-categories be a fibration, which requires some things about cartesian 3-cells, and so on. After $\omega$ steps of unraveling, we have a list of conditions on cartesian n-cells for every n. – Mike Shulman Jul 29 2011 at 13:59
	Equivalently, in that case we can simply regard it as a coinductive definition. – Mike Shulman Jul 29 2011 at 14:00

Fibrations in strict infinity categories?

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

2 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.