Not signed in

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

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthormattecapu
   • CommentTimeMar 29th 2023
   • (edited Mar 29th 2023)
   • PermaLink
   Author: mattecapu
   Format: TextI was thinking of organizing the pages about fibred category theory in some way. I open this thread to understand better the praxis and customs around doing this. I'd start by creating a [[fibred category theory]] page in which to list some results and ideas. Then I'd like to have a dropdown ToC like the one at the top right corner of [[category theory]]. How does one create this? Then I'll slowly gather some pages around fibred category theory and make them a little more integrated with each other. For instance they'd all have the same dropdown. Among them: * [[Grothendieck fibration]] * [[cleavage]] * [[split fibration]] * [[dual fibration]] * [[definability (fibred category theory)]] * etc. There's also pages to be created, off the top of my head * [[fibred adjunction]] * [[fibred limits]] * [[fibred Yoneda lemma]] * [[comprehension category]] (in particular this one deserves its own page) * [[2-category of fibrations]] * [[2-fibration of fibrations]] * etc. Is it this ok to do? What else would you suggest to include?

   I was thinking of organizing the pages about fibred category theory in some way. I open this thread to understand better the praxis and customs around doing this.
   
   I'd start by creating a fibred category theory page in which to list some results and ideas.
   Then I'd like to have a dropdown ToC like the one at the top right corner of category theory. How does one create this?
   
   Then I'll slowly gather some pages around fibred category theory and make them a little more integrated with each other. For instance they'd all have the same dropdown.
   Among them:
   
   * Grothendieck fibration
   * cleavage
   * split fibration
   * dual fibration
   * definability (fibred category theory)
   * etc.
   
   There's also pages to be created, off the top of my head
   
   * fibred adjunction
   * fibred limits
   * fibred Yoneda lemma
   * comprehension category (in particular this one deserves its own page)
   * 2-category of fibrations
   * 2-fibration of fibrations
   * etc.
   
   Is it this ok to do? What else would you suggest to include?
2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeMar 29th 2023
   • PermaLink
   Author: Urs
   Format: MarkdownItexFrom my phone, am in a talk, so just briefly: That's a good plan! For the floating TOC just create a page as usual (say by requesting it from the [[Sandbox]]) with a title like [[fibred categories -- contents]]. To include it as a TOC, just copy and paste the include-code with the evident substitutions. I can help if you get stuck.

   From my phone, am in a talk, so just briefly:

   That’s a good plan!

   For the floating TOC just create a page as usual (say by requesting it from the Sandbox) with a title like fibred categories – contents.

   To include it as a TOC, just copy and paste the include-code with the evident substitutions. I can help if you get stuck.

3. • CommentRowNumber3.
   • CommentAuthormattecapu
   • CommentTimeMar 29th 2023
   • PermaLink
   Author: mattecapu
   Format: TextBrilliant, thanks :) I created a stub at [[fibred category theory - contents]].

   Brilliant, thanks :) I created a stub at fibred category theory - contents.