catlog/
refs.rs

1/*! References to the literature (docs only).
2
3This module contains references cited in the docs for this crate. It is compiled
4only when the crate the `doc` feature is enabled, and it is not intended to be
5used for any purpose besides documentation.
6 */
7
8// NOTE: It would be fun to record bibliographic data in a structured way, e.g.,
9// as constant structs of some type `Reference`. This works fine in Rust but it
10// doesn't produce usable docs because rustdoc doesn't display constants except
11// in certain special cases.
12//
13// - https://github.com/rust-lang/rust/pull/98814
14// - https://github.com/rust-lang/rust/issues/98929
15
16/** Reference: Cartesian double theories.
17
18Michael Lambert & Evan Patterson, 2024. Cartesian double theories: A
19double-categorical framework for categorical doctrines.
20
21- [DOI:10.1016/j.aim.2024.109630](https://doi.org/10.1016/j.aim.2024.109630)
22- [arXiv:2310.05384](https://arxiv.org/abs/2310.05384)
23 */
24pub const CartDblTheories: () = ();
25
26/** Reference: Products in double categories, revisited.
27
28Evan Patterson, 2024: Products in double categories, revisited.
29
30- [arXiv:2401.08990](https://arxiv.org/abs/2401.08990)
31 */
32pub const DblProducts: () = ();
33
34/** Reference: A unified framework for generalized multicategories.
35
36G.S.H. Cruttwell & Michael Shulman, 2010: A unified framework for generalized
37multicategories.
38
39- [arXiv:0907.2460](https://arxiv.org/abs/0907.2460)
40- [TAC](http://www.tac.mta.ca/tac/volumes/24/21/24-21.pdf)
41 */
42pub const GeneralizedMulticategories: () = ();
43
44/** Reference: *Higher operads, higher categories*.
45
46Tom Leinster, 2004: *Higher operads, higher categories*. Cambridge University
47Press.
48
49- [DOI:10.1017/CBO9780511525896](https://doi.org/10.1017/CBO9780511525896)
50- [arXiv:math/0305049](https://arxiv.org/abs/math/0305049)
51 */
52pub const HigherOperads: () = ();
53
54/** Reference: Compositional account of biochemical regulatory networks.
55
56Rebekah Aduddell, James Fairbanks, Amit Kumar, Pablo S. Ocal, Evan Patterson,
57Brandon T. Shapiro, 2024: A compositional account of motifs, mechanisms, and
58dynamics in biochemical regulatory networks.
59
60- [DOI:10.32408/compositionality-6-2](https://doi.org/10.32408/compositionality-6-2)
61- [arXiv:2301.01445](https://arxiv.org/abs/2301.01445)
62 */
63pub const RegNets: () = ();
64
65/** Reference: Compositional modeling with stock and flow diagrams.
66
67John Baez, Xiaoyan Li, Sophie Libkind, Nathaniel Osgood, Evan Patterson, 2023:
68Compositional modeling with stock and flow diagrams.
69
70- [DOI:10.4204/EPTCS.380.5](https://doi.org/10.4204/EPTCS.380.5)
71- [arXiv:2205.08373](https://arxiv.org/abs/2205.08373)
72 */
73pub const StockFlow: () = ();
74
75/** Reference: *Ideals, varieties, and algorithms*.
76
77David A. Cox, John B. Little, Don O'Shea, 2015. *Ideals, varieties, and
78algorithms*. Fourth edition.
79
80- [DOI:10.1007/978-3-319-16721-3](https://doi.org/10.1007/978-3-319-16721-3)
81- [Companion website](https://dacox.people.amherst.edu/iva.html)
82 */
83pub const IdealsVarietiesAlgorithms: () = ();
catlog/refs.rs

catlog/
refs.rs
