MATH
Login Or Sign up

List Question

15
4.9k
Views

Applications of category theory and topoi/topos theory in reality

Published on
#category-theory #applications #topos-theory
910
Views

Is the category of sheaves on a site always abelian?

Published on
#algebraic-geometry #category-theory #topos-theory
153
Views

Freyd's Geometric Finiteness : An Example Computation

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

Is this thing K-finite?

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

Reference for forcing using topos theory

Published on
#reference-request #category-theory #forcing #topos-theory
691
Views

Natural numbers objects in topoi: Recursion in a parameter

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

If $\mathcal F$ is a sheaf, then is $\mathcal F (- \times X)$ a sheaf?

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

Joyal-Tierney definition of locally isomorphic objects

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

Products of sites

Published on
#general-topology #algebraic-geometry #category-theory #topos-theory
364
Views

Essential geometric morphism seen topologically

Published on
#algebraic-geometry #topos-theory
42
Views

Would it be possible to "bootstrap" topos theory and its internal language simultaneously?

Published on
#topos-theory
99
Views

Unique Existence In Local Set Theories

Published on
#logic #category-theory #model-theory #topos-theory #alternative-set-theories
191
Views

Substitution In Logic

Published on
#logic #category-theory #topos-theory #alternative-set-theories
168
Views

Does forcing leave some trace in the resulting model?

Published on
#logic #category-theory #set-theory #forcing #topos-theory
690
Views

Computational Type Theory For Topos Logic

Published on
#category-theory #topos-theory #type-theory #homotopy-type-theory #computer-assisted-proofs

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.