Options

Introduction: Fredrick Eisele

edited March 30 in Chat

A lot of what I am doing is related to AQL. https://github.com/CategoricalData/fql

I am developing a language for expressing categories and category families. The specific sub goals are:

  • Data model [category] migration and integration. A data model is an instance of a schema [which are categories].

  • Identify/Develop a categorical language using computational data structures. In particular I am doing this in Clojure.

  • Publish categories This builds on David Spivak's idea of published ologs. https://johncarlosbaez.wordpress.com/2015/03/27/spivak-part-1/ Specifically I have a github repository. https://github.com/babeloff/categories

  • Investigate visualizers, editors and other interpreters. Too many to call out, but I am currently reevaluating the https://webgme.org/ tooling concepts in categorical terms. The main GME concepts are: containment, inheritance, sets, pointers, class-diagrams, and rules. We have two versions of GME, a C++ .Net desktop version and a javascript browser version. Presently these two versions have similar but distinct data-models.

Comments

  • 1.

    Hi! Sounds like great stuff... and you're doing great things here!

    I've added a page about you on the Azimuth Wiki, based on yours here. You can edit it as you want.

    The stuff at the bottom of the source code of this page ensures that if you edit an Azimuth Wiki page and sign in using the name fred.eisele or Fred Eisele, a link to your page will appear. We do this to make it easy for people to learn about the people who are editing this wiki.

    Comment Source:Hi! Sounds like great stuff... and you're doing great things here! I've added a [page about you](http://www.azimuthproject.org/azimuth/show/Fredrick+Eisele) on the Azimuth Wiki, based on yours here. You can edit it as you want. The stuff at the bottom of the source code of this page ensures that if you edit an Azimuth Wiki page and sign in using the name fred.eisele or Fred Eisele, a link to your page will appear. We do this to make it easy for people to learn about the people who are editing this wiki.
  • 2.

    I will try to help out as much as I can. The material is exactly what I have been asking for.

    Comment Source:I will try to help out as much as I can. The material is exactly what I have been asking for.
  • 3.

    Thanks for creating lots of exercise discussions!

    Here's a problem I stumbled upon: in LaTeX, { and } are control characters, so

    $$ f_! (A) := { y \in Y | \exists a \in A \text{ such that } f a = y } $$ merely produces

    $$ f_! (A) := { y \in Y | \exists a \in A \text{ such that } f a = y } $$ In this installation of MathJax the solution is to use { and }. For example:

    $$ f_! (A) := \{ y \in Y | \exists a \in A \text{ such that } f a = y \} $$ produces

    $$ f_! (A) := { y \in Y | \exists a \in A \text{ such that } f a = y } $$ I'll repair these and other problems when I meet them. Starting on Thursday I'll go through all the exercises in Chapter 1 and "announce" them.

    Comment Source:Thanks for creating lots of exercise discussions! Here's a problem I stumbled upon: in LaTeX, { and } are control characters, so $$ f_! (A) := { y \in Y | \exists a \in A \text{ such that } f a = y } $$ merely produces $$ f_! (A) := { y \in Y | \exists a \in A \text{ such that } f a = y } $$ In this installation of MathJax the solution is to use \{ and \}. For example: $$ f_! (A) := \\{ y \in Y | \exists a \in A \text{ such that } f a = y \\} $$ produces $$ f_! (A) := \{ y \in Y | \exists a \in A \text{ such that } f a = y \} $$ I'll repair these and other problems when I meet them. Starting on Thursday I'll go through all the exercises in Chapter 1 and "announce" them.
  • 4.

    I add the Exercises as I work them out myself. Generally I have not been providing my own answers. If I doubt my answer then I put in my best guess.

    The Chapter 2 exercises are now present and I am starting on Chapter 3.

    Comment Source:I add the Exercises as I work them out myself. Generally I have not been providing my own answers. If I doubt my answer then I put in my best guess. The Chapter 2 exercises are now present and I am starting on Chapter 3.
  • 5.
    edited July 27

    Hi Fredrick,

    I haven't looked into this much, but I guess you might be interested in knowing about this if you don't already (though I'm not sure how much benefit it would have to your current areas of research around data models and such): https://hackage.haskell.org/package/CPL

    Also, since that is in haskell and you are doing some stuff on the JVM, I thought I'd mention Eta (https://eta-lang.org) which seems to be picking up steam lately.

    Comment Source:Hi Fredrick, I haven't looked into this much, but I guess you might be interested in knowing about this if you don't already (though I'm not sure how much benefit it would have to your current areas of research around data models and such): https://hackage.haskell.org/package/CPL Also, since that is in haskell and you are doing some stuff on the JVM, I thought I'd mention Eta (https://eta-lang.org) which seems to be picking up steam lately.
Sign In or Register to comment.