David Jaz Myers

icon indicating a website link davidjaz.com

icon location A mathematician. Interested in categorical systems theory, modal type theory, and what it means to be a "thing".

Results 1 issues of David Jaz Myers

Corners in squares for pushout/pullback

2 comment

Fantastic editor! I am using it more and more. The main thing I find missing is the little corner cubes in squares saying that they are a pushout or a...

enhancement