Enriched and internal categories: an extensive relationship

Anthony Power, Thomas Cottrell, Soichiro Fujii

University of Tokyo

Research output: Contribution to journal › Article › peer-review

1 results

Finished
Higher Category Theoretic Structure of Programming Semantics
Power, J. (PI)
The Royal Society
11/11/16 → 11/11/18
Project: Research council