homotopy.io: a proof assistant for finitely-presented globular nn-categories

We present the proof assistant homotopy.io for working with finitely-presented semistrict higher categories. The tool runs in the browser with a point-and-click interface, allowing direct manipulation of proof objects via a graphical representation. We describe the user interface and explain how the tool can be used in practice. We also describe the essential subsystems of the tool, including collapse, contraction, expansion, typechecking, and layout, as well as key implementation details including data structure encoding, memoisation, and rendering. These technical innovations have been essential for achieving good performance in a resource-constrained setting

Ten Years after Sutton (2012): Quo Vadis Feedback Literacy? (A Bibliometric Study)

Drawing on the construct of Academic Literacy, Paul Sutton coined the term "Feedback Literacy" in 2012. Since then, a growing body of research on Feedback Literacy has emerged from scholars worldwide. This bibliometric study then intended to trace the historical development of Feedback Literacy research over a decade and identify future trends and directions in the field. Extracting from the Scopus database and employing Bibliometrix R-tool, this study seeks to reveal the performance analysis and science mapping of the construct. PRISMA 2020 was utilized to guide the articles' search, screening, selection, and reporting. The result of the performance analysis revealed the most prominent journal (Assessment and Evaluation in Higher Education), author (David Carless), article (Carless & Boud, 2018), and keywords (students-related feedback) in feedback literacy research. The conceptual, intellectual, and social structure analyses under science mapping provided insight into popular and fundamental research themes and the collaboration network among feedback literacy authors, with Australian researchers at the forefront. The findings imply that feedback literacy is a fertile ground for further research on topics such as students-related feedback, online feedback, ecological factor, and dialogic feedback. Studies outside of the context of higher education are still under-represented. This study can also aid novice scholars m finding relevant references or outlets for publication

A complete language for faceted dataflow programs

otherInternational audienceWe present a complete categorical axiomatization of a wide class of dataflow programs. This gives a three-dimensional diagrammatic language for workflows, more expressive than the directed acyclic graphs generally used for this purpose. This calls for an implementation of these representations in data transformation tools