MATH
Login Or Sign up

List Question

13
117
Views

categorical logic and computation

Published on
#category-theory #computational-complexity #computability #categorical-logic
237
Views

Precise statement of the syntactic category of a logic/type theory, in maximum generality?

Published on
#category-theory #type-theory #formal-systems #categorical-logic
242
Views

Intuition for Exists and Forall functors

Published on
#category-theory #intuition #adjoint-functors #categorical-logic
76
Views

Categories of presheaves with topologies stronger than $\neg\neg$-topology

Published on
#category-theory #topos-theory #categorical-logic
67
Views

Does the forgetful functor from the category of models of a cartesian theory preserve and create limits?

Published on
#category-theory #limits-colimits #categorical-logic #forgetful-functors
95
Views

Models of pretoposes vs. models of coherent categories

Published on
#logic #category-theory #topos-theory #categorical-logic
107
Views

Name of functor from "Propositions"/"Properties" to "Power set" implied (in part?) by axiom schema of specification?

Published on
#reference-request #category-theory #terminology #topos-theory #categorical-logic
210
Views

Mistake in B. Jacobs book Categorical Logic and Type Theory?

Published on
#category-theory #type-theory #categorical-logic
285
Views

Linear logic and linearly distributive categories

Published on
#logic #category-theory #sequent-calculus #categorical-logic #linear-logic
81
Views

Is there a decent notion of "double Lawvere theory?"

Published on
#category-theory #categorical-logic
137
Views

Why is $V(xy)$ the (geometrically correct) union of the two axis (as a scheme)?

Published on
#algebraic-geometry #category-theory #schemes #affine-schemes #categorical-logic
107
Views

is the NNO in a sheaf topos a model of classical PA?

Published on
#logic #topos-theory #intuitionistic-logic #categorical-logic
100
Views

Classifying Topos of a Classical First-order Theory

Published on
#logic #topos-theory #categorical-logic

Trending Questions

Popular # Hahtags

second-order-logic numerical-methods puzzle logic probability number-theory winding-number real-analysis integration calculus complex-analysis sequences-and-series proof-writing set-theory functions homotopy-theory elementary-number-theory ordinary-differential-equations circles derivatives game-theory definite-integrals elementary-set-theory limits multivariable-calculus geometry algebraic-number-theory proof-verification partial-derivative algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.