Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorMike Shulman
    • CommentTimeDec 18th 2010

    Finally split two-sided fibration off of Grothendieck fibration. Thanks to Emily Riehl for adding the definitions here.

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeDec 19th 2010
    • (edited Dec 19th 2010)

    I have copied to two-sided fibration the statement of theorem 2.3.2 on page 5 of Emily Riehl’s text.

    Then I added a discussion of how the construction of EE from the profunctor PP that she gives there is equivalently obtained by homming [k][k][k] \star [k] into the collage of PP.

    But I have one problem: what is the EE obtained this way actually? Possibly it is too late for me and I am not concentrating enough, but I see EE as sitting over B op×AB^{op} \times A, not over B×AB \times A.

    In fact, it seems to me that the construction of EE from P:B op×ASetP : B^{op} \times A \to Set that is given in the proof of theorem 2.3.2 is just the construction of the category of elements/Grothendieck construction of PP, and that sits over B op×AB^{op} \times A, not over B×AB \times A.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeDec 20th 2010

    Sorry, i removed my addition again (am keeping it elsewhere, nothing is lost). Maybe there is a typo bugging me, or I am being dense. I’ll look into this tomorrow, when I am fresh again.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeDec 20th 2010

    It seems to me that the last two lines of the proof of theorem 2.3.2 here should read differently.

    I have written out how I think the proof needs to go instead at two-sided fibration.

    (Sorry to belabor this simple point in such a lengthy fashion.)

    I think in summary we can say: the two-sided fibration corresponding to a profunctor is the category of sections of its collage.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeDec 20th 2010
    • (edited Dec 20th 2010)

    I wrote:

    I think in summary we can say: the two-sided fibration corresponding to a profunctor is the category of sections of its collage.

    Just spent a few minutes with Christian Blohmann on the blackboard. It seems we agreed that the construction of a span of simplicial sets from a simplicial set p:KΔ[1]p : K \to \Delta[1] over the interval is indeed precisely this: the simplicial set of sections of pp, whose kk-cells are morphisms Δ[k]×Δ[1]K\Delta[k] \times \Delta[1] \to K subject to the evident constraints.

    But I’ll try to check the precise details later on.

    • CommentRowNumber6.
    • CommentAuthorEmily Riehl
    • CommentTimeDec 20th 2010

    Mike just pointed me here. Urs, you’re right that the morphisms over B are backwards in the construction in my notes. Sorry about that! I’ve checked the version on the nLab and everything seems to be correct. I’ll fix the notes now.

    I like the intuition that the span associated to a profunctor is the sections of its collage. Thinking about simplicial sets though: the construction you mention above (k-simplices of the span being k-“cylinders” whose outer k-dimensional faces lie over 0 and 1 respectively) is a bit smaller than the one you’ve written about elsewhere (k-simplices of the span being maps Δ kΔ kK\Delta^k \star \Delta^k \rightarrow K whose restrictions to the outer k-dimensional faces lie respectively over 0 and 1). Of course, if the original map KΔ 1K \rightarrow \Delta^1 is a mid-fibration, then you can fill each k-cylinder to a (2k+1)-simplex of the right type. Is this what you meant by “the construction of a span…is indeed precisely this”?

    • CommentRowNumber7.
    • CommentAuthorMike Shulman
    • CommentTimeDec 20th 2010

    There is a nice other characterization: the 2-sided discrete fibration E FE_F associated to a profunctor F:B op×ASetF:B^{op}\times A\to Set is also the comma category of its collage regarded as a cospan AK FBA \to K_F \leftarrow B. And dually the collage is the cocomma category of the 2-sided discrete fibration regarded as a span AE FBA \leftarrow E_F \to B. This makes it look kind of like the equivalence between congruences and quotient objects in an exact category.

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeDec 20th 2010

    Mike just pointed me here. Urs, you’re right that the morphisms over B are backwards in the construction in my notes. Sorry about that! I’ve checked the version on the nLab and everything seems to be correct. I’ll fix the notes now.

    Thanks for letting me know!

    I like the intuition that the span associated to a profunctor is the sections of its collage. Thinking about simplicial sets though: the construction you mention above (k-simplices of the span being k-“cylinders” whose outer k-dimensional faces lie over 0 and 1 respectively) is a bit smaller than the one you’ve written about elsewhere

    Yes, I keep thinking about this, but still haven’t quite made up my mind. The problem is that I also still have not seen the detailed writeup of Christian Blohmann and Chenchang-Zhu. But the idea is that given the simplicial set KΔ[1]K \to \Delta[1] they look at its kk-simplices Δ[k]KΔ[1]\Delta[k] \to K \to \Delta[1] and observe that the composite map Δ[k]Δ[1]\Delta[k] \to \Delta[1] equips the vertices of Δ[k]\Delta[k] with a “bipartitioning” given by whether they map to {0}\{0\} or to {1}\{1\} and that this equips KK with the structure of a bi-augmented-simplicial-set K ,K_{\bullet, \bullet} where the first index counts vertices sitting over {0}\{0\} (which may be none) and the second counts vertices over {1}\{1\} (which also may be none). The diagonal (K p,p) p(K_{p,p})_{p \in \mathbb{N}} they take to be the tip of the corresponding span.

    • CommentRowNumber9.
    • CommentAuthorFinnLawler
    • CommentTimeApr 13th 2011

    I’ve edited two-sided fibration somewhat, moving the stuff on discrete fibrations into its own section and adding the definition of a two-sided fibration in an arbitrary finitely-complete bicategory.

    For the past while I’ve been staring at the definition of two-sided fibrations in Cat and trying to relate that to the notion of MM-algebra. I mentioned this in another thread, but I still haven’t completely worked it out, so I’ve put in what I have for what it’s worth. Maybe others could look over it and see what they think.

    • CommentRowNumber10.
    • CommentAuthorMike Shulman
    • CommentTimeApr 13th 2011

    Thanks! This is great. I did a bit of reorganizing, and added another characterization which I like: two-sided fibrations from A to B are exactly the opfibrations in the 2-category Fib(A) over the fibration A×BAA\times B\to A, and dually. But I didn’t really think about the M-algebras yet.

    • CommentRowNumber11.
    • CommentAuthorFinnLawler
    • CommentTimeApr 14th 2011

    That’s very nice (I didn’t even realise that product projections were bifibrations). Do you know if it has been published anywhere, or is it folklore, or what?

    • CommentRowNumber12.
    • CommentAuthorMike Shulman
    • CommentTimeApr 14th 2011

    I’ve never seen or heard of it anywhere before, so it might be due to me. I stumbled across it when thinking about 2-categorical logic and categories of fibrations as the 2-categorical version of “slice categories”. I wouldn’t be surprised if someone else had noticed it earlier, though.

    • CommentRowNumber13.
    • CommentAuthorFinnLawler
    • CommentTimeMay 12th 2011

    I’ve finished off the proof of the proposition at two-sided fibration characterizing two-sided fibrations in Cat. I changed the third condition in the proposition to follow Street’s Conspectus of variable categories — the existing one was probably equivalent, but I couldn’t quite see how off the top of my head. There are quite a few isomorphisms left implicit in the proof, which I think makes it much more readable, but I’d appreciate it if others could glance through it and see if I’ve missed or glossed over anything important.

    • CommentRowNumber14.
    • CommentAuthorMike Shulman
    • CommentTimeMay 13th 2011

    Thanks! Looking back at the previously stated condition, I see that it’s clearly wrong: it would imply that any vertical arrow is invertible! If it was me who originally wrote that condition, I’m sorry. Anyway, I’m glad you fixed it.

    • CommentRowNumber15.
    • CommentAuthorFinnLawler
    • CommentTimeJun 5th 2011

    I found the characterization of #10 in a recently-TAC-Reprinted preprint of Bourn and Penon from 1978, so I’ve added a reference to two-sided fibration.

    • CommentRowNumber16.
    • CommentAuthorMike Shulman
    • CommentTimeJun 5th 2011

    Thanks. That looks like a very interesting paper!

    • CommentRowNumber17.
    • CommentAuthorFinnLawler
    • CommentTimeJun 5th 2011

    Yes, I thought so too. Their notion of catéade seems to be the same as what you call a 2-congruence. In the preface they mention John Bourke’s talk at CT09 on exact 2-categories, but I don’t think he’s published on that (I met John at the last PSSL in Oxford, but never thought to ask him about it). There are some similar ideas in a later paper by Bourn, La tour de fibrations exactes des nn-catégories, Cahiers 25(4), 1984; I don’t know if it’s relevant, but I found it interesting.

    Also, in their appendix Bourn and Penon mention the idea of turning a 2-monad into a lax-idempotent one. I know you and Geoff Cruttwell were working on that in connection with your generalized multicategories paper. Have you written anything on it?

    • CommentRowNumber18.
    • CommentAuthorMike Shulman
    • CommentTimeJun 6th 2011

    Their notion of catéade seems to be the same as what you call a 2-congruence.

    Yes. I wish I read French more fluently.

    I know you and Geoff Cruttwell were working on that in connection with your generalized multicategories paper.

    No, not yet. But when we do write it down, it’s essentially just going to be a generalization to our context (virtual double categories) of what Hermida did in “From coherent structures to universal properties”.

    • CommentRowNumber19.
    • CommentAuthorDavidRoberts
    • CommentTimeApr 3rd 2018

    Added blank line before numbered list so it will format correctly, as well as add in some clarifying notation, in the definition of two-sided discrete fibration.

    diff, v21, current

    • CommentRowNumber20.
    • CommentAuthorbeppe
    • CommentTimeOct 9th 2018
    Hi.

    Concerning the terms, why is the discrete version of two-sided fibration called two-sided discrete fibration, and not discrete two-sided fibration?

    Ciao,

    Beppe.
    • CommentRowNumber21.
    • CommentAuthorMike Shulman
    • CommentTimeOct 9th 2018

    They seem equally reasonable to me. If it was me who wrote “two-sided discrete fibration” first in the entry, probably it was just because it rolled off my tongue slightly more easily. (Most or all of the literature says something like “fibration from A to B”, which is okay when it works, but not when you want to discuss the general concept and distinguish it from one-sided fibrations.)

    Perhaps you have in mind that a two-sided discrete fibration is a two-sided fibration first, with the property of being discrete, whereas a “discrete fibration” sounds like a one-sided thing that can’t then have the property of “being two-sided”? I can see that argument, but I can also not see it. (-: Already one could argue that a “fibration” is already a one-sided thing that can’t then have the property of “being two-sided”; certainly if we say “fibration” unqualified then (in many communities, at least) it means the one-sided version. So if we are to accept “two-sided fibration” (as well as other red-herring words like “Street fibration”, etc.) then the word “fibration” must have multiple possible meanings (two-sided, one-sided, op-, Street, etc.) but gets specialized to a “default” meaning (one-sided, contravariant) if none of those qualifiers are given. And in that case it seems one could equally well argue that the same is true of “discrete fibration”: by default it means one-sided, but that default can be overridden by a qualifier like “two-sided”.

    • CommentRowNumber22.
    • CommentAuthorbeppe
    • CommentTimeOct 10th 2018
    • (edited Oct 10th 2018)
    Hi Mike,

    yes, you got my point: I meant precisely that. I take the notion of two-sided fibration and I consider the discrete such, i.e. the two-sided fibrations with the property of being discrete. On the other end, I understand that two-sided fibrations are not fibrations with the property of being two-sided.

    Ok, then we can freely use the two forms, I mean!

    Thanks.

    Beppe.
    • CommentRowNumber23.
    • CommentAuthorTim_Porter
    • CommentTimeDec 10th 2020

    Fixed a numbering (some empty lines were missing).

    diff, v23, current

    • CommentRowNumber24.
    • CommentAuthormattecapu
    • CommentTimeNov 15th 2022

    Missing ’two-sided’ in the statement of the equivalence of profunctors and two-sided discrete fibrations.

    diff, v26, current

    • CommentRowNumber25.
    • CommentAuthorvarkor
    • CommentTimeDec 29th 2023

    Remarked that two-sided fibrations should not be confused with bifibrations.

    diff, v30, current

    • CommentRowNumber26.
    • CommentAuthorvarkor
    • CommentTimeDec 29th 2023

    Added an early reference.

    diff, v30, current