Constraints in category theory ???

[timelets]

Back to this quote from Douglas C. North:

When you structure the environment by rules, laws, and tools and techniques, the players are constrained in certain directions. It is the constraints on the actors that help the decision-maker.

How do you model a constraint? For example, the Ten Commandments is a set of constraints on human behavior:


What is it? A surjective functor? What would be a good forum to ask this question?

Comments

[bamalip]

проще всего описать объект всех возможных стратегий поведения, и его подобъект (через мономорфизм) допустимых поведений.

[timelets]

может быть проще, но я бы так не хотел делать, потому что выявление допустимости поведения это, скорее, стрелка, чем объект. Что-то вроде:
f: A -> B

А - действие;
B – санкции.

[bamalip]

тогда нужен классификатор подобъектов (а категория будет обладать структорой топоса)

https://ncatlab.org/nlab/show/subobject+classifier

[timelets]

Спасибо за идею. Надо разобраться с топосами и классификаторами.