* do weakly localic maps of toposes compose? (correction)
@ 2010-10-07 10:57 Thomas Streicher
0 siblings, 0 replies; only message in thread
From: Thomas Streicher @ 2010-10-07 10:57 UTC (permalink / raw)
To: categories
There was a little but crucial mistake in my mail yesterday. The functors
corresponding to generalized triposes over SS preserves finite limits and
have bound 1.
Implicit in Andy Pitts Thesis (1981) there is a geometric account of a mild
generalisation of triposes. They are equivalent to finite limit preserving
functors F : SS -> EE between toposes for which 1 is a bound, i.e. every object
A of EE appears as subquotient of some FI. In lack of a better name I call
these functors "weakly localic".
My question is whether weakly localic maps are closed under composition?
I guess that not but lack an example. If anyone had a suggestion I'd be
very grateful!
Thomas
[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:[~2010-10-07 10:57 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-10-07 10:57 do weakly localic maps of toposes compose? (correction) Thomas Streicher
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).