Paul Taylor's user avatar
Paul Taylor's user avatar
Paul Taylor's user avatar
Paul Taylor
  • Member for 14 years, 3 months
  • Last seen this week
2 votes

Axiom of Choice for collections of Equinumerous sets

4 votes
Accepted

Relations with "for each" composition and its properties (coming from profunctors with end composition)

2 votes

Understanding $\forall p \, q .\, \sqrt{2} \neq p/q$ constructively

2 votes

Does negative trichotomy hold for constructive ordinals?

-1 votes

Mostowski collapses and universal extensional relational classes

2 votes

Ordinals in constructive mathematics ? (references)

3 votes

Who first characterized the real numbers as the unique complete ordered field?

5 votes
Accepted

Isbell Duality and Dualizing Scheme Objects

9 votes
Accepted

Mechanical method to solve trivial diagram chasing problem?

15 votes

Is there a universal property characterizing the category of compact Hausdorff spaces?

3 votes

Overloading of the word "local" in category theory

0 votes

Is the Intermediate Value Theorem strictly stronger than LLPO?

0 votes

Tarski-Seidenberg for strict inequalities and bounded quantification

3 votes

Status of the fundamental theorem of algebra for the locale of real numbers

2 votes

Papers of the masters translated to English in one location

1 vote

The field structure on the locale of real numbers

3 votes

Mathematics Roadmap

4 votes

Examples of non-adjoint equivalences

1 vote

Expanding a product to include the full graph for the diagram

3 votes

Books/websites which have motivating stories of mathematicians overcoming hardships in life

7 votes

Major applications of the internal language of toposes

2 votes
Accepted

Software to prove statements in the way of natural deduction (tabular form introduced by Lemmon)

6 votes
Accepted

What does overtness mean for metric spaces?

3 votes
Accepted

Characterisation of functors whose left adjoint is Kleisli

9 votes

What is neutral constructive mathematics

9 votes
Accepted

Subobjects as an object in a topos

0 votes
Accepted

Conditions such that split coequalizers are a symmetric notion

2 votes

What is the monoidal equivalent of a locally cartesian closed category?

2 votes

Characterization of 'canonical' natural numbers objects

8 votes

Why does abelianization preserve finite products, really?