diff --git a/_quarto.yml b/_quarto.yml index e8b99c4..7f9c89a 100644 --- a/_quarto.yml +++ b/_quarto.yml @@ -10,9 +10,7 @@ website: logo: _assets/gatas_logo.png collapse-below: sm right: - - about.qmd - members.qmd - - seminars.qmd - research.qmd - text: "Blog" href: https://blog.algebraicjulia.org/ diff --git a/about.qmd b/about.qmd deleted file mode 100644 index 03ccaed..0000000 --- a/about.qmd +++ /dev/null @@ -1,38 +0,0 @@ ---- -title: "About" -image: _assets/gatas_logo.png -about: - template: solana - image-shape: rectangle - - links: - - icon: github - text: Github - href: https://github.com/AlgebraicJulia - - icon: _assets/brand/favicon.ico - text: AlgebraicJulia - href: https://www.algebraicjulia.org/ ---- - -## Research - -The GATAS laboratory uses applied category theory to develop novel approaches to scientific -computing. We are domain-agnostic, solving problems in -[dynamics](https://arxiv.org/abs/2105.12282), -[physics](https://github.com/AlgebraicJulia/Decapodes.jl), -[biology](https://royalsocietypublishing.org/doi/abs/10.1098/rsta.2021.0309), -[the life sciences](https://arxiv.org/abs/2301.01445), -and [industrial engineering](https://arxiv.org/abs/2305.03820). The laboratory works closely -with Evan Patterson's research group at the [Topos Institute](https://topos.institute) to -maintain and develop the [AlgebraicJulia](https://www.algebraicjulia.org/) software ecosystem. - -## Philosophy - -Scientists develop simulations by translating scientific concepts into mathematical models, -and then embodying those models in software. We seek to automate this process using -[category theory](https://en.wikipedia.org/wiki/Category_theory). -Category theory is a mathematical language rich enough in abstraction to represent any -scientific concept, yet pliable enough to manipulate efficiently with a computer. The -software in [AlgebraicJulia](https://www.algebraicjulia.org/) encodes a number of these -abstractions; with it, scientists can build powerful, robust, and bespoke scientific models -without starting from scratch in each domain. diff --git a/index.qmd b/index.qmd index ecebbce..0413c5c 100644 --- a/index.qmd +++ b/index.qmd @@ -12,4 +12,13 @@ and [industrial engineering](https://arxiv.org/abs/2305.03820). The laboratory w with Evan Patterson's research group at the [Topos Institute](https://topos.institute) to maintain and develop the [AlgebraicJulia](https://www.algebraicjulia.org/) software ecosystem. -See the laboratory's [About](about.qmd) page to learn more about our research goals and philosophy. +## Philosophy + +Scientists develop simulations by translating scientific concepts into mathematical models, +and then embodying those models in software. We seek to automate this process using +[category theory](https://en.wikipedia.org/wiki/Category_theory). +Category theory is a mathematical language rich enough in abstraction to represent any +scientific concept, yet pliable enough to manipulate efficiently with a computer. The +software in [AlgebraicJulia](https://www.algebraicjulia.org/) encodes a number of these +abstractions; with it, scientists can build powerful, robust, and bespoke scientific models +without starting from scratch in each domain. diff --git a/members/benbumpus.qmd b/members/benbumpus.qmd index 5ff0f7a..145df88 100644 --- a/members/benbumpus.qmd +++ b/members/benbumpus.qmd @@ -5,10 +5,10 @@ about: template: solana --- -I am a faculty research scientist and the lead of algorithms subprojects within the GATAS lab. +is a faculty research scientist and the lead of algorithms subprojects within the GATAS lab. The main character in the stories I tell is Complexity and I mean this in the broadest sense: -I am interested in classifying different kinds of complexity (Structural, algorithmic, behavioral, etc.) +I am interested in classifying different kinds of complexity (structural, algorithmic, behavioral, etc.) and in understanding how complexity arises. The main focus of my work is the emergence of complexity and how this relates to the mathematics of Compositionality (the philosophical contention that the structure or meaning of the whole depends on that of its parts). diff --git a/members/cuffaromatt.qmd b/members/cuffaromatt.qmd index 9f65a2c..b323229 100644 --- a/members/cuffaromatt.qmd +++ b/members/cuffaromatt.qmd @@ -5,4 +5,4 @@ about: template: solana --- -I am the systems administrator for the GATAS lab. I help my colleagues build the AlgebraicJulia ecosystem as a custodian of our IT infrastructure as well as upholding best practices in code quality. +is the systems administrator for the GATAS lab. I help my colleagues build the AlgebraicJulia ecosystem as a custodian of our IT infrastructure, as well as upholding best practices in code quality. diff --git a/members/georgerauta.qmd b/members/georgerauta.qmd index 76e3fd8..126b35c 100644 --- a/members/georgerauta.qmd +++ b/members/georgerauta.qmd @@ -6,4 +6,4 @@ about: template: solana --- -I am a research scientist who likes math. +is a research scientist who likes math. diff --git a/members/jamesfairbanks.qmd b/members/jamesfairbanks.qmd index 9e4f5f9..2f59585 100644 --- a/members/jamesfairbanks.qmd +++ b/members/jamesfairbanks.qmd @@ -5,9 +5,8 @@ about: template: solana --- -Is an assistant professor in Computer and Information Science and Engineering -affiliated with Mechanical and Aerospace Engineering, Institute for Computational Engineering, and the Florida Institute for National Security. - +is an assistant professor in Computer and Information Science and Engineering department. +He is also affiliated with the Mechanical and Aerospace Engineering department, the Institute for Computational Engineering, and the Florida Institute for National Security. My research focuses on new paradigms in scientific computing, specifically applied category theory. This approach to mathematical modeling focuses on structure and structure preserving relationships between mathematical objects. diff --git a/members/lukemorris.qmd b/members/lukemorris.qmd index 751e0de..2baae4b 100644 --- a/members/lukemorris.qmd +++ b/members/lukemorris.qmd @@ -4,7 +4,7 @@ image: images/lukemorris.jpeg about: template: solana --- -I am leading development on the CombinatorialSpaces.jl and Decapodes.jl projects +is leading development on the CombinatorialSpaces.jl and Decapodes.jl projects ... for representing multiphysics models and automatically generating simulations from those representations. --- diff --git a/members/patrickstokes.qmd b/members/patrickstokes.qmd index 9c47cdd..d8ccf73 100644 --- a/members/patrickstokes.qmd +++ b/members/patrickstokes.qmd @@ -6,7 +6,7 @@ about: template: solana --- -I am a faculty research scientist in the GATAS lab. +is a faculty research scientist in the GATAS lab. My background is in signal processing, statistical modeling, and system identification in computational neuroscience. My research interest is applying category theory to develop structures and algorithms for robust inference diff --git a/members/richardsamuelson.qmd b/members/richardsamuelson.qmd index 7550d92..3c47bbb 100644 --- a/members/richardsamuelson.qmd +++ b/members/richardsamuelson.qmd @@ -12,4 +12,4 @@ about: href: https://richardsamuelson.com --- -I am a doctoral student researching category theory, machine learning, and convex analysis. +is a doctoral student researching category theory, machine learning, and convex analysis. diff --git a/members/taylorfrederick.qmd b/members/taylorfrederick.qmd index 9667532..3ebb75a 100644 --- a/members/taylorfrederick.qmd +++ b/members/taylorfrederick.qmd @@ -6,4 +6,4 @@ about: template: solana --- -I am a research scientist who likes math. +is a research scientist who likes math. diff --git a/members/tylerhanks.qmd b/members/tylerhanks.qmd index 942ccd6..17bb104 100644 --- a/members/tylerhanks.qmd +++ b/members/tylerhanks.qmd @@ -6,7 +6,7 @@ about: template: solana --- -I am a PhD student in the GATAS lab working on optimization, control theory, and machine learning. +is a PhD student in the GATAS lab working on optimization, control theory, and machine learning. Specifically, I am interested in applying category theory and other tools from abstract algebra and type theory to formalize and exploit the compositional structures arising in these fields. Examples of such compositional structures that I study include multi-agent control, distributed optimization, and complex neural network architectures. diff --git a/members/wilmerleal.qmd b/members/wilmerleal.qmd index 3e77ca7..fa76370 100644 --- a/members/wilmerleal.qmd +++ b/members/wilmerleal.qmd @@ -5,7 +5,7 @@ about: template: solana --- -I am a postdoctoral researcher at the Computer Science Department at the University of Florida, USA. +is a postdoctoral researcher at the Computer Science Department at the University of Florida, USA. I am fascinated by the interplay between chemistry and mathematics, leveraging mathematical tools to solve chemical questions and using chemical intuition to inspire mathematical insights. diff --git a/recent_pubs/aguinaldo et al 23.pdf b/recent_pubs/aguinaldo et al 23.pdf deleted file mode 100644 index caf183e..0000000 Binary files a/recent_pubs/aguinaldo et al 23.pdf and /dev/null differ diff --git a/recent_pubs/garrett-et-al-2022-the-application-of-applied-category-theory-to-quantify-mission-success.pdf b/recent_pubs/garrett-et-al-2022-the-application-of-applied-category-theory-to-quantify-mission-success.pdf deleted file mode 100644 index cf9fb58..0000000 Binary files a/recent_pubs/garrett-et-al-2022-the-application-of-applied-category-theory-to-quantify-mission-success.pdf and /dev/null differ diff --git a/recent_pubs/pub1.qmd b/recent_pubs/pub1.qmd deleted file mode 100644 index 5c20b3a..0000000 --- a/recent_pubs/pub1.qmd +++ /dev/null @@ -1,8 +0,0 @@ ---- -title: "AlgebraicControl.jl" ---- - -```{=html} - -``` \ No newline at end of file diff --git a/recent_pubs/pub2.qmd b/recent_pubs/pub2.qmd deleted file mode 100644 index 879ea61..0000000 --- a/recent_pubs/pub2.qmd +++ /dev/null @@ -1,8 +0,0 @@ ---- -title: "The application of applied category theory to quantify mission success" ---- - -```{=html} - -``` \ No newline at end of file diff --git a/recent_pubs/pub3.qmd b/recent_pubs/pub3.qmd deleted file mode 100644 index f2ddd24..0000000 --- a/recent_pubs/pub3.qmd +++ /dev/null @@ -1,12 +0,0 @@ ---- -title: "A Categorical Representation Language and Computational System for Knowledge-Based Planning" - ---- - - - \ No newline at end of file diff --git a/research.qmd b/research.qmd index 301d32b..f93eaac 100644 --- a/research.qmd +++ b/research.qmd @@ -1,15 +1,8 @@ --- -title: "Current Work" - -listing: - - id: recent_pubs - type: grid - contents: "recent_pubs/*.qmd" - image-placeholder: _assets/gatas_logo.png - image-height: 200px +title: "Research" --- -## Current Projects +## Software ### [Decapodes.jl](https://algebraicjulia.github.io/Decapodes.jl/stable/) Decapodes are a graphical tool for the composition of physical systems. @@ -23,8 +16,19 @@ solving a sequence of constrained optimization problems across a given time hori We present a novel Julia library that leverages our theoretical results to automate the implementation of correct-by-construction MPC problems in software. -## Recent Publications - -:::{#recent_pubs} -::: - +## Publications + +| Year | Title | +| ---- | ----- | +| 2024 | [The diagrammatic presentation of equations in categories](https://arxiv.org/abs/2401.09751)
Kevin Arlin, James Fairbanks, Tim Hosgood, and Evan Patterson | +| 2024 | [Towards a Compositional Framework for Convex Analysis](https://arxiv.org/abs/2312.02291)
Richard Samuelson and Dario Stein | +| 2023 | [Computational category-theoretic rewriting](https://arxiv.org/abs/2111.03784)
Kristopher Brown, Evan Patterson, Tyler Hanks, and James Fairbanks
Journal of Logical and Algebraic Methods in Programming | +| 2023 | [A Categorical Representation Language and Computational System for Knowledge-Based Planning](https://arxiv.org/abs/2305.17208)
Angeline Aguinaldo, Evan Patterson, James Fairbanks, and Jaime Ruiz | +| 2023 | [A Compositional Framework for Convex Model Predictive Control](https://arxiv.org/abs/2305.03820)
Tyler Hanks, Baike She, Matthew Hale, Evan Patterson, Matthew Klawonn, and James Fairbanks | +| 2023 | [Characterizing Compositionality of LQR from the Categorical Perspective](https://arxiv.org/abs/2305.01811)
Baike She, Tyler Hanks, James Fairbanks, and Matthew Hale | +| 2023 | [Compositional Algorithms on Compositional Data: Deciding Sheaves on Presheaves](https://arxiv.org/abs/2302.05575)
Ernst Althaus, Benjamin Merlin Bumpus, James Fairbanks, and Daniel Rosiak | +| 2023 | [The application of applied category theory to quantify mission success](https://journals.sagepub.com/doi/abs/10.1177/00375497221114861)
Robert K Garrett, James Fairbanks, Margaret Loper, and James Moreland
Simulation | +| 2023 | [A compositional account of motifs, mechanisms, and dynamics in biochemical regulatory networks](https://arxiv.org/abs/2301.01445)
Rebekah Aduddell, James Fairbanks, Amit Kumar, Pablo Ocal, Evan Patterson, and Brandon Shapiro | +| 2023 | [A Categorical Representation Language and Computational System for Knowledge-Based Robotic Task Planning](https://ojs.aaai.org/index.php/AAAI-SS/article/view/27718)
Angeline Aguinaldo, Evan Patterson, James Fairbanks, William Regli, and Jaime Ruiz
Proceedings of the AAAI Symposium Series | +| 2022 | [An algebraic framework for structured epidemic modelling](https://royalsocietypublishing.org/doi/full/10.1098/rsta.2021.0309)
Sophie Libkind, Andrew Baas, Micah Halter, Evan Patterson, and James Fairbanks
Philosophical Transactions of the Royal Society A | +| 2022 | [Compositional Exploration of Combinatorial Scientific Models](https://msp.cis.strath.ac.uk/act2022/papers/ACT2022_paper_2062.pdf)
Kristopher Brown, Tyler Hanks, and James Fairbanks | diff --git a/seminars.qmd b/seminars.qmd deleted file mode 100644 index d6b715e..0000000 --- a/seminars.qmd +++ /dev/null @@ -1,4 +0,0 @@ ---- -title: "Seminars" ---- -Stay tuned... \ No newline at end of file