25 citations · 102 across the 22 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
quant-ph2014
Fibred Coalgebraic Logic and Quantum Protocols
Daniel Marsden
Motivated by applications in modelling quantum systems using coalgebraic techniques, we introduce a fibred coalgebraic logic. Our approach extends the conventional predicate liftin…
math.CT2014★ 18 cited
Category Theory Using String Diagrams
Daniel Marsden
In work of Fokkinga and Meertens a calculational approach to category theory is developed. The scheme has many merits, but sacrifices useful type information in the move to an equa…