Re: Fibrewise opposite fibration

[Christian Sattler <sattler.christian@gmail.com>]

[-- Attachment #1: Type: text/plain, Size: 1679 bytes --]

I think there is a problem with this analogy. A basis for a vector space is actual (higher) data, but a cleavage for a fibration is property-like data.

Morphisms of fibrations that weakly preserve the cleavage are just morphisms of fibrations.

Morphisms of vector spaces that preserve a chosen basis are very different from just morphisms of vector spaces.

On Thu, 1 Feb 2024, 12:07 Thomas Streicher, <streicher@mathematik.tu-darmstadt.de<mailto:streicher@mathematik.tu-darmstadt.de>> wrote:
Dear Jon,

for constructing the opposite of a fibration you do not need at all
that the chosen cleavage is split. It is easy to see that fixing the
cartesian arrow also fixes the vertical arrow.

If everybody is happy with this solution I am fine. It is in the same spirit
as chosen pullbacks or chosen finite limits.
The reason for my reluctance is that nobody would consider as a
natural notion a vector space with a chosen basis.
The virtue of strong choice is that then such additional structure can be
pulled out of the hat at demand.


Thomas


You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 3913 bytes --]