MATH
Login Or Sign up

List Question

15
1k
Views

Pushouts in the category of sets preserve monomorphisms

Published on
#category-theory #topos-theory #monomorphisms
341
Views

Schanuel topos: singleton coverage vs atomic topology

Published on
#sheaf-theory #topos-theory #grothendieck-topologies
527
Views

Dense topology <=> double negation operator in a constructive metatheory?

Published on
#logic #topos-theory #constructive-mathematics #grothendieck-topologies
90
Views

A simple question about Grothendieck topoi

Published on
#category-theory #sheaf-theory #topos-theory
169
Views

Is every category whose subobject functor is a hyperdoctrine a Heyting category?

Published on
#logic #category-theory #topos-theory
1.4k
Views

Topos theory and higher-order logic

Published on
#category-theory #topos-theory #type-theory #higher-order-logic
87
Views

Monic arrows as subobjects

Published on
#category-theory #topos-theory
115
Views

Geometric morphisms between presheaves

Published on
#category-theory #topos-theory
1k
Views

References to supplement Goldblatt's "Topoi"

Published on
#reference-request #category-theory #exponentiation #topos-theory #diagram-chasing
198
Views

Character of the subobject classifier in the topos of $\mathbf{M}$-sets.

Published on
#category-theory #monoid #topos-theory
4k
Views

"Proper" definition of a proper map?

Published on
#general-topology #algebraic-geometry #algebraic-topology #topos-theory
1.1k
Views

Left adjoint to inverse image of sheaves

Published on
#category-theory #sheaf-theory #topos-theory
178
Views

Relationship between power object and exponential object

Published on
#category-theory #topos-theory
122
Views

What does the connection to topology provide to topoi?

Published on
#category-theory #topos-theory
135
Views

Singleton map is always monic

Published on
#category-theory #topos-theory

Trending Questions

Popular # Hahtags

second-order-logic numerical-methods puzzle logic probability number-theory winding-number real-analysis integration calculus complex-analysis sequences-and-series proof-writing set-theory functions homotopy-theory elementary-number-theory ordinary-differential-equations circles derivatives game-theory definite-integrals elementary-set-theory limits multivariable-calculus geometry algebraic-number-theory proof-verification partial-derivative algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.