catlog/
refs.rs

1//! References to the literature (docs only).
2//!
3//! This module contains references cited in the docs for this crate. It is compiled
4//! only when the crate the `doc` feature is enabled, and it is not intended to be
5//! used for any purpose besides documentation.
6
7// NOTE: It would be fun to record bibliographic data in a structured way, e.g.,
8// as constant structs of some type `Reference`. This works fine in Rust but it
9// doesn't produce usable docs because rustdoc doesn't display constants except
10// in certain special cases.
11//
12// - https://github.com/rust-lang/rust/pull/98814
13// - https://github.com/rust-lang/rust/issues/98929
14
15/// Reference: Cartesian double theories.
16///
17/// Michael Lambert & Evan Patterson, 2024. Cartesian double theories: A
18/// double-categorical framework for categorical doctrines.
19///
20/// - [DOI:10.1016/j.aim.2024.109630](https://doi.org/10.1016/j.aim.2024.109630)
21/// - [arXiv:2310.05384](https://arxiv.org/abs/2310.05384)
22pub const CartDblTheories: () = ();
23
24/// Reference: Products in double categories, revisited.
25///
26/// Evan Patterson, 2026: Products in double categories, revisited.
27///
28/// - [arXiv:2401.08990](https://arxiv.org/abs/2401.08990)
29/// - [TAC](http://www.tac.mta.ca/tac/volumes/45/16/45-16abs.html)
30pub const DblProducts: () = ();
31
32/// Reference: Yoneda theory for double categories.
33///
34/// Paré, 2011: Yoneda theory for double categories.
35///
36/// - [TAC](http://www.tac.mta.ca/tac/volumes/25/17/25-17abs.html)
37pub const DblYonedaTheory: () = ();
38
39/// Reference: A unified framework for generalized multicategories.
40///
41/// G.S.H. Cruttwell & Michael Shulman, 2010: A unified framework for generalized
42/// multicategories.
43///
44/// - [arXiv:0907.2460](https://arxiv.org/abs/0907.2460)
45/// - [TAC](http://www.tac.mta.ca/tac/volumes/24/21/24-21abs.html)
46pub const GeneralizedMulticategories: () = ();
47
48/// Reference: *Higher operads, higher categories*.
49///
50/// Tom Leinster, 2004: *Higher operads, higher categories*. Cambridge University
51/// Press.
52///
53/// - [DOI:10.1017/CBO9780511525896](https://doi.org/10.1017/CBO9780511525896)
54/// - [arXiv:math/0305049](https://arxiv.org/abs/math/0305049)
55pub const HigherOperads: () = ();
56
57/// Reference: Augumented virtual double categories.
58///
59/// Seerp Roald Koudenburg, 2020: Augmented virtual double categories.
60///
61/// - [arXiv:1910.11189](https://arxiv.org/abs/1910.11189)
62/// - [TAC](http://www.tac.mta.ca/tac/volumes/35/10/35-10abs.html)
63pub const AugmentedVDCs: () = ();
64
65/// Reference: Adjoint logic with a 2-category of modes.
66///
67/// Daniel R. Licata & Michael Shulman, 2015: Adjoint logic with a 2-category of
68/// modes.
69///
70/// - [DOI:10.1007/978-3-319-27683-0_16](https://doi.org/10.1007/978-3-319-27683-0_16)
71/// - [preprint](https://web.archive.org/web/20240921140047/https://dlicata.wescreates.wesleyan.edu/pubs/ls15adjoint/ls15adjoint.pdf)
72pub const AdjointLogic: () = ();
73
74/// Reference: Compositional framework for reaction networks.
75///
76/// John C. Baez & Blake S. Pollard, 2017: A compositional framework for reaction
77/// networks.
78///
79/// - [DOI:10.1142/S0129055X17500283](https://doi.org/10.1142/S0129055X17500283)
80/// - [arXiv:1704.02051](https://arxiv.org/abs/1704.02051)
81pub const ReactionNets: () = ();
82
83/// Reference: Compositional account of biochemical regulatory networks.
84///
85/// Rebekah Aduddell, James Fairbanks, Amit Kumar, Pablo S. Ocal, Evan Patterson,
86/// Brandon T. Shapiro, 2024: A compositional account of motifs, mechanisms, and
87/// dynamics in biochemical regulatory networks.
88///
89/// - [DOI:10.32408/compositionality-6-2](https://doi.org/10.32408/compositionality-6-2)
90/// - [arXiv:2301.01445](https://arxiv.org/abs/2301.01445)
91pub const RegNets: () = ();
92
93/// Reference: Compositional modeling with stock and flow diagrams.
94///
95/// John Baez, Xiaoyan Li, Sophie Libkind, Nathaniel Osgood, Evan Patterson, 2023:
96/// Compositional modeling with stock and flow diagrams.
97///
98/// - [DOI:10.4204/EPTCS.380.5](https://doi.org/10.4204/EPTCS.380.5)
99/// - [arXiv:2205.08373](https://arxiv.org/abs/2205.08373)
100pub const StockFlow: () = ();
101
102/// Reference: *Category theory for the sciences*.
103///
104/// David I. Spivak, 2014. *Category theory for the sciences*.
105///
106/// - [Internet Archive](https://archive.org/details/cattheory)
107/// - [arXiv:1302.6946](https://arxiv.org/abs/1302.6946)
108pub const CTForTheSciences: () = ();
109
110/// Reference: *Ideals, varieties, and algorithms*.
111///
112/// David A. Cox, John B. Little, Don O'Shea, 2015. *Ideals, varieties, and
113/// algorithms*. Fourth edition.
114///
115/// - [DOI:10.1007/978-3-319-16721-3](https://doi.org/10.1007/978-3-319-16721-3)
116/// - [Companion website](https://dacox.people.amherst.edu/iva.html)
117pub const IdealsVarietiesAlgorithms: () = ();
118
119/// Reference: Polynomial functors and trees.
120///
121/// Joachim Kock, 2011. Polynomial functors and trees.
122///
123/// - [DOI:10.1093/imrn/rnq068](https://doi.org/10.1093/imrn/rnq068)
124/// - [arXiv:0807.2874](https://arxiv.org/abs/0807.2874)
125pub const KockTrees: () = ();
126
127/// Reference: Graphs, hypergraphs, and properads.
128///
129/// Joachim Kock, 2016. Graphs, hypergraphs, and properads.
130///
131/// - [DOI:10.1007/s13348-015-0160-0](https://doi.org/10.1007/s13348-015-0160-0)
132/// - [arXiv:1407.3744](https://arxiv.org/abs/1407.3744)
133pub const KockGraphs: () = ();
134
135/// Reference: Handbook of Model Checking.
136///
137/// Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem, 2018.
138/// Handbook of Model Checking.
139///
140/// - [DOI:10.1007/978-3-319-10575-8](https://doi.org/10.1007/978-3-319-10575-8)
141pub const HandbookModelChecking: () = ();
142
143/// Reference: Impact of topology on nonlinear dynamical network stability.
144///
145///
146/// J. Nitzbon et al, 2017: Deciphering the imprint of topology on nonlinear
147/// dynamical network stability.
148///
149/// - [DOI:10.1088/1367-2630/aa6321](https://doi.org/10.1088/1367-2630/aa6321)
150/// - [arXiv:1612.03654](https://arxiv.org/abs/1612.03654)
151pub const NitzbonNetworkStability: () = ();
catlog/refs.rs

catlog/
refs.rs
