Stack Exchange

Mark Kamsma

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

https://markkamsma.nl/

Senior Research Associate at the University of East Anglia, primarily interested in model theory.

top accounts reputation activity bookmarks subscriptions
Top Questions
Top Answers
19
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

9
What does it mean that terminal object have morphism to other object?
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
Why constant symbols in a language?
math.stackexchange.com

6
Equivalence Between Law of Excluded Middle and Self-Implication
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

6
Intuitionistic Disproof of Intermediate Value Theorem
math.stackexchange.com

5
If your category has pullbacks and equalizers, do you get products?
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
Continuous function and Continuous functor
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

1 2