osiander's tags:

Find:
16c
16th century
17c
17th century
18c
18th century
20c
20th century
academic
access
Acoustics
adjoints
aesthetics
algebra
algebraic curves
algebraic number theory
algebras
analysis
animal
Art
author
École Normale Supérieure
æsthetics
bibilography
bibliography
Bibliothèque
bicategory
biography
Body
Bonnefoy
bookmarking
books
Borelli
branes
cartesian
cartesian category
casuistry
categories
category
category theory
caus
century 20
century·16
century·17
century·19
century·20
christian
climate
co-rings
coalgebras
comonads
complete intersection
continuum
copyright
cosmology
demonstration
Descartes
dictionary
Differential
digital access
digital rights
diophantine
Dirac · Paul
DMCA
drm
Dynkin
earth
economics
education
effective topos
emotion
entretien
environment
esthétique
ethics
evolution
exhibitions
experiment
explanatory gap
fait divers
Fargue · Léon-Paul
finiteness
foam
Français
France
french
functional analysis
Galileo
Geography
geometry
german
gift
Giraux
graph
graph theory
graviton
gravity
gros topoi
Grothendieck
group theory
Harmony
Harriot
history
history of mathematics
history of science
homology
homotopy
Hopf
Indo-European
induction
internal category
intuitionistic
Italy
Jesuit
journal
Judaism
k-theory
Kant
Kircher
Kuratowski finiteness
latin
libraries
library
linguistics
list
literature
littérature
livres
local fields
locale
logic
loop
machines
manifold theory
mathematics
Möbius symmetry
mechanics
medicine
memory
metaphysics
model theory
monads
music
music theory
musical set theory
narrative
natural number objects
natural numbers
natural numbers object
neuroscience
Newton
Open
operator algebras
orbifolds
orbits
Oulipo
Parant
Pascal hexagon
patristics
Penon topology
periodicals
philosophie
philosophy
philosophy of mind
Philosophy of Science
Photography
physics
plausible reasoning
poésie
poetry
Ponge
presheaves
prints
projective geometry
proof
psychology
public
public information
publishing
qft
Quantum
quantum mechanics
quantum physics
quasi-toposes
quasicrystals
rational choice
real number object
recursive
reference
relations
religion
renaissance
research
Rights
rings
romanticism
sanskrit
sartre
Scholarly publishing
science
smoking
society
Socinianism
spacetime
Spanish
SPIN
spinoza
String Theory
supersymmetry
symmetry
techology
theology
theory
timbre
to do list
topoi
topology
topos
toposes
tropical geometry
ville
violence
Virasoro net
von Neumann algebra
war
web
wikipedia
writing

Users who used "effective topos":

osiander
EXPORT LIST RSS ?
osiander's bookmarks matching tag "effective topos"
 
Number of articles per page:
10 | 25 | 50 | 100
 
The discrete objects in the effective topos.
www.ams.org
Hyland, J. M., Robinson, E. P. Proc. London Math. Soc. ser. 3, 60.1(1990):1–36.
Posted by osiander to natural numbers object effective topos internal category topos category on Mon Dec 19 2005 at 01:31 UTC | info | related

<< Prev 0      Showing entries 1 to 1 of 1 total      Next 0 >>