varkor
Type theorist and Rust compiler developer. I make q.uiver.app.
-
U.K.
-
Member for 1 year
-
0 profile views
-
Last seen Feb 21 at 17:11
Communities (11)
Top network posts
- 22 Two interpretations of implication in categorical logic?
- 16 Monoidal categories whose tensor has a left adjoint
- 10 Are fully faithful functors stable under pullback?
- 9 What are some examples of self-adjoint functors? Is this an example?
- 9 Why is the theory of small categories not algebraic?
- 8 Free category with product and coproduct
- 8 What is the relationship between free bicompletion and the Isbell envelope?
- View more network posts →
Keeping a low profile.
This user hasn't posted yet.