干涉
发表于 2025-3-23 11:58:42
Varieties of Cubical Sets. We prove that all our sites are test categories in the sense of Grothendieck, meaning that the corresponding presheaf categories of cubical sets model classical homotopy theory. We delineate exactly which ones are even strict test categories, meaning that products of cubical sets correspond to pro
bonnet
发表于 2025-3-23 14:25:44
http://reply.papertrans.cn/83/8262/826125/826125_12.png
Odyssey
发表于 2025-3-23 20:42:21
http://reply.papertrans.cn/83/8262/826125/826125_13.png
Wallow
发表于 2025-3-24 01:55:38
http://reply.papertrans.cn/83/8262/826125/826125_14.png
江湖骗子
发表于 2025-3-24 06:04:56
http://reply.papertrans.cn/83/8262/826125/826125_15.png
Limerick
发表于 2025-3-24 06:33:39
Parsing and Printing of and with Triplesgraph manipulation-rules, and printers using several relations. As such, parsers, rules and printers are all encoded as graphs themselves. This allows us to parse, manipulate and print these parsers, rules and printers within the system. A parser for a context free grammar is graph-encoded with only
要素
发表于 2025-3-24 12:21:57
Software Development in Relation Algebra with Ampersande. We have developed a database-application for legal reasoning as a case study, of which a small part is discussed in this paper to illustrate the mechanisms of programming in Relation Algebra. Beside being declarative, relation algebra comes with attractive promises for developing big software. Th
Semblance
发表于 2025-3-24 17:01:16
Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebrasel the static systems that are the main subject of the “algebraic approach” to graph transformation and model transformation: many variants of graph structures and object webs are more easily modelled as coalgebras than as algebras. By characterising the kinds of coalgebras that give rise to differe
不出名
发表于 2025-3-24 19:18:58
Aggregation of Votes with Multiple Positions on Each Issuepositions on each issue, but the combination of votes on the various issues is restricted to a set of feasible voting patterns. We require the aggregation to be supportive, i.e., for every issue, the corresponding component of every aggregator, when applied to a tuple of votes, must take as value on
行乞
发表于 2025-3-24 23:42:11
http://reply.papertrans.cn/83/8262/826125/826125_20.png