Mathematics
Derek Elkins left SE's user avatar
Derek Elkins left SE's user avatar
Derek Elkins left SE's user avatar
Derek Elkins left SE
  • Member for 8 years, 3 months
  • Last seen more than 4 years ago
Profile Activity

638 Answers

Score Activity Newest
8 votes

If $F$ is representable, then $G$ is representable? If $G$ is representable, then is $F$ representable?

8 votes
Accepted

Where does predicate logic stand in "set- vs category- vs type-theory" as the foundation for mathematics?

8 votes
Accepted

Reference of the connection of category theory and logic(foundation of mathematics)

8 votes

Simple examples of non-representable functors

8 votes

What are products and coproducts of bounded lattices?

7 votes
Accepted

How to tell an audience that in a chain of composable morphisms some of the domains and codomains may be equal?

7 votes
Accepted

Direct/ Inverse limits in category of (commutative) rings

7 votes
Accepted

Product of monoids

7 votes
Accepted

Type theory vs higher-order logic

7 votes
Accepted

How do dependent products in category theory relate to type theory?

7 votes

How do monads arise in mathematics?

7 votes
Accepted

Why are there several axiom systems for propositional logic?

7 votes

Is a natural transformation uniquely determined by a single morphism?

7 votes

How do you know if “by inspection” is a valid argument?

7 votes
Accepted

Y combinator as an application of Lawvere's fixed point theorem

7 votes

Why doesn't the definition of a category require an explicit notion of morphisms equality?

7 votes
Accepted

Relationship between sequent calculus and Hilbert systems, natural deduction, etc

7 votes
Accepted

Can we use the internal logic of a category to do diagram chases "as in $\mathbf{Ab}$" ?

7 votes
Accepted

Reference request: finitely presented algebras classify an equational theory

7 votes
Accepted

How do I know what we already know in a proof when the assumptions we can use are even more complex?

7 votes
Accepted

What's the Category Theoretic Treatment of Induction?

7 votes
Accepted

Why typeclasses rather than inductive types to define mathematical structures in Lean?

7 votes
Accepted

Why does Archive of Formal Proofs use Isabelle/HOL as opposed to Isabelle/ZF?

6 votes

Why Induction Axiom is needed if structural induction holds

6 votes
Accepted

Natural deduction rules for $\top$

6 votes

Is the exponential object $B^A$ related to $hom_C(A,B)$?

6 votes
Accepted

Uniqueness up to isomorphism?

6 votes
Accepted

Equality of objects in category theory

6 votes
Accepted

Understanding of Material Implication

6 votes

Clarification on the use of elements in a categorical environment

1
2
3 4 5
…
22