Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Fixpoint Objects Need Not be Ω-Discrete

Fixpoint Objects Need Not be Ω-Discrete We show by an example that a fixpoint object in a topos need not be Ω-discrete, though it does share with the polymorphic types studied by Pitts Non-trivial power types can't be subtypes of polymorphic types, 6-13, 1989 the property that no nontrivial power-object can be embedded in it. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Georgian Mathematical Journal de Gruyter

Fixpoint Objects Need Not be Ω-Discrete

Georgian Mathematical Journal , Volume 16 (1) – Mar 1, 2009

Loading next page...
 
/lp/de-gruyter/fixpoint-objects-need-not-be-discrete-kZ2t9iFuZ8

References (8)

Publisher
de Gruyter
Copyright
© Heldermann Verlag
ISSN
1072-947X
eISSN
1072-9176
DOI
10.1515/GMJ.2009.75
Publisher site
See Article on Publisher Site

Abstract

We show by an example that a fixpoint object in a topos need not be Ω-discrete, though it does share with the polymorphic types studied by Pitts Non-trivial power types can't be subtypes of polymorphic types, 6-13, 1989 the property that no nontrivial power-object can be embedded in it.

Journal

Georgian Mathematical Journalde Gruyter

Published: Mar 1, 2009

Keywords: Fixpoint object; discrete object; cartesian closed category; topos

There are no references for this article.