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
  • Last seen more than 1 year ago
8 votes
1 answer
1k views

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

4 votes
0 answers
126 views

Cyclic relation algebra

8 votes
2 answers
263 views

Expressive power of FO with $\mu$

2 votes
1 answer
584 views

Van Kampen colimits

5 votes
0 answers
281 views

Map of adjunctions

2 votes
4 answers
1k views

Eigenvalues of powers of linear mappings

7 votes
2 answers
1k views

Internal Day convolution

3 votes
2 answers
335 views

Maintaining a search-optimal tree

10 votes
1 answer
762 views

Weighted limits and completeness

38 votes
4 answers
5k views

Completion of a category

5 votes
0 answers
644 views

Adjunction between classic and intuitionistic logic