Newbetuts
.
New posts in topos-theory
Is there a category whose internal logic is paraconsistent?
logic
category-theory
topos-theory
What's the difference between a logic, an internal logic (language) of a category, an internal logic of a topos and a type theory?
logic
category-theory
formal-languages
topos-theory
categorical-logic
Which presheaf toposes satisfy the axiom of choice?
logic
category-theory
axiom-of-choice
topos-theory
Elementary topoi have initial objects, why?
category-theory
topos-theory
Exponential of monos over terminal object
category-theory
sheaf-theory
topos-theory
Characterization of equality of terms in the internal logic of toposes
logic
category-theory
topos-theory
How to find exponential objects and subobject classifiers in a given category
soft-question
category-theory
topos-theory
What is Mazzola's "Topos of Music" about?
topos-theory
music-theory
2-morphisms between geometric morphisms
category-theory
topos-theory
What does a proof in an internal logic actually look like?
logic
category-theory
topos-theory
How much set theory does the category of sets remember?
logic
category-theory
set-theory
topos-theory
Does "cheap nonstandard analysis" take place in a topos?
category-theory
nonstandard-analysis
topos-theory
What does it take to divide by $2$?
elementary-set-theory
logic
topos-theory
constructive-mathematics
What is the $\textbf{Set}$-theoretical intuition behind understanding how power objects work in Topos Theory?
elementary-set-theory
category-theory
relations
topos-theory
diagram-chasing
Is there a succinct way to axiomatize the theory of a single elementary topos?
logic
category-theory
axioms
topos-theory
How do you derive the adjoint's "naturality" condition as seen in MacLane & Moerdijk's book "Sheaves in Geometry and Logic"?
category-theory
proof-explanation
topos-theory
adjoint-functors
hom-functor
Prev