The following pages link to Anders Kock (Q638551):
Displaying 50 items.
- Affine connections, midpoint formation, and point reflection (Q638552) (← links)
- Cartesian monads on toposes (Q678846) (← links)
- The modified realizability topos (Q678851) (← links)
- A geometric theory of harmonic and semi-conformal maps (Q867338) (← links)
- Cubical version of combinatorial differential forms (Q969692) (← links)
- Combinatorial notions relating to principal fibre bundles (Q1064399) (← links)
- Synthetic characterization of reduced algebras (Q1066253) (← links)
- Rings of smooth functions and their localizations. I (Q1075422) (← links)
- Vector fields on \({\mathbb{R}}^{{\mathbb{R}}}\) in well adapted models of synthetic differential geometry (Q1094524) (← links)
- Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator (Q1096625) (← links)
- Generalized algebraic theories and contextual categories (Q1096716) (← links)
- (Q1106843) (redirect page) (← links)
- Defining sets as sets of points of spaces (Q1106844) (← links)
- Fibre bundles in general categories (Q1115959) (← links)
- A note on closed ideals in rings of smooth functions (Q1119876) (← links)
- Properties of well-adapted models for synthetic differential geometry (Q1165306) (← links)
- Every étendue comes from a local equivalence relation (Q1208192) (← links)
- Universal projective geometry via topos theory (Q1245934) (← links)
- Taylor series calculus for ring objects of line type (Q1252256) (← links)
- Generators and relations for \(\Delta\) as a monoidal 2-category (Q1315112) (← links)
- The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 2 (Q1317969) (← links)
- Completeness results for intuitionistic and modal logic in a categorical setting (Q1346248) (← links)
- Higher categories, strings, cubes and simplex equations (Q1346409) (← links)
- A sheaf model for intuitionistic quantum mechanics (Q1346410) (← links)
- Differential forms as infinitesimal cochains (Q1588077) (← links)
- Bundle functors and fibrations (Q1678994) (← links)
- Models for inconsistent and incomplete differential calculus (Q1813232) (← links)
- Mathematical structure of physical quantities (Q1825856) (← links)
- Seven trees in one (Q1901018) (← links)
- Monads for which structures are adjoint to units (Q1903697) (← links)
- On fixpoint objects and gluing constructions (Q1923803) (← links)
- Spaces with local equivalence relations, and their monodromy (Q1924663) (← links)
- Envelopes -- notion and definiteness (Q2381797) (← links)
- Ordinary differential equations and their exponentials (Q2501212) (← links)
- Monads on symmetric monoidal closed categories (Q2539417) (← links)
- Strong functors and monoidal monads (Q2557763) (← links)
- (Q2759192) (← links)
- Projective lines as groupoids with projection structure (Q2877680) (← links)
- Commutative monads as a theory of distributions (Q2884475) (← links)
- Duality for generic algebras (Q2951150) (← links)
- Abstract Projective Lines (Q3015735) (← links)
- (Q3051023) (← links)
- (Q3207172) (← links)
- (Q3208858) (← links)
- (Q3208859) (← links)
- (Q3310029) (← links)
- (Q3314034) (← links)
- (Q3321132) (← links)
- (Q3329629) (← links)
- (Q3345459) (← links)
