Stack Exchange

Mark Kamsma

University of East Anglia (Norwich), Norwich, Verenigd Koninkrijk

PhD student at the University of East Anglia, primarily interested in category theory and model theory.

top accounts reputation activity bookmarks subscriptions
Top Questions
Top Answers
17
Can Russell's paradox, Halting problem and Godel's Incompleteness theorem be generalized?
math.stackexchange.com

14
Semigroups with no morphisms between them
math.stackexchange.com

10
Is every set a filtered colimit of finite sets?
math.stackexchange.com

9
Showing $P \land (P \lor Q) = P$ using only laws of propositions.
math.stackexchange.com

7
Power sets : Do the relations between P(A) and P(B) always mirror the relations between the sets A and B?
math.stackexchange.com

7
Show that Yoneda embedding preserves exponentials
math.stackexchange.com

7
Does the forgetful functor $U: \mathbf{Gph} \to \mathbf{Set}$ have a left adjoint?
math.stackexchange.com

7
What (if anything) can we infer about a first order theory from its category of models?
math.stackexchange.com

6
Monomorphism into separated presheaf
math.stackexchange.com

6
Filtered colimit of integral domains is an integral domain
math.stackexchange.com

6
What can category theory encode that set theory could not encode, if anything? (Fwd from Quora)
math.stackexchange.com

6
If a set of sentences $\Delta$ is satisfiable and $\Delta \subseteq \Gamma$, then $\Gamma$ must also be satisfiable. Show that this does not hold.
math.stackexchange.com

6
Non-Examples of Functors and Categories
math.stackexchange.com

6
Is law of excluded middle necessary in this proof?
math.stackexchange.com

6
Morphism in both the category and dual category is isomorphism?
math.stackexchange.com

5
Why constant symbols in a language?
math.stackexchange.com

5
If your category has pullbacks and equalizers, do you get products?
math.stackexchange.com

5
Equivalence Between Law of Excluded Middle and Self-Implication
math.stackexchange.com

5
UMP of product functor
math.stackexchange.com

5
Left adjoints preserve initial objects $\implies$ right adjoints preserve terminal objects
math.stackexchange.com

5
On the link between elementary equivalence and isomorphism in first-order logic
math.stackexchange.com

5
Axiomatization of equivalence relations having finite equivalence classes
math.stackexchange.com

5
Self learning Category and Topos theory
math.stackexchange.com

5
Why can a subpresheaf of a representable functor be seen as a set of arrows closed under precomposition?
math.stackexchange.com

5
Intersection of an element and a set containing that element.
math.stackexchange.com

5
Forgetful functor from Pos to Set does not have a right adjoint
math.stackexchange.com

5
Doubt on definition of directed set
math.stackexchange.com

5
If $Y\subseteq X:=\prod_{i\in I}X_i$ then there exist $Y_i\subseteq X_i$ for each $i\in I$ such that $Y=\prod_{i\in I}Y_i$
math.stackexchange.com

5
Show that negation is a definable function in $\langle \mathbb{R}, +, 0 \rangle$
math.stackexchange.com

5
If in a category $\mathcal{C}$ we have that $\mathrm{Ob}(\mathcal{C})$ is a set, is then $\mathrm{Mor}(\mathcal{C})$ a set?
math.stackexchange.com