A topos (plural topoi, toposes) is a category that behaves like the category of sheaves of sets on a topological space. Topos theory consists of the study of Grothendieck topoi, used in algebraic geometry, and the study of elementary topoi, used in logic.

learn more… | top users | synonyms

1
vote
0answers
37 views

What is the “internal language of a topos”?

What does the sentence "[...] these statements should be interpreted, of course, in the internal language of the topos $\mathcal{E}$" mean, in the context of, say, the definition of a groupoid in ...
1
vote
0answers
47 views

About the relation between the categories $\text{Sch}$, $\text{LRS}$ and $\text{RS}$

I've been trying to find some useful categorical facts about the category of schemes, locally ringed spaces and ringed spaces (that I shall denote by $\text{Sch}$, $\text{LRS}$ and $\text{RS}$ ...
0
votes
1answer
34 views

A question on a property of geometric morphisms related to locales.

Is the "localic reflection" of a geometric morphism between topoi the same thing as its "localic part"?
1
vote
1answer
43 views

Is this assignment of the topos of sheaves functorial?

Let $\mathcal{C}$ be a site and for any object $X$ of $\mathcal{C}$ denote by $\text{Sh}(X)$ the category of sheaves on the site $\mathcal{C}/X$. My question is, what can we say about this assignment? ...
1
vote
0answers
34 views

Can I define a site as a category endowed with a pretopology instead of a topology?

If $K$ is a pretopology on a category $\mathcal{C}$ and $J$ the topology it induces, are the Grothendieck toposes $\text{Sh}(\mathcal{C},K)$ and $\text{Sh}(\mathcal{C},J)$ the same in general? As I ...
6
votes
0answers
61 views

What are the universally effective epimorphisms of topological spaces?

An effective epimorphism in a category is a morphism that is the coequaliser of its kernel pair, and a universally effective epimorphism is a morphism $f : X \to Y$ such that, for every pullback ...
1
vote
1answer
23 views

Does the inverse image sheaf have a left adjoint for $\mathsf{Set}$-valued sheaves?

It's known that for sheaves with values in modules, the inverse image sheaf functor $j^\ast$ for $j:U\subset X$ an inclusion of an open set has a left adjoint which is extension by zero. Is there any ...
7
votes
1answer
81 views

Does an equivalence of $G$-sets and $H$-sets imply an isomorphism of $G$ and $H$?

Here $G$-sets denote the category of sets which have a left $G$-action. So the question is whether a functor $F \colon \text{$G$-sets} \to \text{$H$-sets}$ implies that we have an isomorphism of ...
1
vote
0answers
43 views

topos have colimits

Define an (elementary) topos to be a cartesian closed category with all finite limits and subobject classifiers. I'm looking for a proof of the fact that a topos also has all finite colimits. I know ...
1
vote
1answer
44 views

The Relationship between Separable Functors and Faithful Functors

Consider the adjunction $\mathcal{C} \mathrel{\substack{\mathcal{F}\\\rightleftarrows\\ \mathcal{G}}} \mathcal{D} $ together with unit $\eta: I_{\!_{\mathcal{C}}} \rightarrow \mathcal{G} \mathcal{F} $ ...
0
votes
0answers
93 views

Simple question in “Sheaves in geometry and logic”

There's an argument I don't understand in "Sheaves in geometry and logic" by Mac Lane and Moerdijk, that seems a priori easy but I can't see it. Page 174, diagram (10) (involving the power ...
3
votes
1answer
42 views

base change of an equivalence relation of fppf sheaves

Let $S$ be a scheme, $R,U$ be $S$-schemes and $s,t : R \to U \times_S U$ be an equivalence relation i.e. it's a monomorphisme such that for every $S$-scheme $T$, $R(T) \to U(T) \times U(T)$ is and ...
0
votes
0answers
30 views

Fibrations over topoi

Let $\mathcal{S}$ be an elementary topos. What is (exactly) the relation between $\mathcal{S}$-indexed categories and fibrations over $\mathcal{S}$? Where can I read about this? (Or even find the ...
4
votes
0answers
42 views

Relationship between differential cohesion and synthetic differential geometry

I was wondering what is the relationship between differential cohesion and synthetic differential geometry? I know the basics of synthetic differential geometry from Kock's text, but I am not ...
0
votes
1answer
33 views

Is any reflector from a presheaf category $PSh(K)$ to a topos $C$ necessarily left exact?

Let $C$ be a topos, $K$ a small category and $$ PSh(K) \leftrightarrows C $$ a reflective subcategory with inclusion $i\colon C\hookrightarrow PSh(K)$ and reflector $T$. Is $T$ left exact? $D$ ...
2
votes
1answer
75 views

Proving that a category is cartesian closed

Let $Alg(1)$ be a category whose objects are sets with a unary operation, with no axioms. Morphisms of the category are functions of sets which preserve the operation. I need to show that this ...
4
votes
1answer
74 views

Categorical Foundations text

I've heard that someone's thought up a way of using category theory, involving something called topoi, as a foundation for mathematics. If this is true then are there any texts which explain such a ...
2
votes
1answer
67 views

Build sheaf from stalks

If I have a topological space $T$ and for each $p \in T$ I have an object $A_p$ in some category $\mathscr{A}$, then how can I define a sheaf out of this? In other words can I build a sheaf with ...
7
votes
1answer
85 views

How to prove that in this context epimorphisms are 'surjective'

In article AN ELEMENTARY THEORY OF THE CATEGORY OF SETS of William Lawvere I met a proposition left to reader (poor me) and I hope someone can help me with it. It wouldn't surprise me if it is not ...
1
vote
0answers
50 views

Subobjects(A) $\cong \operatorname{Hom}(A,\Omega)$ in a topos is a natural transformation?

Let $C'$ be the category with objects $C$ and morphism the monic morphisms of $C$. In any topos, $\phi_A: \operatorname{Sub}(A) \cong \operatorname{Hom}_C(A,\Omega)$ and $\phi_A(m) = \chi_m$. This ...
2
votes
1answer
86 views

The definition of the $false$ truth value

In "Topoi: The Categorial Analysis of Logic" by R. Goldblatt the $false: 1 \to \Omega$ truth value is defined as the characteristic arrow of the arrow $0_1: 0 \to 1$. This definition requires that ...
2
votes
1answer
69 views

Can we recover étale, fpqc etc. morphisms of schemes from the affine versions?

$\DeclareMathOperator{\Spec}{Spec}$ Consider the following procedure for defining a class of morphisms of schemes: Take a suitable class of homomorphisms of rings (e.g., canonical maps to ...
2
votes
1answer
43 views

Is there a characterization of coverings in subcanonical pretopologies?

Let $\mathcal C$ be a category. A sieve for $\mathcal C$ is called strictly universally epimorphic if it is one of the covering sieves for the canonical topology on $\mathcal C$. SGA4 gives the ...
2
votes
0answers
39 views

Subobject classifier in $Sets^{Q}$

Let Q be the linearly ordered set of rational numbers considered as a category while $R^{+}$ is the set of reals with $\infty$. In $Sets^{Q}$,prove that the subobject classifier $\Omega$ has ...
10
votes
1answer
110 views

Motivation for the definition of an infinitesimal object

An infinitesimal object $D$ in a Cartesian closed category $\mathsf{C}$ is one for which the internal Hom functor $$(-)^D: \mathsf{C} \to \mathsf{C}$$ has a right adjoint. I am wondering what is the ...
1
vote
1answer
58 views

Examples of certain types of toposes

I'm looking for examples of (non-degenerate) categories $\mathcal{C}$ such that both $\mathcal{C}$ and $\mathcal{C}^{op}$ are toposes (assuming that such categories even exist). On a related note, ...
1
vote
1answer
50 views

Is Rel a topos?

Is the category Rel of sets and relations a topos? I've done a few Google searches about this question but I haven't found any answers either way. And I can't recall any answers either way in any of ...
1
vote
0answers
39 views

Subobject classifier in $Set^{C^{op}}$

I'm reading "Sheaves in geometry and logic" and I'm not sure if i'm understanding some definitions. We have our functor $\Omega$ defined on objects by $\Omega(C)$$=\{$$S|$ $S$ is a sieve on C in ...
0
votes
0answers
30 views

Terminal object in $Set^{C^{op}}$ and subobject classifier.

This is from Sheaves in Geometry and Logic pg 38. I'm not sure if I understood it correctly but the subobject classifier in $Set^{C^{op}}$ when $C$ is a small category is a map (natural ...
9
votes
1answer
139 views

When does Sheafification commute with direct image?

Given a presheaf $\mathcal{F}$ on a space $X$ and a map $f: X \rightarrow Y$, when does $f_* A(\mathcal{F}) = A(f_* \mathcal{F})$, where $A$ is the associated sheaf/sheafification functor? Since ...
3
votes
1answer
129 views

Does internalization loses informations everywhere?

It is well known that a group object in Grp is necessarily abelian. This can be understood as "internalization loses information". Indeed, if one was to study group theory by looking at group objects ...
6
votes
1answer
58 views

Can a general version of the covariant powerset monad be derived from the universal property of power objects?

As the title asks, I'm wondering if one can generally squeeze a "covariant power object monad" out of a topos (following the usual example in $\mathcal{Set}$ with functor part the direct image ...
0
votes
0answers
28 views

A question about morphisms in a Grothendieck topos

I am not very familiar with topos theory so please excuse me if this is completely trivial. Fix an object $K$ in a Grothendieck topos $\mathcal{G}$. Let $k:0\to K$ be the unique morphism from the ...
2
votes
1answer
57 views

is the property of representability of a sheaf on the big etale site checkable on the small site?

Let $S$ be a scheme and $F$ a sheaf on $(\textbf{Sch}/S)_\text{etale}$, whose restriction to the small etale site $S_\text{etale}$ is representable (in fact in my case this restriction is ...
2
votes
0answers
49 views

When defining a Grothendieck pretopology,can we get away with less than the fibre product axiom?

$\newcommand\restr[2]{{\left.#1\right|_{#2}}}$ I'm fairly new to this whole area, so correct me if there are any technical errors in any of this. The base category for a classical sheaf is the ...
2
votes
1answer
46 views

The terminal object comes for free in the definition of a subobject classifier

This is Fact 1.4 in Tom Leinster's informal introduction to topos theory. It states the following: if there exists a mono $t:T \hookrightarrow \Omega$ that classifies the monos in our category, in the ...
3
votes
1answer
141 views

A Question on a claim regarding the notion of “space” in “Indiscrete Thoughts”

I'm reading Gian-Carlo Rota's book "Indiscrete Thoughts". In page 220 I came across a strange quotation with very few explanations: We thought that the generalizations of the notion of space had ...
0
votes
0answers
41 views

category of sheaves over an object

I'm looking for a solution of exercice III.8 (b) in Maclane and Moerdijk's book $\textit{Sheaves in Geometry and Logic}$. Where I can find such a solution ? Or can someone describe the topology J' ...
2
votes
0answers
80 views

Grothendieck Topology on the Category of Elements

We are given a site $(C, J)$ for a small category $C$ and a Grothendieck topology $J$. If $F\in Sh(C, J)$, we take the natural topology $J_F$ on its category of elements $el(F)$ induced by $J$. I am ...
17
votes
1answer
259 views

Revisiting “What is Mazzola's ”Topos of Music“ about?”

This question has been asked here: What is Mazzola's "Topos of Music" about? But I am dissatisfied with the response for several reasons and would like Math SE to revisit this ...
4
votes
1answer
74 views

sheaves of rings and maps to classifying topos

Let $R$ be the category of finitely presented commutative rings (but I don't know how necessary the hypothesis of finite presentation is for my question). Let $Set^R=Fun(R, Set)$ be the category of ...
2
votes
2answers
102 views

About certain regular epimorphisms in a Grothendieck Topos

I am supposed to prove a rather technical property which should hold in any Grothendieck Topos, but I have troubles in accomplishing this task. Here is the context for the question. Let then ...
3
votes
0answers
43 views

Equivalence of Modules

The category of modules over a ring can be viewed as an enriched version of an action of a monoid on a set (see nLab entry). Moreover, if $R$ is a commutative ring, the category of modules over it is ...
4
votes
0answers
77 views

Equivalent definitions of regular categories?

maybe this is a stupid question, but I could not solve it after some time of meditation. There are four different notions of regular categories: 1) A cartesian category with coequalizers of kernel ...
39
votes
0answers
1k views

What does it take to divide by $2$?

Theorem 1 [ZFC, classical logic]: If $A,B$ are sets such that $\textbf{2}\times A\cong \textbf{2}\times B$, then $A\cong B$. That's because the axiom of choice allows for the definition of ...
8
votes
1answer
186 views

Why are these two definitions of the left-adjoint to $u^p\colon PShv(D)\to PShv(C)$ equivalent?

Suppose $u\colon C\to D$ is a functor between categories. Then there is a functor $$ u^p\colon PShv(D)\to PShv(C) $$ between the associated presheaf categories by precomposition with $u$ as it is ...
4
votes
0answers
119 views

Some questions about synthetic differential geometry

I've been trying to read Kock's text on synthetic differential geometry but I am getting a bit confused. For example, what does it mean to "interpret set theory in a topos"? What is a model of a ...
2
votes
1answer
60 views

Why is the h-topology not subcanonical?

The h-topology introduced by Voevodsky on the category $Sch/K$ of separated schemes of finite type over a field $K$ is the Grothendieck topology associated with the pretopology whose coverings are of ...
16
votes
0answers
329 views

How much set theory does the category of sets remember?

Question. Let $M$ be a model of enough set theory. Then we can form a category $\mathbf{Set}_M$ whose objects are the elements of $M$ and whose morphisms are the functions in $M$. To what extent is ...
1
vote
1answer
120 views

Is a subobject classifier logically equivalent to set-inclusion?

Can one subsume the notion of set-inclusion $\subseteq$ and $\subset$ with the notion of a subobject classifier, expressed via an injective morphism $\hookrightarrow$? Specifically: Are the ...