On (∞,1)-categorical hom-spaces in terms of quasi-categories:
On internal categories in homotopy type theory:
On category theory:
On lenses (in computer science):
On type theoretical databases:
On dynamical systems and their categorical systems theory:
and via polynomial functors:
Last revised on June 22, 2025 at 14:30:12. See the history of this page for a list of all contributions to it.