# Start a new discussion

## Not signed in

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

## Discussion Tag Cloud

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

• CommentRowNumber1.
• CommentAuthorzskoda
• CommentTimeOct 7th 2010
• (edited Oct 7th 2010)

In discrete fibration I added a new section on the Street’s definition of a discrete fibration from $A$ to $B$, that is the version for spans of internal categories. I do not really understand this added definition, so if somebody has comments or further clarifications…

• CommentRowNumber2.
• CommentAuthorMike Shulman
• CommentTimeOct 7th 2010

The extra condition just means that the actions of A and B on the fibers of C commute with each other up to isomorphism.

• CommentRowNumber3.
• CommentAuthorzskoda
• CommentTimeOct 7th 2010
Oh, right, this makes full sense now. Thanks.
• CommentRowNumber4.
• CommentAuthorDavidCarchedi
• CommentTimeApr 9th 2013

I changed the commutative diagram for discrete fibration. The previous one was for a discrete opfibration. (I changed $d_0$ do $d_1$).

• CommentRowNumber5.
• CommentAuthorDavidCarchedi
• CommentTimeApr 26th 2013

I went and undid that, since it should be $d_0$. Sorry- was mixing up $d_0$ and $d_1$ in my head, thinking $d_1$ was “target”.

• CommentRowNumber6.
• CommentAuthorTim_Porter
• CommentTimeApr 27th 2013

David. been there done that, perhaps someone should produce a T-shirt! ;-)

• CommentRowNumber7.
• CommentAuthorTim_Porter
• CommentTimeJul 21st 2020

The name was duplicated as a heading. I changed this to ‘Contents’ as in other entries.

1. Using “maps to” instead of “assigns to”. The ambiguity of the latter may have confused some reader in revision 14.

Anonymous

• CommentRowNumber9.
• CommentAuthorvarkor
• CommentTimeSep 22nd 2022

Mention the relationship between representable presheaves and slice categories.