user avatar
user avatar
user avatar
magma
  • Member for 10 years, 7 months
  • Last seen this week
13 votes

How to start with automated theorem proving?

12 votes
Accepted

Is there a computer program that does diagram chases?

11 votes
Accepted

Symbolic predicate logic for "for all elements in a set except this one..."

9 votes

Is there a category of categories?

9 votes

Why the whole exterior algebra?

8 votes
Accepted

Functors preserve isomorphisms, sections and retracts. Do they reflect these properties?

8 votes
Accepted

Why is full- & faithful- functor defined in terms of Set properties?

8 votes

Distinguishing equality and isomorphism as relations

7 votes
Accepted

Universal arrows' definition

7 votes
Accepted

Isn't every Endofunctor an identity Functor?

7 votes

Verify this is a category

7 votes

Types, Sets and Categories

7 votes

English-Italian translations of "sieve" and "sink" in sheaf theory

6 votes
Accepted

Which books to study category theory?

6 votes

What is the Proof that this Diagram is not a Category?

6 votes

Understanding the significance of a functor being full/faithful, especially with adjoints

6 votes
Accepted

Why isn't every coproduct a product (and vice-versa)?

6 votes
Accepted

Why is category theory not just another theory?

5 votes

Algebraic topology, etc. for Mac Lane's "Categories for the Working Mathematician"

5 votes
Accepted

Product and coproduct in the category of pointed sets..

5 votes
Accepted

Question about general comma categories

4 votes

Category of cones: what if morphisms to match natural transformations are missing?

4 votes

Learning the topology needed for topos theory.

4 votes

A connected groupoid is equivalent to a groupoid with one object

4 votes

What is the name and properties of a category C with hom(C) is subclass of ob(C)?

4 votes

Relations between monoids and modules?

4 votes
Accepted

$\varnothing$ in the category of sets

4 votes

Does the bijection of function sets imply bijection of sets?

4 votes
Accepted

Relation-preserving maps as morphisms of a category

3 votes
Accepted

Standardized Notation for Well-Known Categories