Skip to main content
Paul Taylor's user avatar
Paul Taylor's user avatar
Paul Taylor's user avatar
Paul Taylor
  • Member for 14 years, 5 months
  • Last seen this week
45 votes
Accepted

Categorical foundations without set theory

33 votes
Accepted

Categories of recursive functions

25 votes
Accepted

Giving $\mathit{Top}(X,Y)$ an appropriate topology

24 votes

Categorical foundations without set theory

21 votes
Accepted

History of the pullback corner notation

17 votes

Intuitionistic logic as quantization of classical logic?

16 votes

A topological concept dual to compactness

15 votes

How were formulas / images added to books in post-printing-press / pre-digital times?

15 votes

Localic locales? Towards very pointless spaces by iterated internalization.

15 votes

Decent texts on categorical logic

15 votes

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

13 votes

Intermediate value theorem on computable reals

12 votes

(Fictive) story of a time where people reasoned only up to isomorphism

11 votes
Accepted

What is the cardinality of Dana Scott's $D_{\infty}$?

11 votes

Properties of the category of compact Hausdorff spaces

11 votes

Is the fixed point property for posets preserved by products?

10 votes
Accepted

Yoneda on a not so small category

9 votes

What do you use categorical glueing/sconing/Freyd covers for?

9 votes
Accepted

Difference between constructive Dedekind and Cauchy reals in computation

9 votes
Accepted

Mechanical method to solve trivial diagram chasing problem?

9 votes
Accepted

Subobjects as an object in a topos

9 votes

What is neutral constructive mathematics

8 votes
Accepted

Factorization system "tilted" by $(L,R)$

8 votes

Why does abelianization preserve finite products, really?

8 votes

Category of Gödel Codings? [Reference Request]

8 votes

In a fibration, where does the generic object live?

8 votes

Characterize the category of rings

8 votes

Existence of internal toposes/inner models in a topos

8 votes

Multiplication of Cauchy and Dedekind real numbers

8 votes

How short can we state the Axiom of Choice?