* Cartesian morphism ~~> fibration
@ 2017-09-20 11:23 David Roberts
2017-09-20 17:49 ` Thomas Streicher
[not found] ` <20170920174906.GE8154@mathematik.tu-darmstadt.de>
0 siblings, 2 replies; 5+ messages in thread
From: David Roberts @ 2017-09-20 11:23 UTC (permalink / raw)
To: categories@mta.ca list
Dear all,
I'm trying to find a reference for the following result, if indeed it is
true.
Let X1->B and X2->B be fibrations and F:X1->X2 a cartesian functor over B.
Then F factors on the nose as X1 -> X1' -> X2 (as functors over B) such
that X1->X1' is an equivalence and X1'->X2 is a fibration.
I know it is true if X1 and X2 are fibred in groupoids, this construction
is in the Stacks Project. But the general case?
Thanks,
David
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: Cartesian morphism ~~> fibration
2017-09-20 11:23 Cartesian morphism ~~> fibration David Roberts
@ 2017-09-20 17:49 ` Thomas Streicher
[not found] ` <20170920174906.GE8154@mathematik.tu-darmstadt.de>
1 sibling, 0 replies; 5+ messages in thread
From: Thomas Streicher @ 2017-09-20 17:49 UTC (permalink / raw)
To: David Roberts; +Cc: categories@mta.ca list
> I'm trying to find a reference for the following result, if indeed it is
> true.
I think the claim is wrong in general. Let P : X->B be a fibration of
categories with a terminal object, i.e. P has a right adjoint right
inverse One. Then One : Id_B -> P is a cartesian functor though
itself not a fibration in general (e.g. B = 1 and X the ordinal 2 then
One picks 1 from 2 which has empty fibre over 0).
However, if P is a fibration and Q is a discrete fibration and F is a
functor with QF = P then F is a fibration iff F is a cartesian functor
from P to Q.
Thomas
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: Cartesian morphism ~~> fibration
[not found] ` <20170920174906.GE8154@mathematik.tu-darmstadt.de>
@ 2017-09-20 22:11 ` David Roberts
[not found] ` <20170921094659.GB10551@mathematik.tu-darmstadt.de>
1 sibling, 0 replies; 5+ messages in thread
From: David Roberts @ 2017-09-20 22:11 UTC (permalink / raw)
To: Thomas Streicher; +Cc: categories@mta.ca list
Dear Thomas,
Thanks for that example (and to someone else who, off-line, gave me the
example where B is trivial). Here's the version for categories fibred in
groupoids
https://stacks.math.columbia.edu/tag/06N7
So I guess this extends your example where the codomain is a discrete
fibration, merely having to replace the domain by an equivalent category.
This makes the original cartesian functor a Street fibration, I believe.
This is all in the context of stacks, and in particular algebraic or other
presentable sacks, which is what I'm looking at, though in greater
generality than the Stacks Project.
David
On 21 Sep. 2017 3:19 am, "Thomas Streicher" <
streicher@mathematik.tu-darmstadt.de> wrote:
>> I'm trying to find a reference for the following result, if indeed it is
>> true.
>
> I think the claim is wrong in general. Let P : X->B be a fibration of
> categories with a terminal object, i.e. P has a right adjoint right
> inverse One. Then One : Id_B -> P is a cartesian functor though
> itself not a fibration in general (e.g. B = 1 and X the ordinal 2 then
> One picks 1 from 2 which has empty fibre over 0).
>
> However, if P is a fibration and Q is a discrete fibration and F is a
> functor with QF = P then F is a fibration iff F is a cartesian functor
> from P to Q.
>
> Thomas
>
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: Cartesian morphism ~~> fibration
[not found] ` <20170921094659.GB10551@mathematik.tu-darmstadt.de>
@ 2017-09-21 10:22 ` David Roberts
0 siblings, 0 replies; 5+ messages in thread
From: David Roberts @ 2017-09-21 10:22 UTC (permalink / raw)
To: Thomas Streicher; +Cc: categories@mta.ca list
In fact there's a more general construction, recorded in the Stacks Project
https://stacks.math.columbia.edu/tag/08NF
and in the case that the codomain (only!) is fibred in groupoids it shows
that any cartesian functor factors as an equivalence of fibrations followed
by a fibration.
Regards,
David
On 21 Sep. 2017 7:17 pm, "Thomas Streicher" <
streicher@mathematik.tu-darmstadt.de> wrote:
>> So I guess this extends your example where the codomain is a discrete
>> fibration, merely having to replace the domain by an equivalent category.
>> This makes the original cartesian functor a Street fibration, I believe.
>
> Indeed every functor F between groupoids is a Street fibration and thus
> equivalent to a Grothendieck fibration in the sense that there is a
> fibarion P and an equivalence E such that F = PE.
>
> Interesting that this extends to fibered functors!
>
> Thomas
>
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: Cartesian morphism ~~> fibration
[not found] <CAFL+ZM87_oCKWjnyGcf3KqWzwoKxxf-9YDAHzzx8tV_wisoqyQ@mail.gmail.com>
@ 2017-09-21 9:46 ` Thomas Streicher
0 siblings, 0 replies; 5+ messages in thread
From: Thomas Streicher @ 2017-09-21 9:46 UTC (permalink / raw)
To: David Roberts; +Cc: categories@mta.ca list
> So I guess this extends your example where the codomain is a discrete
> fibration, merely having to replace the domain by an equivalent category.
> This makes the original cartesian functor a Street fibration, I believe.
Indeed every functor F between groupoids is a Street fibration and thus
equivalent to a Grothendieck fibration in the sense that there is a
fibarion P and an equivalence E such that F = PE.
Interesting that this extends to fibered functors!
Thomas
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2017-09-21 10:22 UTC | newest]
Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2017-09-20 11:23 Cartesian morphism ~~> fibration David Roberts
2017-09-20 17:49 ` Thomas Streicher
[not found] ` <20170920174906.GE8154@mathematik.tu-darmstadt.de>
2017-09-20 22:11 ` David Roberts
[not found] ` <20170921094659.GB10551@mathematik.tu-darmstadt.de>
2017-09-21 10:22 ` David Roberts
[not found] <CAFL+ZM87_oCKWjnyGcf3KqWzwoKxxf-9YDAHzzx8tV_wisoqyQ@mail.gmail.com>
2017-09-21 9:46 ` Thomas Streicher
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).