default search action

combined dblp search
author search
venue search
publication search

ask others

5th ACT 2022: Glasgow, UK

> Home > Conferences and Workshops > ACT

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-15519
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-15519
Jade Master, Martha Lewis:
Proceedings Fifth International Conference on Applied Category Theory, ACT 2022, Glasgow, United Kingdom, 18-22 July 2022. EPTCS 380, 2023
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-16558
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-16558
Flavien Breuvart, Dylan McDermott, Tarmo Uustalu:
Canonical Gradings of Monads. 1-21
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-13589
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-13589
Andrea Censi, Emilio Frazzoli, Jonathan Lorand, Gioele Zardini:
Categorification of Negative Information using Enrichment. 22-40
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-08914
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-08914
Malin Altenmüller, Ross Duncan:
A Category of Surface-Embedded Graphs. 41-62
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-09027
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-09027
James Hefford, Cole Comfort:
Coend Optics for Quantum Combs. 63-76
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-08373
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-08373
John Baez, Xiaoyan Li, Sophie Libkind, Nathaniel Osgood, Evan Patterson:
Compositional Modeling with Stock and Flow Diagrams. 77-96
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-00842
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-00842
Guillaume Boisseau, Chad Nester, Mario Román:
Cornering Optics. 97-110
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-09509
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-09509
Amar Hadzihasanovic, Diana Kessler:
Data structures for topologically sound higher-dimensional diagram rewriting. 111-127
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-09547
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-09547
Pietro Vertechi:
Dependent Optics. 128-144
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-12338
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-12338
Matteo Capucci:
Diegetic representation of feedback in open games. 145-158
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2103-00938
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-00938
Fosco Loregiàn, Todd Trimble:
Differential 2-rigs. 159-182
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-03906
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-03906
Brandon Shapiro, David I. Spivak:
Dynamic categories, dynamic operads: From deep learning to prediction markets. 183-202
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-09784
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-09784
J. Robin B. Cockett, Isabelle Jianing Geng, Carlo Maria Scandolo, Priyaa Varshinee Srinivasan:
Extending Resource Monotones using Kan Extensions. 203-223
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-06765
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-06765
Fabrizio Romano Genovese, Fosco Loregiàn, Caterina Puca:
Fibrational Linguistics (FibLang): Language Acquisition. 224-236
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-16552
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-16552
Ezra Schoen:
Lax Liftings and Lax Distributive Laws. 237-253
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-05178
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-05178
Steve Huntsman:
Magnitude and topological entropy of digraphs. 254-267
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-08916
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-08916
Elena Di Lavore, Pawel Sobocinski:
Monoidal Width: Capturing Rank Width. 268-283
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-09678
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-09678
James Hefford, Aleks Kissinger:
On the Pre- and Promonoidal Structure of Spacetime. 284-306
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-03868
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-03868
Toby St Clere Smithe:
Open dynamical systems as coalgebras for polynomial functors, with application to predictive processing. 307-330
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2201-12878
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-12878
David I. Spivak:
Polynomial functors and Shannon entropy. 331-343
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-07664
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-07664
Mario Román:
Promonads and String Diagrams for Effectful Categories. 344-361
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-03929
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-03929
Leo Lobski, Fabio Zanasi:
String Diagrams for Layered Explanations. 362-382
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-06596
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-06596
Lingyuan Ye:
Unification of Modal Logic via Topological Categories. 383-399
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-16553
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-16553
Matthew Di Meglio:
Universal Properties of Lens Proxy Pullbacks. 400-416
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-04547
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-04547
Jules Hedges, Riu Rodríguez Sakamoto:
Value Iteration is Optic Composition. 417-432

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.