Michal R. Przybylek's user avatar
Michal R. Przybylek's user avatar
Michal R. Przybylek's user avatar
Michal R. Przybylek
  • Member for 13 years, 1 month
  • Last seen more than 1 year ago
40 votes
4 answers
5k views

Completion of a category

10 votes
1 answer
765 views

Weighted limits and completeness

8 votes
2 answers
265 views

Expressive power of FO with $\mu$

8 votes
1 answer
1k views

If a vector space has a basis then its dual vector space has a basis

7 votes
2 answers
1k views

Internal Day convolution

5 votes
0 answers
281 views

Map of adjunctions

5 votes
0 answers
645 views

Adjunction between classic and intuitionistic logic

4 votes
0 answers
126 views

Cyclic relation algebra

3 votes
2 answers
335 views

Maintaining a search-optimal tree

2 votes
4 answers
1k views

Eigenvalues of powers of linear mappings

2 votes
1 answer
589 views

Van Kampen colimits