Bryce Clarke

@8ryceClarke

PhD student at Macquarie University. he / him. Applying category theory to understand lenses.

Sydney, Australia
Joined February 2019
29 Photos and videos Photos and videos

Tweets

You blocked @8ryceClarke

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @8ryceClarke

  1. Pinned Tweet
    Jul 13

    What an awesome week at . Hoping to get some rest today before jumping into another exciting week for . Here are the slides for my CT talk "Internal lenses as monad morphisms":

    2 retweets 9 likes
    Undo
  2. Oct 31

    So I go on CTAN to look up some documentation...

    2 replies 1 retweet 9 likes
    Undo
  3. Oct 24

    Currently reading "Formal Category Theory: Adjointness for 2-Categories" by Gray. This appears on page 30 / 282.

    6 likes
    Show this thread
    Show this thread
    Undo
  4. Oct 24

    Ah, so the Grothendieck construction is just the 2-comma category 1 // F where F : C -> Cat.

    1 reply 6 likes
    Show this thread
    Show this thread
    Undo
  5. Oct 18

    What's the best way to draw a 4-simplex on paper?

    2 replies 5 likes
    Undo
  6. Retweeted
    Oct 14

    Mathematicians (click for full comic)

    6 replies 18 retweets 98 likes
    Undo
  7. Retweeted
    Oct 9

    New blog post about fibrations: . There is also a PDF version:

    3 replies 26 retweets 104 likes
    Show this thread
    Show this thread
    Undo
  8. Retweeted
    Oct 2

    SYCO video that I won't embed in a bigger thread: Profunctor optics, a categorical update, by

    2 replies 5 retweets 20 likes
    Undo
  9. Sep 24

    The "Part II" is because gave a talk with the same title a month ago, but didn't manage to state the theorem I wanted to prove!

    1 reply 2 likes
    Show this thread
    Show this thread
    Undo
  10. Sep 24

    From the abstract: "the purpose of this talk is to motivate the definition of a symmetric lens between internal categories as a pair of internal Mealy morphisms and establish the relationship with spans of internal lenses, generalising previous work of Johnson and Rosebrugh."

    1 reply 3 likes
    Show this thread
    Show this thread
    Undo
  11. Sep 24

    Giving a talk to the Australian Category Seminar at Macquarie today, titled "Symmetric lenses as Mealy morphisms - Part II".

    1 reply 9 likes
    Show this thread
    Show this thread
    Undo
  12. Sep 10

    Yesterday I learned of "list objects" for the first time. All you need is finite products and a terminal object. The natural numbers object is a special case!

    1 retweet 4 likes
    Undo
  13. Retweeted
    Sep 5

    Mario Román () on profunctor optics - fresh out of the ACT school I think you can expect this stuff to be coming to a lens library near you

    2 replies 11 retweets 55 likes
    Undo
  14. Retweeted
    Sep 3

    are digital signatures an example of a lens somehow? just looking at the types of the two functions (sign and verify), but i have literally zero actual concrete knowledge of lenses. et al? (sorry for the entirely unresearched question)

    2 replies 2 retweets 3 likes
    Undo
  15. Retweeted
    Sep 3

    Anyone able to contribute to 'The narratives category theorists tell themselves' , please do.

    2 replies 7 retweets 15 likes
    Undo
  16. Aug 29

    Answer: require a bijective on objects functor K : S' -> S which "translates" morphisms of S' to morphisms of S. Then we simply require the Get-Put law holds: K G = G'. This idea is exactly that of a delta lens!

    Show this thread
    Show this thread
    Undo
  17. Aug 29

    The (Get) functor G : S -> V does the "pushing-forward" while the (Put) discrete opfibration G' : S' -> V does the "lifting". But wait, the categories S and S' are different... what do we need to fix this?

    1 reply 1 like
    Show this thread
    Show this thread
    Undo
  18. Aug 29

    This leads to the observation: maybe discrete opfibrations in general give a good notion of lens? They do! However often we start with a functor G : S -> V and want to know if we can define a (delta) lens structure on it.

    1 reply
    Show this thread
    Show this thread
    Undo
  19. Aug 29

    Every lens (g : S -> V, p : S x V -> S) is the same as a discrete (op)fibration over the codiscrete category on V.

    1 reply 1 retweet 8 likes
    Show this thread
    Show this thread
    Undo
  20. Aug 29

    In many ways, this recent paper by Diskin is in the same spirit:

    1 like
    Show this thread
    Show this thread
    Undo
  21. Aug 29

    This whole thread makes me happy.

    Here's my hot take: we should be machine learning functors rather than functions
    1 reply 1 retweet 4 likes
    Show this thread
    Show this thread
    Undo

@8ryceClarke hasn't Tweeted yet.

Loading seems to be taking a while.

Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.

    You may also like

    ·