MATH
Login Or Sign up

List Question

15
253
Views

Can we give a categorical definition of product without using any sub/superscripts or cheating?

Published on
#category-theory #products #categorical-logic
463
Views

What do you think of this visual category theory tool? See any issues? Would you use it?

Published on
#soft-question #category-theory #math-software #computer-assisted-proofs #categorical-logic
160
Views

Why are local rings a coherent theory?

Published on
#logic #ring-theory #first-order-logic #categorical-logic
176
Views

A simple example in regular categorical logic

Published on
#logic #category-theory #regular-language #categorical-logic
135
Views

Graphs in a regular category

Published on
#logic #category-theory #function-and-relation-composition #universal-algebra #categorical-logic
118
Views

Categoricity of categorical arithmetic

Published on
#arithmetic #incompleteness #peano-axioms #categorical-logic
102
Views

Equivalent algebraic theory with at most binary operations

Published on
#logic #first-order-logic #binary-operations #categorical-logic
139
Views

Internal equality for Eq-fibrations

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

What is a presentation of a Lawvere theory formally, and how do you generate the associated Lawvere theory?

Published on
#reference-request #category-theory #universal-algebra #categorical-logic
50
Views

How to categorically characterize the structure of all grounded first-order logic formulas?

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

Universal properties of universal and existential quantification

Published on
#logic #category-theory #computer-science #categorical-logic
207
Views

Introduction to categorical logic and CHL-correspondence?

Published on
#type-theory #categorical-logic
476
Views

Universal quantifiers in category theory

Published on
#logic #type-theory #categorical-logic
266
Views

If a Grothendieck topos has a geometric morphism to $Sets$, then it is unique

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

Basic Constructive Modal Logic and Monoidal Endofunctors

Published on
#modal-logic #intuitionistic-logic #categorical-logic

Trending Questions

Popular # Hahtags

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

Popular Questions

Copyright © 2021 JogjaFile Inc.