The tag has no wiki summary.

learn more… | top users | synonyms

3
votes
0answers
155 views

Does the restriction functor (big to small) commute with the inverse functor?

I would like to know whether the restriction functor commutes with the inverse image functor. (I basically follow the terminology in "Topological and Smooth Stacks".) Let $X$ be a topological space. ...
6
votes
1answer
219 views

An example of a Grothendieck topology

A Grothendieck topology on a category $\mathcal{C}$ with finite limits consists of, for each object $U$ in $\mathcal{C}$ a collection $\text{Cov}(U)$ of sets $\{ U_i \to U \}$ such that Isomorphisms ...
4
votes
3answers
260 views

Example of a small topos

I'm currently trying to understand this article by T. Noll on the topos of triads in music theory (also, this) However, I can't get past section 2.2 where Noll introduces the subobject classifier, ...
6
votes
1answer
118 views

Does a geometric morphism $f\colon \cal E\to F$ preserves and reflects the subobject classifier?

I'm stuck in the apparently easy exercise in the title; I tried to prove it twice but both arguments were flawed (one of the two: one can easily obtain a natural map $Sub_\mathcal E(A)\to Sub_\mathcal ...
4
votes
0answers
94 views

Is $(f_*A)\times B\to f_*(A\times f^*B)$ an iso in a elementary topos?

One can easily show by adjunction-nonsense that if we are given toposes $\cal E,F$ and a geometric morphism $f\colon \cal E\to F$ then there exist canonical arrows $$ \begin{gather} (f_*A)\times ...
19
votes
1answer
401 views

How to find exponential objects and subobject classifiers in a given category

In a course I'm learning about Topos theory, there are a lot of exercises which require you to prove explicitly some category is an elementary topos: i.e. to construct exponentials and a subobject ...
8
votes
2answers
316 views

Importance of 'smallness' in a category, and functor categories

I feel like, having spent a little time doing category theory now, this is probably a silly question, but I keep coming up to many things (definitions, examples etc.) where smallness is required. I ...
3
votes
2answers
147 views

Are abelian groups in a [elementary] topos $\mathcal E$ an abelian subcat of $\mathcal E$?

The title tells everything: an abelian group object in a category $\mathbf C$ with finite products is a triple $(G,m,e)$, $m\colon G\times G\to G$, $e\colon 1\to G$ such that the well known diagrams ...
5
votes
1answer
364 views

What are the algebras of the double powerset monad?

Let $\mathscr{P} : \textbf{Set} \to \textbf{Set}^\textrm{op}$ be the (contravariant) powerset functor, taking a set $X$ to its powerset $\mathscr{P}(X)$ and a map $f : X \to Y$ to the inverse image ...
3
votes
1answer
97 views

Locating a copy of a thesis

Does anyone have a transmittable copy of the thesis "Logical and cohomological aspects of the space of points of a topos" by Carsten Butz? The link provided in ...
10
votes
1answer
581 views

Fuzzy logic and topos theory

Why doesn't one develop fuzzy logic by extending topos theory, by simply extending the subobject classifier $\Omega$ to the unit interval [0,1]? Have people done that?
6
votes
1answer
313 views

What do coherent topoi have to do with completeness?

There is a theorem of Deligne that a "coherent" topos (e.g. one on a site where all objects are quasi-compact and quasi-separated) has enough points (i.e. isomorphisms can be detected via geometric ...
3
votes
0answers
185 views

The category of presheaves on a possibly-large category

Suppose $\mathcal{C}$ is a category such that for every $c \in \mathrm{Ob}(\mathcal{C})$, the slice category $\mathcal{C}/c$ is equivalent to a small category. I need to show that the category of ...
5
votes
2answers
229 views

Where is the well-pointedness assumption of ETCS used in everyday math?

Where is the well-pointedeness assumption of the Elementary theory of the category of sets (Lawvere's category-theoretic axiomatization of set theory) used in everyday math? Specifically, if you have ...
4
votes
1answer
113 views

Do functions defined on global elements give rise to arrows in a well-pointed topos?

Suppose that $\mathcal{E}$ is a well-pointed elementary topos, that $X$ and $Y$ are objects of $\mathcal{E}$, and that $F$ is a function which maps global elements $p: 1 \to X$ to global elements ...