English language
Toggle Transcript
Examples of topos
topos
Topos theory is, in some sense, a generalization of classical point-set topology.
From the en.wikipedia.org
See also Aristotle's Physics, Book IV, Chapter 5, on the definition of topos.
From the en.wikipedia.org
Type theory with product types is related to Cartesian closed catagories and topos.
From the en.wikipedia.org
Building from category theory, there are multiple equivalent definitions of a topos.
From the en.wikipedia.org
A nice introduction to the basics of category theory, topos theory, and topos logic.
From the en.wikipedia.org
I'm currently learning category and topos theory and can contribute from time to time.
From the en.wikipedia.org
Michael Artin and Barry Mazur associated to any topos a pro-simplicial set.
From the en.wikipedia.org
A category of sheaves on a site is called a topos or a Grothendieck topos.
From the en.wikipedia.org
Hall's approach attempted to unify the play's diversity by means of a fairy-tale topos.
From the en.wikipedia.org
- A traditional theme or motif or literary convention; "James Joyce uses the topos of the Wandering Jew in his Ulysses"
- In mathematics, a topos (plural "topoi" or "toposes") is a type of category that behaves like the category of sheaves of sets on a topological space. For a discussion of the history of topos theory, see the article Background and genesis of topos theory.
- (Topo (climbing)) Topo in climbing is a term which refers to the graphical representation (sketch drawing or a photograph with routes depicted) of a climbing route. It is also used for a climbing guidebook of a crag or climbing area in which most routes are described graphically by such topos.
- (Topo (DC Comics)) Topo is a fictional character that has appeared in various comic books published by DC Comics. He is an octopus with humanlike intelligence. Appearing as a sidekick to Aquaman, he exists within DC's main shared universe, known as the DC universe.
- (Topo (robot)) Topo is a robot designed in the 1980s by Androbot Inc. Aimed at the consumer and educational market, it was programmable via Apple II. The programmable language allows the robot to perform a set of geometrical movements, moving around the room and performing tasks. ...
- A literary theme or motif; a rhetorical convention or formula; A certain mathematical structure found in category theory
- (topo) A pencil and paper game of drawing and scoring curves
- (Topo) A sketch of a route showing its line, bolt placements, belay stances, crux and rating.
- (Topo) Abbreviation for topography/topographical map. This is a drawing or photo usually accompanied by a description of the route. It depicts the line the climb takes, bolts (if there are any), belay stations (if it's multiple pitches) and some prominent features, such as shrubs or flakes.
