Skip to main content
Mark Kamsma's user avatar
Mark Kamsma's user avatar
Mark Kamsma's user avatar
Mark Kamsma
  • Member for 5 years, 2 months
  • Last seen this week
  • Queen Mary University of London, London, United Kingdom
22 votes
Accepted

Can Russell's paradox, Halting problem and Godel's Incompleteness theorem be generalized?

14 votes

Semigroups with no morphisms between them

10 votes

Is every set a filtered colimit of finite sets?

9 votes
Accepted

Show that the Yoneda embedding preserves exponential objects

9 votes

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

9 votes

What does it mean that terminal object have morphism to other object?

9 votes
Accepted

Proving equality of cardinals using cofinality.

8 votes
Accepted

What (if anything) can we infer about a first order theory from its category of models?

8 votes
Accepted

Does the forgetful functor $U: \mathbf{Gph} \to \mathbf{Set}$ have a left adjoint?

7 votes
Accepted

Is there a canonical way to go back from $\hat{\mathbb{C}}$ (presheaves) to $\mathbb{C}$

7 votes
Accepted

Filtered colimit of integral domains is an integral domain

7 votes
Accepted

Power sets : Do the relations between P(A) and P(B) always mirror the relations between the sets A and B?

7 votes
Accepted

If your category has pullbacks and equalizers, do you get products?

7 votes
Accepted

Equivalence Between Law of Excluded Middle and Self-Implication

7 votes
Accepted

Forgetful functor from Pos to Set does not have a right adjoint

7 votes
Accepted

Confusion about the definition of bicategory

7 votes
Accepted

Why is the empty theory with a single binary function companionable?

6 votes
Accepted

the category of Boolean algebras with monomorphisms

6 votes
Accepted

Intuitionistic Disproof of Intermediate Value Theorem

6 votes

Formulae with symbol outside the language of a structure

6 votes
Accepted

What can category theory encode that set theory could not encode, if anything? (Fwd from Quora)

6 votes

Theory vs complete diagram of a model

6 votes

Non-Examples of Functors and Categories

6 votes

Is law of excluded middle necessary in this proof?

6 votes
Accepted

Morphism in both the category and dual category is isomorphism?

6 votes
Accepted

Monomorphism into separated presheaf

6 votes

Why constant symbols in a language?

6 votes
Accepted

Self learning Category and Topos theory

6 votes
Accepted

Continuous function and Continuous functor

6 votes
Accepted

$\phi$ is a monomorphism in the category of presheaves of sets iff it is injective as a morphism of presheaves

1
2 3 4 5
11