Sanjeevi Krishnan

me research teaching
sanjeevi@math.osu.edu
Math Tower 754
231 West 18th Avenue
Columbus OH, 43210-1174
(614) 292-8434
I do math at OSU.
     
I'm primarily interested in directed algebraic topology, a refinement of clasical algebraic topology for spaces with some structure of time on them.
dat.py python/sage libraries for directed algebraic topology
S. Krishnan, created 2019.
cubcat.app repl+spreadsheet
S. Krishnan, created 2019.
demo: model-checking with directed algebraic topology
S. Krishnan, created 2019.
demo: second homotopy groups as derived group completions
S. Krishnan, created 2019.
demo: directed (co)homology semigroups of simplicial sets
S. Krishnan, created 2019.
demo: gaps in dynamic sensor networks as cohomology cones
S. Krishnan, created 2019.
demo: detecting inverse structures in category representations
S. Krishnan, created 2019.
Dihomotopy type theory
S. Krishnan , P. North, submitted 2016
Directed Poincare Duality
S. Krishnan, submitted 2016
Directed (Co)homology
S. Krishnan, submitted 2020
Dihomotopy (co)limits
S. Krishnan, P. North, submitted 2016
The directed homotopy of directed spheres
S. Krishnan, submitted 2016
Cubical approximation for directed topology II
S. Krishnan, submitted 2023
The Uniform Homotopy Category
S. Krishnan, C. Ogle, Journal of Pure and Applied Algebra, 2024
Invertibility in category representations
S. Krishnan, C. Ogle, submitted 2020
A Hurewicz model structure for directed topology
S. Krishnan, P. North, Theory and Application of Categories, 2021
Triangulations of conal manifolds
S. Krishnan, submitted 2019
Positive Alexander Duality for Pursuit and Evasion
Flow-cut dualities for sheaves on graphs
S. Krishnan, under revision
A Topological Max-Flow Min-Cut Theorem
R. Ghrist, S. Krishnan, Proceedings of Global Signal Inference, 2013.
Cubical approximation for directed topology I
S. Krishnan, Applied Categorical Structures, 2013, vol. 23, no 2, p. 177-214.
A free object in quantum information theory
J. Feng, K. Martin, S. Krishnan, Electronic Notes in Theoretical Computer Science, 2010.
Future path-components in directed topology
E. Goubault, E. Haucourt, S. Krishnan, Electronic Notes in Theoretical Computer Science, 2010, vol. 265, p. 325-335.
Covering space theory for directed topology
E. Goubault, E. Haucourt, S. Krishnan, Theory and Application of Categories, 2009, vol. 22, no 9, p. 252-268.
Criteria for homotopic maps to be so along monotone homotopies
S. Krishnan, GETCO 2004-2006 Proc., Electr. Notes Theor. Comput. Sci., (2009), vol. 230, pp. 141-148.
A convenient category of locally preordered spaces
S. Krishnan, Applied Categorical Structures, 2009, vol. 17, no 5, p. 445-466.
intro    article    app    code