From: streicher@mathematik.tu-darmstadt.de
To: "Christian Sattler" <sattler.christian@gmail.com>
Cc: "Richard Garner" <richard.garner@mq.edu.au>,
"David Roberts" <droberts.65537@gmail.com>,
"Thomas Streicher" <streicher@mathematik.tu-darmstadt.de>,
"Jon Sterling" <jon@jonmsterling.com>,
"categories@mq.edu.au" <categories@mq.edu.au>
Subject: Re: Fibrewise opposite fibration
Date: Thu, 1 Feb 2024 00:41:59 +0100 [thread overview]
Message-ID: <5aca1a1590406e68498c51bb858d89b5.squirrel@webmail.mathematik.tu-darmstadt.de> (raw)
In-Reply-To: <CALCpNBqCu2rASW=TQPw-JwjqXQuDSmgB0DRcM63946E1bhWJDA@mail.gmail.com>
If we work with split fibrations and arbitrary cartesian functors between
them we can construct the opposite of a fibration without quotienting.
That is possible but in my eyes less elegant than the usual approach where
one assumes that one can factorize modulo equivalence relations even if
they are big.
Thomas
----------
You're receiving this message because you're a member of the Categories mailing list group from Macquarie University.
Leave group:
https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b
next prev parent reply other threads:[~2024-01-31 23:45 UTC|newest]
Thread overview: 33+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-01-28 0:51 David Roberts
2024-01-28 11:54 ` Jon Sterling
2024-01-28 20:03 ` Thomas Streicher
2024-01-30 6:42 ` David Roberts
2024-01-31 0:35 ` Richard Garner
2024-01-31 19:31 ` Christian Sattler
2024-01-31 23:41 ` streicher [this message]
2024-02-01 4:48 ` Martin Bidlingmaier
2024-02-01 9:43 ` Jon Sterling
2024-02-01 11:06 ` Thomas Streicher
2024-02-01 11:18 ` Jon Sterling
2024-02-01 11:46 ` Thomas Streicher
[not found] ` <ZbuFZoT9b9K8o7zi@mathematik.tu-darmstadt.de>
2024-02-02 10:11 ` Thomas Streicher
2024-02-01 11:26 ` Christian Sattler
2024-02-09 0:02 ` Dusko Pavlovic
2024-02-09 1:48 ` Michael Barr, Prof.
2024-02-09 19:55 ` Dusko Pavlovic
2024-02-10 6:28 ` David Roberts
2024-02-10 8:42 ` Jon Sterling
2024-02-09 11:25 ` Fibrewise opposite fibration + computers Sergei Soloviev
2024-02-09 20:25 ` Dusko Pavlovic
2024-02-12 13:20 ` Fibrewise opposite fibration Nath Rao
2024-02-13 8:16 ` Jon Sterling
2024-02-13 10:04 ` Thomas Streicher
2024-02-13 10:56 ` Jon Sterling
2024-02-13 11:38 ` Thomas Streicher
2024-02-13 11:53 ` Jon Sterling
2024-02-13 12:18 ` Thomas Streicher
2024-02-13 16:35 ` Thomas Streicher
2024-02-23 1:50 ` Dusko Pavlovic
2024-02-23 1:52 ` Dusko Pavlovic
2024-02-23 1:42 ` Dusko Pavlovic
2024-02-26 7:31 ` Dusko Pavlovic
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=5aca1a1590406e68498c51bb858d89b5.squirrel@webmail.mathematik.tu-darmstadt.de \
--to=streicher@mathematik.tu-darmstadt.de \
--cc=categories@mq.edu.au \
--cc=droberts.65537@gmail.com \
--cc=jon@jonmsterling.com \
--cc=richard.garner@mq.edu.au \
--cc=sattler.christian@gmail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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).