* Two papers on Axiomatic Cohesion
@ 2014-05-20 14:54 Matias M
0 siblings, 0 replies; only message in thread
From: Matias M @ 2014-05-20 14:54 UTC (permalink / raw)
To: categories
Dear colleagues, last year I gave a talk at the Eilenberg Centenary
Conference showing that sufficiently cohesive presheaf toposes cannot
satisfy Continuity (in the sense of Lawvere's 2007 paper), and also
sketching the construction of cohesive and sufficiently
cohesive (Grothendieck) toposes. In case anyone is interested, details may
be found in the draft "Continuous Cohesion over sets" that can be
downloaded from
https://sites.google.com/site/matiasmenni/
Those interested in Axiomatic Cohesion may also want to have a look at
"Sufficient Cohesion over atomic toposes" also available there.
Looking forward to the next ct meeting, Matías.
[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:[~2014-05-20 14:54 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-05-20 14:54 Two papers on Axiomatic Cohesion Matias M
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).