User Michal R. Przybylek

17 votes

Your favorite surprising connections in mathematics

answered Mar 13, 2011 at 17:28

13 votes

Two pullback diagram

answered Nov 11, 2013 at 17:47

12 votes

What properties do "large topoi" share with actual topoi?

answered Nov 28, 2013 at 23:18

11 votes

Accepted

Are exponentials in categorical models of linear logic harmful?

answered Mar 1, 2013 at 15:29

10 votes

Accepted

"P vs NP" and "NP vs P/Poly"

answered Mar 7, 2011 at 18:55

10 votes

Accepted

(Fri)end(l)y way to express Kan liftings

answered Nov 29, 2013 at 14:11

10 votes

Completion of a category

answered Sep 13, 2013 at 16:39

10 votes

In the category of sets epimorphisms are surjective - Constructive Proof?

answered Aug 18, 2014 at 12:04

10 votes

Accepted

The category of elements, enrichment, and weighted limits

answered Sep 24, 2015 at 22:38

9 votes

Accepted

Why is there no product type in simply typed lambda-calculus?

answered Dec 9, 2013 at 23:43

9 votes

What is the difference between internal presheaves and presheaves on a total space?

answered Jun 29, 2013 at 21:25

8 votes

Accepted

Are multicolimits suitable colimits?

answered Dec 24, 2013 at 23:35

8 votes

What is the co-form of Grothendieck construction?

answered Apr 25, 2014 at 21:35

8 votes

Accepted

Non-continuous higher differentiability

answered May 6, 2014 at 22:26

8 votes

Completion of a category

answered Oct 21, 2014 at 23:28

8 votes

Accepted

A cosmos where coproduct injections are not monic

answered Jun 7, 2015 at 9:23

7 votes

Relationship between two universal properties of the category of elements?

answered Sep 27, 2015 at 8:04

7 votes

opposite category

answered Jul 17, 2014 at 1:43

7 votes

Accepted

2 and 3 pullbacks

answered Dec 3, 2013 at 22:52

7 votes

Accepted

Nondeterministic Turing machines and the recursion theorem

answered Oct 19, 2013 at 14:32

7 votes

Natural transformations as categorical homotopies

answered May 9, 2011 at 17:00

6 votes

Accepted

grothendieck construction for profunctors

answered Apr 22, 2013 at 21:01

6 votes

Accepted

Moore-Penrose Inverse as an adjoint

answered Jun 9, 2012 at 14:17

6 votes

Continuous relations?

answered Aug 23, 2014 at 14:22

5 votes

Accepted

Internal Day convolution

answered May 7, 2013 at 19:40

4 votes

Accepted

An isomorphism of categories

answered Apr 3, 2014 at 0:47

4 votes

Yoneda on a not so small category

answered Nov 1, 2013 at 20:27

4 votes

Is there a constructive proof of Cantor–Bernstein–Schroeder theorem ?

answered Mar 19, 2013 at 15:44

4 votes

Exponentiable objects in a category, valued in a larger, containing category

answered Apr 17, 2013 at 13:44

4 votes

Appropiate models of numerical computation

answered Mar 10, 2011 at 11:30

Stack Exchange Network

49 Answers

Your favorite surprising connections in mathematics

Two pullback diagram

What properties do "large topoi" share with actual topoi?

Are exponentials in categorical models of linear logic harmful?

"P vs NP" and "NP vs P/Poly"

(Fri)end(l)y way to express Kan liftings

Completion of a category

In the category of sets epimorphisms are surjective - Constructive Proof?

The category of elements, enrichment, and weighted limits

Why is there no product type in simply typed lambda-calculus?

What is the difference between internal presheaves and presheaves on a total space?

Are multicolimits suitable colimits?

What is the co-form of Grothendieck construction?

Non-continuous higher differentiability

Completion of a category

A cosmos where coproduct injections are not monic

Relationship between two universal properties of the category of elements?

opposite category

2 and 3 pullbacks

Nondeterministic Turing machines and the recursion theorem

Natural transformations as categorical homotopies

grothendieck construction for profunctors

Moore-Penrose Inverse as an adjoint

Continuous relations?

Internal Day convolution

An isomorphism of categories

Yoneda on a not so small category

Is there a constructive proof of Cantor–Bernstein–Schroeder theorem ?

Exponentiable objects in a category, valued in a larger, containing category

Appropiate models of numerical computation