Search

Fulltext results:

classtype

14 Hits, Last modified: 4 years ago

classes|universal class]], [[First-order classes|first-order class]], [[Second-order classes|second-order class]], [

properties

13 Hits, Last modified: 4 years ago

classes|universal class]], [[first-order classes|first-order class]], [[second-order classes|second-order class]], h

index.html

11 Hits, Last modified: 9 months ago

start

11 Hits, Last modified: 9 months ago

schroeder_categories

6 Hits, Last modified: 4 years ago

escribed. ^[[Classtype]] |first-order class | ^[[Equational theory]] | | ^[[Qu

groupoids

6 Hits, Last modified: 4 years ago

escribed. ^[[Classtype]] |first-order class | ^[[Equational theory]] | | ^[[Qu

first-order_classes

5 Hits, Last modified: 4 years ago