Universal properties in double category theory

Universal properties in double category theory Academic Positions Computer science » InformaticsComputer science » OtherMathematics » AlgebraMathematics » Computational mathematicsMathematics » Mathematical logic Universal properties in double category theory The objective of this position is to advance the understanding of universal properties in double category theory and to demonstrate applications in theoretical computer science. Topics may include loose universal properties, two-dimensional sketches...