Algebraic & Geometric Topology Volume 26, issue 1 (2026)

Download this article
	For screen
	For printing

Recent Issues

The Journal

About the journal

Ethics and policies

Peer-review process

Submission guidelines

Submission form

Editorial board

Subscriptions

ISSN (electronic): 1472-2739

ISSN (print): 1472-2747

Author index

To appear

Other MSP journals

Cubical approximation for directed topology, II

Sanjeevi Krishnan

Algebraic & Geometric Topology 26 (2026) 135–199

DOI: 10.2140/agt.2026.26.135

Bibliography

1	F A Al-Agl, R Brown, R Steiner, Multiple categories : the equivalence of a globular and a cubical approach, Adv. Math. 170 (2002) 71 MR1929304
2	S Awodey, M A Warren, Homotopy theoretic models of identity types, Math. Proc. Cambridge Philos. Soc. 146 (2009) 45 MR2461866
3	M Benini, Optimal space of linear classical observables for Maxwell k-forms via spacelike and timelike compact de Rham cohomologies, J. Math. Phys. 57 (2016) 053502 MR3493300
4	F Borceux, Handbook of categorical algebra, 2: Categories and structures, 51, Cambridge Univ. Press (1994) MR1313497
5	J Bourke, R Garner, Algebraic weak factorisation systems, I : Accessible AWFS, J. Pure Appl. Algebra 220 (2016) 108 MR3393453
6	U Buchholtz, E Morehouse, Varieties of cubical sets, from: "Relational and algebraic methods in computer science" (editors P Höfner, D Pous, G Struth), Lecture Notes in Comput. Sci. 10226, Springer (2017) 77 MR3668732
7	B Chorny, J Rosický, Class-combinatorial model categories, Homology Homotopy Appl. 14 (2012) 263 MR2954676
8	D C Cisinski, Le localisateur fondamental minimal, Cah. Topol. Géom. Différ. Catég. 45 (2004) 109 MR2072934
9	H S M Coxeter, W O J Moser, Generators and relations for discrete groups, 14, Springer (1980) MR562913
10	E B Curtis, Simplicial homotopy theory, Advances in Math. 6 (1971) 107 MR279808
11	J Dubut, É Goubault, J Goubault-Larrecq, The directed homotopy hypothesis, from: "Computer science logic 2016" (editors L Regnier, J M Talbot), Leibniz Int. Proc. Inform. 62, Schloss Dagstuhl. Leibniz-Zent. Inform. (2016) 9 MR3566698
12	L Fajstrup, Dipaths and dihomotopies in a cubical complex, Adv. in Appl. Math. 35 (2005) 188 MR2152887
13	L Fajstrup, M Raußen, E Goubault, Algebraic topology and concurrency, Theoret. Comput. Sci. 357 (2006) 241 MR2242768
14	L Fajstrup, M Raussen, E Goubault, E Haucourt, Components of the fundamental category, Appl. Categ. Structures 12 (2004) 81 MR2057412
15	G Gierz, K H Hofmann, K Keimel, J D Lawson, M Mislove, D S Scott, Continuous lattices and domains, 93, Cambridge Univ. Press (2003) MR1975381
16	E Goubault, E Haucourt, Components of the fundamental category, II, Appl. Categ. Structures 15 (2007) 387 MR2350213
17	E Goubault, E Haucourt, S Krishnan, Future path-components in directed topology, from: "Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics" (editors M Mislove, P Selinger), Electron. Notes Theor. Comput. Sci. 265, Elsevier (2010) 325 MR2909661
18	M Grandis, Directed homotopy theory, I, Cah. Topol. Géom. Différ. Catég. 44 (2003) 281 MR2030049
19	M Grandis, The shape of a category up to directed homotopy, Theory Appl. Categ. 15 (2005/06) 95 MR2210577
20	M Grandis, L Mauri, Cubical sets and their site, Theory Appl. Categ. 11 (2003) 185 MR1988396
21	M Grandis, W Tholen, Natural weak factorization systems, Arch. Math. (Brno) 42 (2006) 397 MR2283020
22	K Hess, M Kȩdziorek, E Riehl, B Shipley, A necessary and sufficient condition for induced model structures, J. Topol. 10 (2017) 324 MR3653314
23	G Hoff, Catégories fibrées et homotopie, C. R. Acad. Sci. Paris Sér. A 278 (1974) 223 MR357544
24	M L del Hoyo, On the subdivision of small categories, Topology Appl. 155 (2008) 1189 MR2421828
25	G B Im, G M Kelly, A universal property of the convolution monoidal structure, J. Pure Appl. Algebra 43 (1986) 75 MR862873
26	D C Isaksen, A model structure on the category of pro-simplicial sets, Trans. Amer. Math. Soc. 353 (2001) 2805 MR1828474
27	D C Isaksen, Calculating limits and colimits in pro-categories, Fund. Math. 175 (2002) 175 MR1969635
28	J F Jardine, Homotopy theories of diagrams, Theory Appl. Categ. 28 (2013) 269 MR3065949
29	I Khavkine, Cohomology with causally restricted supports, Ann. Henri Poincaré 17 (2016) 3577 MR3568026
30	S Krishnan, A convenient category of locally preordered spaces, Appl. Categ. Structures 17 (2009) 445 MR2545830
31	S Krishnan, Cubical approximation for directed topology, I, Appl. Categ. Structures 23 (2015) 177 MR3318285
32	S Krishnan, Triangulations of conal manifolds, preprint (2019) arXiv:1909.01971
33	S Krishnan, P R North, A Hurewicz model structure for directed topology, Theory Appl. Categ. 37 (2021) 613 MR4270265
34	S Krishnan, C Ogle, The uniform homotopy category, J. Pure Appl. Algebra 228 (2024) 107425 MR4603001
35	M Łazarz, K Siemieńczuk, A note on some characterization of distributive lattices of finite length, Bull. Sect. Logic Univ. Łódź 44 (2015) 15 MR3378767
36	J D Lawson, Intrinsic topologies in topological lattices and semilattices, Pacific J. Math. 44 (1973) 593 MR318031
37	D R Licata, R Harper, 2-dimensional directed type theory, from: "Twenty-Seventh Conference on the Mathematical Foundations of Programming Semantics (MFPS XXVII)" (editors M Mislove, J Ouaknine), Electron. Notes Theor. Comput. Sci. 276, Elsevier (2011) 263 MR2917360
38	J P May, A concise course in algebraic topology, University of Chicago Press (1999) MR1702278
39	M C McCord, Classifying spaces and infinite symmetric products, Trans. Amer. Math. Soc. 146 (1969) 273 MR251719
40	C V Meyer, Approximation filtrante de diagrammes finis par Pro-C, Ann. Sci. Math. Québec 4 (1980) 35 MR574833
41	E G Minian, 𝒞at as a Λ-cofibration category, J. Pure Appl. Algebra 167 (2002) 301 MR1874546
42	L Nachbin, Topology and order, Robert E. Krieger (1976) MR415582
43	P R North, A type theory for directed homotopy theory, lecture slides (2018)
44	D G Quillen, Homotopical algebra, 43, Springer (1967) MR223432
45	G Raptis, Bounded cohomology and homotopy colimits, Q. J. Math. 75 (2024) 1219 MR4843649
46	M Raussen, Simplicial models of trace spaces, Algebr. Geom. Topol. 10 (2010) 1683 MR2683749
47	E Riehl, Algebraic model structures, New York J. Math. 17 (2011) 173 MR2781914
48	E Riehl, M Shulman, A type theory for synthetic ∞-categories, High. Struct. 1 (2017) 147 MR3912054
49	R W Thomason, Cat as a closed model category, Cah. Topol. Géom. Différ. Catég. 21 (1980) 305 MR591388
50	V Trnková, Sum of categories with amalgamated subcategory, Comment. Math. Univ. Carolinae 6 (1965) 449 MR190208
51	J Winkowski, Towards a framework for modelling behaviours of hybrid systems, Fund. Inform. 80 (2007) 311 MR2361957