user avatar
user avatar
user avatar
Thibaut Benjamin
  • Member for 5 years, 8 months
  • Last seen more than a week ago
9 votes
Accepted

Does every functor from Set to Set preserve products?

6 votes

What does it mean to take category theory as a foundation for logic?

5 votes
Accepted

generators and monoid homomorphisms

5 votes

Left and right adjoint of the presheaf evaluation $\widehat{C} \to \mathbf{Set}$, $F \mapsto F(c)$

4 votes

Enriched category over non-monoidal category

4 votes

Why presheaves are generalized objects?

4 votes

Do type constructors have type themselves?

3 votes

Product in category of cyclic groups.

3 votes

How does the category theory represent that each function (each morphism) has a function type (an object)?

3 votes
Accepted

Can we define algebraic structures (group, rings, modules, fields) via their arrows?

2 votes

Why my μ can not be composed in the T-program (Kleisili) category when define Lawvere theory?

2 votes

Monoid morphisms

2 votes

Categorical view on swapping function arguments

2 votes

What do continuous maps between $X$ and $Y$ tell us about $X$ and $Y$?

2 votes

what is squared of a Kronecker ij?

2 votes

How does Universal Mapping Property encode "no-junk" and "no-noise" in free monoid?

2 votes

Equivalence of categories preserves cartesian closedness

2 votes

A detailed proof required.

2 votes

Etymology of Free Modules

2 votes
Accepted

Proving Proposition I.5.1 of Mac Lane and Moerdijk.

1 vote

Double induction with a constraint

1 vote

In a tree, if a root has a single branch, is it a leaf (terminal vertex) or internal (branch) vertex?

1 vote

Cardinality of a tuple

1 vote
Accepted

Prove if $\limsup$ $s_n = +\infty $ and $k > 0$ then $\limsup (ks_n) = +\infty$.

1 vote

Relationship between $\small (\infty,1)$-categories and simplicially enriched categories?

1 vote

Proving Non-Concreteness of a Category

1 vote

induction method for sqrt

1 vote
Accepted

If $\mathscr C$ is a Cartesian closed category with terminal object $1$, then for all $A, B, C\in \mathscr C$, $1^B \cong 1$.

1 vote

Is a full functor not necessarily surjective in terms of objects?

1 vote

Let $A$ be an infinite set and B a countable set, show that $\vert A \cup B \vert = \vert A \vert$