Jump to ContentJump to Main Navigation

You are looking at 1-20 of 48 items

  • Keywords: topos x
Clear All Modify Search

View:

UNIVERSES IN TOPOSES

Thomas Streicher

in From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics

Published in print:
2005
Published Online:
September 2007
ISBN:
9780198566519
eISBN:
9780191713927
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780198566519.003.0005
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

This chapter discusses a notion of universe in toposes, which from a logical point of view gives rise to an extension of Higher Order Intuitionistic Arithmetic (HAH). In this way, one can construct ... More


Cairo Collages: Everyday Life Practices after the Event

Mona Abaza

Published in print:
2020
Published Online:
September 2020
ISBN:
9781526145116
eISBN:
9781526152114
Item type:
book
Publisher:
Manchester University Press
DOI:
10.7765/9781526145123
Subject:
Anthropology, Middle Eastern Cultural Anthropology

In Cairo collages, the large-scale political, economic, and social changes in Egypt brought on by the 2011 revolution are set against the declining fortunes of a single apartment building in a ... More


SOME CONSTRUCTIVE ROADS TO TYCHONOFF

Steven Vickers

in From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics

Published in print:
2005
Published Online:
September 2007
ISBN:
9780198566519
eISBN:
9780191713927
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780198566519.003.0014
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

This chapter discusses the Tychonoff Theorem with respect to point-free topology from the point of view of both topos-valid and predicative mathematics. A new proof of the infinitary Tychonoff ... More


TOWARD A MINIMALIST FOUNDATION FOR CONSTRUCTIVE MATHEMATICS

Maria Emilia Maietti and Giovanni Sambin

in From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics

Published in print:
2005
Published Online:
September 2007
ISBN:
9780198566519
eISBN:
9780191713927
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780198566519.003.0006
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

The two main views in modern constructive mathematics usually associated with constructive type theory and topos theory are compatible with the classical view, but they are incompatible with each ... More


Unbuilding the Acropolis in Greek Literature

Vassilis Lambropoulos

in Classics and National Cultures

Published in print:
2010
Published Online:
September 2010
ISBN:
9780199212989
eISBN:
9780191594205
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199212989.003.0010
Subject:
Classical Studies, Prose and Writers: Classical, Early, and Medieval

Despite its eminence as a physical location and imaginary topos, the Acropolis appears very rarely in modern Greek poetry and fiction. When it does, local writers instead of glorifying it, like their ... More


The Devil in the Detail

Mary Orr

in Flaubert's Tentation: Remapping Nineteenth-Century French Histories of Religion and Science

Published in print:
2008
Published Online:
January 2009
ISBN:
9780199258581
eISBN:
9780191718083
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199258581.003.0007
Subject:
Literature, World Literature, 19th-century and Victorian Literature

Devil's rides into space are a well‐worked topos in literature, but this chapter points out for the first time their literal realities in the Montgolfier balloons and Garnarin's parachute that ... More


Lyrics

A. C. Spearing

in Textual Subjectivity: The Encoding of Subjectivity in Medieval Narratives and Lyrics

Published in print:
2005
Published Online:
September 2007
ISBN:
9780198187240
eISBN:
9780191719035
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780198187240.003.0006
Subject:
Literature, Early and Medieval Literature

This chapter turns from narrative to lyric, traditionally seen as expressing its writer’s own feelings. The ‘sincerity-topos’ is studied in the troubadour Bernart de Ventadorn and as embodied in ... More


Theories, Sites, Toposes: Relating and studying mathematical theories through topos-theoretic 'bridges'

Olivia Caramello

Published in print:
2017
Published Online:
March 2018
ISBN:
9780198758914
eISBN:
9780191818752
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780198758914.001.0001
Subject:
Mathematics, Geometry / Topology, Pure Mathematics

This book is devoted to a general study of geometric theories from a topos-theoretic perspective. After recalling the necessary topos-theoretic preliminaries, it presents the main methodology it uses ... More


Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy

David Corfield

Published in print:
2020
Published Online:
March 2020
ISBN:
9780198853404
eISBN:
9780191888069
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780198853404.001.0001
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

In[KF1] 1914, in an essay entitled ‘Logic as the Essence of Philosophy’, Bertrand Russell promised to revolutionize philosophy by introducing there the ‘new logic’ of Frege and Peano: “The old logic ... More


The p-adic Simpson Correspondence (AM-193)

Ahmed Abbes, Michel Gros, and Takeshi Tsuji

Published in print:
2016
Published Online:
October 2017
ISBN:
9780691170282
eISBN:
9781400881239
Item type:
book
Publisher:
Princeton University Press
DOI:
10.23943/princeton/9780691170282.001.0001
Subject:
Mathematics, Algebra

The p-adic Simpson correspondence, recently initiated by Gerd Faltings, aims at describing all p-adic representations of the fundamental group of a proper smooth variety over a p-adic field in terms ... More


Covanishing topos and generalizations

Ahmed Abbes, Michel Gros, and Takeshi Tsuji

in The p-adic Simpson Correspondence (AM-193)

Published in print:
2016
Published Online:
October 2017
ISBN:
9780691170282
eISBN:
9781400881239
Item type:
chapter
Publisher:
Princeton University Press
DOI:
10.23943/princeton/9780691170282.003.0006
Subject:
Mathematics, Algebra

This chapter focuses on the Faltings topos, the general framework for Faltings' approach in p-adic Hodge theory. It presents a new approach to the Faltings topos based on a generalization of ... More


James I of Scotland and The Kingis Quair

JOANNA SUMMERS

in Late-Medieval Prison Writing and the Politics of Autobiography

Published in print:
2004
Published Online:
January 2010
ISBN:
9780199271290
eISBN:
9780191709586
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199271290.003.0003
Subject:
Literature, Early and Medieval Literature

This chapter examines the captivity of James I of Scotland, and discusses how the ‘I’ voice of The Kingis Quair may be read as James I's autobiographical identity. It examines how the identity James ... More


Commentary

A. K. Bate (ed.)

in Joseph of Exeter: Trojan War: Books I-III

Published in print:
1986
Published Online:
February 2021
ISBN:
9780856682940
eISBN:
9781800342729
Item type:
chapter
Publisher:
Liverpool University Press
DOI:
10.3828/liverpool/9780856682940.003.0003
Subject:
Classical Studies, Poetry and Poets: Classical, Early, and Medieval

This chapter provides the commentary for Joseph of Exeter's The Trojan War, which includes Iliadum lacrimas or the author's use for various synonyms for Troy or Trojan. It explains the two wars that ... More


Patience and Passion in Shakespeare and Milton

Judith H. Anderson

in Reading the Allegorical Intertext: Chaucer, Spenser, Shakespeare, Milton

Published in print:
2008
Published Online:
September 2011
ISBN:
9780823228478
eISBN:
9780823241125
Item type:
chapter
Publisher:
Fordham University Press
DOI:
10.5422/fordham/9780823228478.003.0018
Subject:
Literature, Criticism/Theory

Milton's poetry recalls the centrality and complexity of Shakespeare's engagement with patience but goes beyond it to render the traditional significance of this virtue dynamic and revisionary. King ... More


The Other Side

Rachel Havrelock

in River Jordan: The Mythology of a Dividing Line

Published in print:
2011
Published Online:
September 2013
ISBN:
9780226319575
eISBN:
9780226319599
Item type:
chapter
Publisher:
University of Chicago Press
DOI:
10.7208/chicago/9780226319599.003.0006
Subject:
Religion, Biblical Studies

This chapter shifts the focus from the Jordan, and the ramifications of crossing or not crossing it, to the other side referred to here as Transjordan. Considering how location also carries the ... More


Thought Is Inseparable from a Critique

Willy Thayer

in Technologies of Critique

Published in print:
2020
Published Online:
September 2020
ISBN:
9780823286744
eISBN:
9780823288878
Item type:
chapter
Publisher:
Fordham University Press
DOI:
10.5422/fordham/9780823286744.003.0036
Subject:
Philosophy, Political Philosophy

This chapter focuses on Gilles Deleuze who wrote that thought and creation are inseparable from a critique. It discusses Deleuze's two ways of criticizing. One way stresses beliefs, knowledges, and ... More


Flat functors and classifying toposes

Olivia Caramello

in Theories, Sites, Toposes: Relating and studying mathematical theories through topos-theoretic 'bridges'

Published in print:
2017
Published Online:
March 2018
ISBN:
9780198758914
eISBN:
9780191818752
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780198758914.003.0007
Subject:
Mathematics, Geometry / Topology, Pure Mathematics

This chapter develops a general theory of extensions of flat functors along geometric morphisms of toposes; the attention is focused in particular on geometric morphisms between presheaf toposes ... More


Apprehending Human Voice in the “Silent Cinema”

Julie Brown (ed.)

in Voicing the Cinema: Film Music and the Integrated Soundtrack

Published in print:
2020
Published Online:
September 2020
ISBN:
9780252043000
eISBN:
9780252051869
Item type:
chapter
Publisher:
University of Illinois Press
DOI:
10.5622/illinois/9780252043000.003.0002
Subject:
Film, Television and Radio, Film

In the silent cinema there was no soundtrack, nor indeed sonic accompaniment that was consistently applied to particular moving pictures in their various exhibition spaces. Least of all was there an ... More


Scientific Methods at the Edge of Biomedicine

Colleen Derkatch

in Bounding Biomedicine: Evidence and Rhetoric in the New Science of Alternative Medicine

Published in print:
2016
Published Online:
September 2016
ISBN:
9780226345840
eISBN:
9780226345987
Item type:
chapter
Publisher:
University of Chicago Press
DOI:
10.7208/chicago/9780226345987.003.0004
Subject:
History, History of Science, Technology, and Medicine

This chapter focuses on scientific method as the key rhetorical topos, or topic, within evidence-based medicine that furnishes lines of argument that researchers adopt to align complementary and ... More


A Path to a New Logic

David Corfield

in Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy

Published in print:
2020
Published Online:
March 2020
ISBN:
9780198853404
eISBN:
9780191888069
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780198853404.003.0001
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

This chapter explains how modal homotopy type theory combines ideas from two currents of thought: type theory and category theory. Despite what might appear to be rather different philosophical ... More


View: