# Tagged Questions

260 views

### Maximum cardinality of a filtered limit of finite sets

Let $(I,<)$ be a directed, partially ordered set. Consider an inverse system $(S_i)_{i \in I}$ of finite sets, i. e. a functor $S:I^{op}\to \mathbf{FinSet}$. What is the maximum possible ...
307 views

302 views

### Functor category's objects fail to be a class?

Given two categories, we can form the functor category whose objects are functors. Functors by definition consist of two mappings from in general classes to classes, which makes it fail to be a set. ...
149 views

### A question on definable categories

One way to define a category set-theoretically might be to give four $\in$-formulas (not sets!) \begin{array}{rl} \mathsf{O}(X)&\text{(“$X$ is an object”)}\\ \mathsf{M}(X,Y,z)&\text{(“$z$ ...
169 views

### Can one construct Freyd-Mitchell's embeddings that respect sheafifications?

For a certain presheaf $P$ with values in an abelian category $A$ satisfying AB5 and its sheafification $S$ (with respect to a small Grothendieck site) I would like to prove: $S(f):S(X)\to S(Y)$ is ...
345 views

### How much choice is required to prove concretizability theorems in category theory?

A concretization of a category is a faithful functor to the category of sets. A category is concretizable if there exists such a functor. An evident necessary condition for concretizability is ...
631 views

### categorical characterization of large cardinals

Question 1. Is there a categorical representation of Kunen's inconsistency result? Question 2. Is there a categorical characterization of very large cardinals (in particular for strong and ...
210 views

### Orthogonality relations and accessibility?

Suppose I have a pair of locally presentable categories connected by an accessible functor. Then the preimage of an accessible subcategory of the codomain is an accessible subcategory of the domain. ...
151 views

### How would you say that a small category is embedded into functors from a large $C'$ to abelian groups?

How would you say that a small additive category $C$ embedds (contravariantly) into the category of exact functors from a 'large' abelian $C'$ into abelian groups (this is something like Yoneda's ...
2k views

### A “mother of all groups”? What kind of structures have “mother of all”s?

For ordered fields, we have a “mother of all ordered fields”, the surreal numbers $\mathbf{No}$, a proper-class “field” which includes (an isomorphic copy of) every other ordered field as a subfield. ...
1k views

### When must it be sets rather than proper classes, or vice-versa, outside of foundational mathematics?

Every once in a blue moon it actually matters that some mathematical entity which might a priori only be a class is in fact a set. For clarification, here are some examples of what I do not ...
801 views

### What kinds of operations are well-defined when working with sets, classes, conglomerates, and yet higher order collections?

There are many foundations to set theory, ZFC, NBG, SEAR, to name a few, and while they differ in how sets, classes, and higher-order collections are represented as mathematical objects, they all ...
633 views

### Grothendieck topology for a non-small category

To define a Grothendieck topology of a category, we usually require that the category is small. Question 1: Why do we need to require the category to be small? I thought that the problem was that ...
608 views

### Category and the axiom of choice

What are (if any) equivalent forms of AC (The Axiom of Choice) in Category Theory ?
2k views

### Usage of set theory in undergraduate studies

I would like to ask my colleagues their thought on good practices concerning set theorical framework in undergraduate studies. For example, have there been any attempt to use another mathematical ...
390 views

### Relative consistency of ETCS over the theory of a well-pointed topos with NNO

EDIT: I'm bumping this, because I'm still curious, and because I have a relative consistency result over the theory of a well-pointed topos with NNO, and I am wondering how much baggage I save by not ...
510 views

### Finite order arithmetic and ETCS

I'm looking for a reference to the statement that Lawvere's Elementary Theory of the Category of Sets (ETCS) is equal in proof-theoretic strength to finite order arithmetic. The person who informed ...
738 views

### Are grothendieck universes enough for the foundations of category theory?

Grothendieck universes are equivalent to ZFC+a strongly inaccessible cardinal. This is low on the large cardinal axiom list. Is it enough to place category theory on a firm foundational basis, and how ...
530 views

### Sets = structured sets without structure

Motivation There is presumably no single and widely accepted formal definition of structured sets = sets plus structure based on sets as primitive objects, but several approaches are around. See e.g. ...
379 views

### Categorifications of Zorn's lemma

I'm wondering about categorifications of Zorn's lemma along the following lines. Lemma: if $\mathbf{C}$ is a small category in which every directed diagram of monomorphisms has a cocone of ...
218 views

### Small categories and completeness

(1) Can a small category be cocomplete? Meaning, have all small colimits? I'd be glad to see an example. (2) Suppose $\mathcal C$ is a small category, with $Ob(\mathcal C)$ being of cardinality ...
856 views

### How much do universes matter in topos theory?

Suppose we fix two Grothendieck universes $\mathcal{U} \in \mathcal{V}.$ Then one has that $\mathcal{U}$-$\mathbf{Set},$ the category of $\mathcal{U}$-small sets, is a locally $\mathcal{U}$-small, ...
1k views

### “Axiom of global choice”

In some books on category theory (for example, in J.Adámek, H.Herrlich, E.Strecker "Abstract and concrete categories...") the authors use the idea of "big sets" ("conglomerates" or "collections") ...
879 views

### There are two slightly different notions of ultraproduct. Why is one said to be better than the other?

Let $I$ be a set and $\mathcal{U}$ an ultrafilter on $I$. Let $(X_i)_{i \in I}$ be an $I$-indexed family of sets. The ultraproduct of the family $(X_i)$ with respect to $\mathcal{U}$ is, everyone ...
506 views

### Is the Mostowski collapse natural?

The Mostowski collapse lemma (see here for a quick ref) is one of the key basic tools in the set-theory arsenal. I wonder if the collapse is natural, in the functorial sense. More precisely, is ...
327 views

### The category of Boolean-valued models associated to a model of ZFC

This is related to my previous question here, and indirectly motivated by Andreas Blass intriguing answer therein: start from a ZF transitive model $M$, and consider the category $CBA(M)$ of ...
171 views

### Terminology: changing the codomain in nested maps (e.g. in multilinear algebra)

The context of this question is given below but I don't think it is of essence here, so I will try to formulate the question for maps between sets. Given two sets $A$ and $B$, denote the set of all ...
154 views

### Indicating Dots in Graphs [closed]

Dear All, I’d appreciate very much if you could address the following question: Given two composable functions [domain (one) = codomain (other)]: the unique function ‘i’ with empty set E as domain ...
228 views

479 views

### “classes” with no cardinality; “classes” with no equality notion

Hello, If we look at the class of all vector spaces over some field, we can note two things: 1) this class should not have cardinality. 2) for two elements of this class, we should not want to be ...
531 views

### Can Vopenka's principle be violated definably?

One form of Vopenka's principle (a large cardinal axiom) states that no locally presentable category contains a full subcategory which is large (= a proper class) and discrete (= contains no ...
707 views

### Unions of sets exist? [closed]

Hello, Probably this questions is very stupid, but anyway: It usually said that the category of sets is cocomplete, in particular meaning that we have disjoint unions of arbitrary families of sets, ...