The following pages link to Matias Menni (Q1681851):
Displaying 43 items.
- (Q284974) (redirect page) (← links)
- A representation theorem for integral rigs and its applications to residuated lattices. (Q284976) (← links)
- (Q886235) (redirect page) (← links)
- Cocomplete toposes whose exact completions are toposes (Q886236) (← links)
- Combinatorial functional and differential equations applied to differential posets (Q952648) (← links)
- Läuchli's completeness theorem from a topos-theoretic perspective (Q969688) (← links)
- On some categories of involutive centered residuated lattices (Q1005951) (← links)
- About \({|}/{|}\)-quantifiers (Q1410543) (← links)
- More exact completions that are toposes (Q1602851) (← links)
- Every rig with a one-variable fixed point presentation is the Burnside rig of a prextensive category (Q1681852) (← links)
- The construction of \(\pi_0\) in Axiomatic Cohesion (Q1683374) (← links)
- A characterization of the left exact categories whose exact completions are toposes (Q1861488) (← links)
- The hyperconnected maps that are local (Q2223372) (← links)
- On the relation between continuous and combinatorial (Q2363407) (← links)
- Maps with discrete fibers and the origin of basepoints (Q2674403) (← links)
- (Q2756989) (← links)
- (Q2847337) (← links)
- (Q2878029) (← links)
- (Q2927669) (← links)
- Compatible operations on commutative residuated lattices (Q3643365) (← links)
- (Q3646433) (← links)
- (Q4261092) (← links)
- Topological and limit-space subcategories of countably-based equilogical spaces (Q4405693) (← links)
- (Q4441919) (← links)
- (Q4611031) (← links)
- THE UNITY AND IDENTITY OF DECIDABLE OBJECTS AND DOUBLE-NEGATION SHEAVES (Q4647119) (← links)
- (Q4680362) (← links)
- (Q5004668) (← links)
- (Q5032477) (← links)
- (Q5200278) (← links)
- (Q5207829) (← links)
- (Q5233741) (← links)
- (Q5261938) (← links)
- A universal property of the monoidal 2-category of cospans of finite linear orders and surjections (Q5454620) (← links)
- The successive dimension, without elegance (Q6154352) (← links)
- Separable MV-algebras and lattice-ordered groups (Q6196134) (← links)
- Decidable objects and molecular toposes (Q6419842) (← links)
- Bi-directional models of ``radically synthetic'' differential geometry (Q6552270) (← links)
- Positive rigs (Q6587566) (← links)
- The least subtopos containing the discrete skeleton of \(\Omega\) (Q6593823) (← links)
- The étendue of a combinatorial space and its dimension (Q6651546) (← links)
- Decidable objects and molecular toposes (Q6667500) (← links)
- Revisiting Hugo Volger's paper Uber die Existenz der freien Algebren (Q6760200) (← links)
