The following pages link to Kimmo I. Rosenthal (Q1057893):
Displayed 50 items.
- Positive definite functions over regular f-rings and representations as sums of squares (Q581656) (← links)
- On the construction of the Grothendieck fundamental group of a topos by paths (Q678834) (← links)
- Domains arising as algebras for powerspace constructions (Q689273) (← links)
- An isomorphism in a category with a ring object (Q699910) (← links)
- Synthetic aspects of \(C^\infty\)-mappings (Q788100) (← links)
- Smooth spaces versus continuous spaces in models for synthetic differential geometry (Q790924) (← links)
- A completion for partially ordered Abelian groups (Q794682) (← links)
- \(T_ 1\) spaces over topological sites (Q796619) (← links)
- Free quantaloids (Q805732) (← links)
- Monoidal closed categories, weak topoi and generalized logics (Q810504) (← links)
- Collapsed toposes and cartesian closed varieties (Q910487) (← links)
- Germ representability and local integration of vector fields in a well adapted model of SDG (Q914822) (← links)
- An algebraic approach to stable domains (Q917677) (← links)
- Compact representations - the lattice theory of compact ringed spaces (Q920198) (← links)
- Corrigendum: A completion for partially ordered Abelian groups (Q1057894) (← links)
- Combinatorial notions relating to principal fibre bundles (Q1064399) (← links)
- Sheaves over Heyting lattices (Q1076015) (← links)
- Quantales and their sheaves (Q1077521) (← links)
- Quasitopoi, logic and Heyting-valued models (Q1078653) (← links)
- When is a variety a topos ? (Q1080512) (← links)
- Logical opens and real numbers in topoi (Q1086339) (← links)
- Categories in which all strong generators are dense (Q1087978) (← links)
- Spatial sublocales and essential primes (Q1090349) (← links)
- Left exact logic (Q1092902) (← links)
- Sheaves of integral domains on Stone spaces (Q1094474) (← links)
- On the left exactness of orthogonal reflections (Q1095243) (← links)
- (Q1105687) (redirect page) (← links)
- Ideals of closed categories (Q1105688) (← links)
- Synthetic aspects of \(C^{\infty}\)-mappings. II: Mather's theorem for infinitesimally represented germs (Q1110648) (← links)
- Conceptual completeness for first-order intuitionistic logic: An application of categorical logic (Q1115868) (← links)
- Fibre bundles in general categories (Q1115959) (← links)
- Hilbert's Nullstellensatz revisited (Q1117017) (← links)
- A topos-theorist looks at dilators (Q1121978) (← links)
- Etendues and categories with monic maps (Q1158507) (← links)
- Rigidity in closed categories and generalized ''sup-inf'' theorems (Q1164128) (← links)
- Local equivalence relations (Q1164700) (← links)
- Projectales (Q1181472) (← links)
- Quantaloidal nuclei, the syntactic congruence and tree automata (Q1184038) (← links)
- Every étendue comes from a local equivalence relation (Q1208192) (← links)
- Singly generated frame extensions (Q1208200) (← links)
- A representation theorem for quantales (Q1208239) (← links)
- Gabriel topologies on coherent quantales (Q1295504) (← links)
- Continuous families of coalgebras (Q1295571) (← links)
- A convenient category for games and interaction (Q1306712) (← links)
- Orbits and monoids in a topos (Q1318786) (← links)
- Models of Horn theories revisited (Q1321041) (← links)
- A generic representation theorem for non-commutative rings (Q1330032) (← links)
- Descent and duality (Q1345009) (← links)
- \(*\)-autonomous categories of bimodules (Q1345016) (← links)
- The Lee identities in topoi. I (Q1368589) (← links)