MATH
Login Or Sign up

List Question

15
102
Views

Subobject classifier of disjoint sum of subobjects

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

What are are some illustrative (non-)examples of proper morphisms?

Published on
#algebraic-geometry #intuition #schemes #topos-theory #locales
179
Views

How Topos "connect" continuous and discrete

Published on
#algebraic-topology #category-theory #philosophy #topos-theory
100
Views

Categories with $C \times 0 \cong 0$ for all objects $C$

Published on
#category-theory #products #topos-theory #universal-property
97
Views

Factorization systems in the category of toposes with geometric morphisms

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

"If then" statements in a topos

Published on
#logic #category-theory #computer-science #topos-theory
82
Views

A symbol on page 302 of Goldblatt's "Topoi [. . .]".

Published on
#notation #topos-theory
313
Views

Reading Chapter 14 of Goldblatt's, "Topoi: A Categorial Analysis of Logic."

Published on
#category-theory #self-learning #book-recommendation #topos-theory #nonclassical-logic
134
Views

Power object of terminal object is subobject-classifier?

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

Geometric morphisms and essential geometric morphisms

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

Prove that $\mathbf{FinSets}^{\mathbf{N}}$ has no subobject classifier.

Published on
#category-theory #topos-theory #functors
331
Views

For any ring $R$, prove that $R$-$\mathbf{Mod}$ has no subobject classifier.

Published on
#category-theory #modules #topos-theory
100
Views

Infinitely Rich Objects In A Topos

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

Equivalence of categories preserves subobject classifiers.

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

Factoring a presheaf through a sheaf using the etalé space

Published on
#category-theory #sheaf-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.