SCappella's user avatar
SCappella's user avatar
SCappella's user avatar
SCappella
  • Member for 8 years, 9 months
  • Last seen more than 3 years ago
18 votes

Category Theory: Does the existence of $X\times (Y\times Z)$ imply the existence of $X\times Y$?

10 votes
Accepted

Natural transformations as categorical homotopies

10 votes
Accepted

Definition of Cartesian Closed Category: Why do we need exponential objects?

9 votes
Accepted

Path-Lifting in HoTT

7 votes
Accepted

How to dualize a theorem by Eilenberg and Moore about monad, comonad and adjunction?

6 votes
Accepted

Is an associative binary operation with trivial squares necessarily commutative?

6 votes

Universal property for tensor product in an arbitrary category

5 votes
Accepted

What is the definition of a 2-graph?

5 votes
Accepted

When both $U$ and $W$ are open in $\mathbb{H}^k$ and $\mathbb{H}^l$, respectively, then why $U\times W$ cannot be open in $\mathbb{H}^{k+l}$

5 votes
Accepted

Riehl's Category Theory in Context - Exercise 1.5.vii without Axiom of Choice

4 votes
Accepted

How does a monad resemble a monoid?

4 votes
Accepted

What are the restrictions on substitution of terms in Hilbert-style calculus vis-à-vis intuitionistic logic?

4 votes
Accepted

Using Yoneda's lemma to "guess" the definition of exponential object in $SET$

4 votes
Accepted

Confusion about the definition of finite shape category in Jeffrey Strom's book

3 votes
Accepted

Kernel of a homomorphism is a subobject?

3 votes
Accepted

Dualizing 2-categorical results in the context of locally small categories

3 votes
Accepted

Theorem dual to trivial kernel $\iff$ injective in $\boldsymbol{Grp}$

3 votes
Accepted

Bicategory of internal categories

3 votes

Semantic doubt about enrichment of categories and what it means to have 'group structure'

3 votes
Accepted

If two monoidal categories are monoidally isomorphic then if one is strict so is the other.

3 votes
Accepted

Definition of injective maps in Category theory and the relation of this definition to our ordinary definition.

3 votes
Accepted

Are constant functions continuous in constructive mathematics?

3 votes
Accepted

Every mere proposition is a set?

2 votes
Accepted

Does initial morphism imply that the object in the domain of originating functor is an initial object as well?

2 votes

Naturality of certain isomorphisms for $\mathrm{Hom}$-functors

2 votes

How do you apply $\Sigma$-typing to the definition of a category? (new to type theory here)

2 votes
Accepted

Internal hom: products and coproducts

2 votes

Defining a functor $\mathscr F:[\mathscr A,\mathscr B]^{op}\to[\mathscr A^{op},\mathscr B^{op}]$

2 votes
Accepted

Quotient of a pre-order category

2 votes
Accepted

Homotopy Type Theory: How long is the computer-assisted proof that concatenation of paths is associative?