* Closed Grothendieck Construction
@ 2020-10-21 19:43 Christian Williams
0 siblings, 0 replies; only message in thread
From: Christian Williams @ 2020-10-21 19:43 UTC (permalink / raw)
To: categories
Hello,
The equivalence of monoidal indexed categories and monoidal fibrations has
been proved in "Monoidal Grothendieck Construction" by Joe Moeller and
Christina Vasilakopoulou. (https://arxiv.org/abs/1809.00727)
Has the analogous statement for closed structure been proved? It appears to
be folklore, often assumed in categorical logic and elsewhere. It is likely
that I simply haven't found the right reference. Any help is appreciated.
Thank you,
Christian Williams
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2020-10-21 19:43 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-10-21 19:43 Closed Grothendieck Construction Christian Williams
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).