MATH
Login Or Sign up

List Question

15
383
Views

Is a name a sheaf?

Published on
#set-theory #forcing #topos-theory
405
Views

Forcing in sheaf models of set theory - where do the "generics" disappear to?

Published on
#set-theory #forcing #topos-theory
105
Views

Alternative sources for a topos theory description of zeroth order logic

Published on
#logic #reference-request #category-theory #propositional-calculus #topos-theory
242
Views

Is the 2-category of groupoids a topos?

Published on
#category-theory #topos-theory #groupoids
137
Views

Toposes are monadic over categories

Published on
#category-theory #topos-theory #monads
160
Views

Does this property of sets and functions hold for a general topos?

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

What is the generally accepted pronunciation of “topoi”?

Published on
#soft-question #topos-theory #pronunciation
164
Views

Johnstone, Topos Theory Exercise 7.3

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

A certain functor in Hakim's "Topos annellés et schemas relatifs" is a sheaf for the canonical topology

Published on
#algebraic-geometry #schemes #topos-theory
156
Views

Equivariant homotopy theory, topos theory and intuitionistic algebraic topology

Published on
#algebraic-topology #homotopy-theory #topos-theory #intuitionistic-logic #equivariant-topology
57
Views

Functorial comparison of Different Models of Set Theory

Published on
#reference-request #category-theory #set-theory #model-theory #topos-theory
318
Views

Why are (Pre)sheaves more important than Co(pre)sheaves?

Published on
#reference-request #category-theory #sheaf-theory #sheaf-cohomology #topos-theory
254
Views

Subobjects in Homotopy type theory

Published on
#topos-theory #homotopy-type-theory
177
Views

The partial map classifier $\eta_{1}: 1 \to 1_{\bot}$ is the subobject classifier

Published on
#logic #category-theory #topos-theory
58
Views

Translation Request from French - Comparison of the reals of a topos smooth structures on an elementary topos

Published on
#general-topology #reference-request #topos-theory #translation-request #mathematical-french

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.