Newbetuts
.
New posts in topos-theory
Properties of the internal language of the category of sheaves.
reference-request
logic
sheaf-theory
topos-theory
Dense topology <=> double negation operator in a constructive metatheory?
logic
topos-theory
constructive-mathematics
grothendieck-topologies
Local strictly henselian $\mathbb{Q}$-algebras (i.e. "points in étale topology")
algebraic-geometry
commutative-algebra
topos-theory
etale-cohomology
hensels-lemma
What is the relation between axiomatic set theory and logical quantifiers?
logic
set-theory
axioms
topos-theory
Where does one learn the algebraic geometry needed for topos theory?
reference-request
category-theory
topos-theory
Internal logic of topoi
logic
model-theory
topos-theory
References to supplement Goldblatt's "Topoi"
reference-request
category-theory
exponentiation
topos-theory
diagram-chasing
Volume 3 of Johnstone's "Sketches of an Elephant"
reference-request
category-theory
topos-theory
Examples of co-implication (a.k.a co-exponential)
logic
category-theory
philosophy
topos-theory
constructive-mathematics
Does this notion of morphism of noncommutative rings appear in the ring theory literature?
ring-theory
noncommutative-algebra
topos-theory
quantum-mechanics
noncommutative-geometry
$F_2\circ F_1\dashv G_1\circ G_2$ and $F_2\dashv G_2$ but not $F_1\dashv G_1$
category-theory
sheaf-theory
topos-theory
Is the internal language of a topos complete, sound and effective?
logic
category-theory
proof-theory
topos-theory
Applications of category theory and topoi/topos theory in reality
category-theory
applications
topos-theory
Understanding an example of a subobject classifier.
category-theory
topos-theory
Reading Chapter 14 of Goldblatt's, "Topoi: A Categorial Analysis of Logic."
category-theory
self-learning
book-recommendation
topos-theory
nonclassical-logic
Proof that a category is cartesian closed
category-theory
topos-theory
Concrete description of (co)limits in elementary toposes via internal language?
category-theory
topos-theory
limits-colimits
What fragment of ZFC do we need to prove Zorn's lemma?
set-theory
axiom-of-choice
topos-theory
Showing that the sheaf-functor $\epsilon: \tilde{\sf C} \to \tilde{\tilde{\sf C}}$ is an equivalence
category-theory
topos-theory
Natural numbers objects in topoi: Recursion in a parameter
category-theory
topos-theory
Prev
Next